Works matching Device Drivers


Results: 552
    1
    2

    DEVICE DRIVER SYNTHESIS.

    Published in:
    Intel Technology Journal, 2013, v. 17, n. 2, p. 136
    By:
    • Vij, Mona;
    • Keys, John;
    • Raghunath, Arun;
    • Hahn, Scott;
    • Zimmer, Vincent;
    • Ryzhyk, Leonid;
    • Walker, Adam;
    • Legg, Alexander
    Publication type:
    Article
    3
    4
    5
    6
    7

    Symbolic object code analysis.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 81, doi. 10.1007/s10009-012-0256-8
    By:
    • Mühlberg, Jan;
    • Lüttgen, Gerald
    Publication type:
    Article
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17

    Fault localization using a model checker.

    Published in:
    Software Testing: Verification & Reliability, 2010, v. 20, n. 2, p. 149, doi. 10.1002/stvr.421
    By:
    • Griesmayer, Andreas;
    • Staber, Stefan;
    • Bloem, Roderick
    Publication type:
    Article
    18
    19
    20
    21
    22
    23

    Type-safe concurrent resource sharing.

    Published in:
    Concurrency & Computation: Practice & Experience, 2011, v. 23, n. 8, p. 767, doi. 10.1002/cpe.1642
    By:
    • Wittie, Lea;
    • Lockhart, Jonathan
    Publication type:
    Article
    24
    25
    26
    27
    28
    29
    30
    31

    Ada Gems.

    Published in:
    Ada User Journal, 2013, v. 34, n. 1, p. 57
    Publication type:
    Article
    32

    USING SIMICS IN EDUCATION.

    Published in:
    Intel Technology Journal, 2013, v. 17, n. 2, p. 158
    By:
    • Guenzel, Robert
    Publication type:
    Article
    33
    34
    35
    36
    37
    39
    40

    Driver Workload Response to In-Vehicle Device Operations.

    Published in:
    International Journal of Occupational Safety & Ergonomics, 2002, v. 8, n. 4, p. 539, doi. 10.1080/10803548.2002.11076543
    By:
    • Jerome, Christian J.;
    • Ganey, H.C. Neil;
    • Mouloua, Mustapha;
    • Hancock, Peter A.
    Publication type:
    Article
    41
    42
    43
    44
    45

    An integrated device to evaluate a driver's functional state.

    Published in:
    Behavior Research Methods, 2009, v. 41, n. 3, p. 882, doi. 10.3758/BRM.41.3.882
    By:
    • CLARION, ANTOINE;
    • RAMON, CAROLINA;
    • PETIT, CLAIRE;
    • DITTMAR, ANDRÉ;
    • BOURGEAY, J. P.;
    • GUILLOT, AYMERIC;
    • GEHIN, CLAUDINE;
    • MCADAMS, ERIC;
    • COLLET, CHRISTIAN
    Publication type:
    Article
    46
    47
    48
    49
    50