Practical verification of high-level dataraces in transactional memory programs

被引：0
|
作者：
CITI, DI FCT, Universidade Nova de Lisboa, Portugal [1 ]
不详 [2 ]
机构：
来源：
Workshop Parallel Distrib. Syst.: Test., Anal., Debugging, PADTAD - Proc. | / 26-34期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Static analysis
引用
收藏
相关论文
共 50 条
  • [21] Finding high-level structures in spreadsheet programs
    Mittermeir, R
    Clermont, M
    NINTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2002, : 221 - 232
  • [22] EFFICIENT IMPLEMENTATION OF HIGH-LEVEL PARALLEL PROGRAMS
    BAGRODIA, R
    MATHUR, S
    SIGPLAN NOTICES, 1991, 26 (04): : 142 - 151
  • [23] A POWERFUL HIGH-LEVEL DEBUGGER FOR PARALLEL PROGRAMS
    CAERTS, C
    LAUWEREINS, R
    PEPERSTRAETE, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 591 : 54 - 64
  • [24] SYNTHESIS AND OPTIMIZATION OF HIGH-LEVEL STREAM PROGRAMS
    Bezati, Endri
    Brunet, Simone Casale
    Mattavelli, Marco
    Janneck, Jorn W.
    PROCEEDINGS OF THE 2013 ELECTRONIC SYSTEM LEVEL SYNTHESIS CONFERENCE (ESLSYN), 2013,
  • [25] HIGH-LEVEL LANGUAGE DEBUGGING FOR CONCURRENT PROGRAMS
    GOLDSZMIDT, GS
    YEMINI, S
    KATZ, S
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (04): : 311 - 336
  • [26] Estimating Parallelism of Transactional Memory Programs
    Popovic, Miroslav
    Basicevic, Ilija
    Djukic, Miodrag
    Cetic, Nenad
    2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST), 2013, : 437 - 443
  • [27] A methodology to take credit for high-level verification during RTL verification
    Frederic Doucet
    Robert Kurshan
    Formal Methods in System Design, 2017, 51 : 395 - 418
  • [28] A methodology to take credit for high-level verification during RTL verification
    Doucet, Frederic
    Kurshan, Robert
    FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (02) : 395 - 418
  • [29] Architectural semantics for practical Transactional Memory
    McDonald, Austen
    Chung, JaeWoong
    Carlstrom, Brian D.
    Minh, Chi Cao
    Chafi, Hassan
    Kozyrakis, Christos
    Olukotun, Kunle
    33RD INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHTIECTURE, PROCEEDINGS, 2006, : 53 - 64
  • [30] Practical Condition Synchronization for Transactional Memory
    Wang, Chao
    Spear, Michael
    PROCEEDINGS OF THE ELEVENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, (EUROSYS 2016), 2016,
12345