Works matching DE "SIMULTANEOUS multithreading processors"


Results: 130
    1
    2

    Program sketching.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 475, doi. 10.1007/s10009-012-0249-7
    By:
    • Solar-Lezama, Armando
    Publication type:
    Article
    3

    Bounded synthesis.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 519, doi. 10.1007/s10009-012-0228-z
    By:
    • Finkbeiner, Bernd;
    • Schewe, Sven
    Publication type:
    Article
    4

    Distributed dynamic partial order reduction.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 113, doi. 10.1007/s10009-010-0144-z
    By:
    • Yu Yang;
    • Xiaofang Chen;
    • Gopalakrishnan, Ganesh;
    • Kirby, Robert M.
    Publication type:
    Article
    5
    6
    7
    8
    9
    10

    ICST 2010 Special Issue.

    Published in:
    Software Testing: Verification & Reliability, 2013, v. 23, n. 5, p. 351, doi. 10.1002/stvr.1503
    By:
    • Cavalli, Ana;
    • Ghosh, Sudipto
    Publication type:
    Article
    11

    Efficient mutation testing of multithreaded code.

    Published in:
    Software Testing: Verification & Reliability, 2013, v. 23, n. 5, p. 375, doi. 10.1002/stvr.1469
    By:
    • Gligoric, Milos;
    • Jagannath, Vilas;
    • Luo, Qingzhou;
    • Marinov, Darko
    Publication type:
    Article
    12
    13
    14
    15
    16

    Multithreaded Programming.

    Published in:
    EE: Evaluation Engineering, 2007, v. 46, n. 12, p. 12
    By:
    • Meisel, Jeff
    Publication type:
    Article
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29

    MULTITHREAD IN NAMED ENTITY RECOGNITION.

    Published in:
    International Journal of Intelligent Computing & Information Sciences, 2016, v. 16, n. 3, p. 95
    By:
    • Rabea, Z. M.;
    • Elsoud, M. A. Abu;
    • Rashed, M. Z.
    Publication type:
    Article
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41

    Improving IPS by network processors.

    Published in:
    Journal of Supercomputing, 2011, v. 57, n. 1, p. 99, doi. 10.1007/s11227-011-0558-8
    By:
    • Cascón, Pablo;
    • Ortega, Julio;
    • Yan Luo;
    • Murray, Eric;
    • Díaz, Antonio;
    • Rojas, Ignacio
    Publication type:
    Article
    42
    43
    44
    45
    46
    47
    48
    49
    50