Works matching Device drivers (Computer programs)


Results: 73
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10

    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
    11
    12
    13
    14
    15
    16

    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
    17
    18
    19
    20
    21
    22

    Phyx: phylogenetic tools for unix.

    Published in:
    Bioinformatics, 2017, v. 33, n. 12, p. 1886, doi. 10.1093/bioinformatics/btx063
    By:
    • Brown, Joseph W.;
    • Walker, Joseph F.;
    • Smith, Stephen A.
    Publication type:
    Article
    23
    24

    CDS/ISIS information.

    Published in:
    Information Development, 2010, v. 26, n. 1, p. 11, doi. 10.1177/0266666909358297
    By:
    • Hopkinson, Alan
    Publication type:
    Article
    25
    26
    27
    28
    29
    30
    31
    32
    33

    A COMPOSITION ENVIRONMENT FOR MPI PROGRAMS.

    Published in:
    International Journal of High Performance Computing Applications, 2007, v. 21, n. 2, p. 166, doi. 10.1177/1094342007077858
    By:
    • Desai, Narayan;
    • Lusk, Ewing;
    • Bradshaw, Rick
    Publication type:
    Article
    34
    35
    36

    Unix and Windows.

    Published in:
    2006
    By:
    • Lynch, Gary;
    • Meyers, Scott
    Publication type:
    Letter
    37

    Working with Unix Tools.

    Published in:
    IEEE Software, 2005, v. 22, n. 6, p. 9, doi. 10.1109/MS.2005.170
    By:
    • Spinellis, Diomidis
    Publication type:
    Article
    38
    39
    40

    Reviews.

    Published in:
    EMedia Professional, 1999, v. 12, n. 1, p. 65
    By:
    • Starrett, Robert A.
    Publication type:
    Article
    41
    42
    43
    44
    45

    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
    46
    47
    48
    49
    50

    Ada Gems.

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