Concurrent checking of clock signal correctness

被引：0
|
作者：
Univ of Bologna, Bologna, Italy [1 ]
机构：
来源：
IEEE Design and Test of Computers | 1998年 / 15卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：42 / 48
相关论文
共 50 条
  • [1] Concurrent checking of clock signal correctness
    Metra, C
    Favalli, M
    Ricco, B
    IEEE DESIGN & TEST OF COMPUTERS, 1998, 15 (04): : 42 - 48
  • [2] Automatic Correctness Checking of Implementations of Concurrent Objects
    Bouajjani, Ahmed
    Emmi, Michael
    Enea, Constantin
    Hamza, Jad
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : XII - XII
  • [3] Model-checking of correctness conditions for concurrent objects
    Alur, R
    McMillan, K
    Peled, D
    INFORMATION AND COMPUTATION, 2000, 160 (1-2) : 167 - 188
  • [4] Model-checking of correctness conditions for concurrent objects
    Alur, R
    McMillan, K
    Peled, D
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 219 - 228
  • [5] Checking the correctness of memories
    Blum, M.
    Evans, W.
    Gemmell, P.
    Kannan, S.
    Naor, M.
    Algorithmica (New York), 1994, 12 (2-3): : 225 - 244
  • [6] CHECKING THE CORRECTNESS OF MEMORIES
    BLUM, M
    EVANS, W
    GEMMELL, P
    KANNAN, S
    NAOR, M
    ALGORITHMICA, 1994, 12 (2-3) : 225 - 244
  • [7] MPI correctness checking with Marmot
    Krammer, Bettina
    Hilbrich, Tobias
    Himmler, Valentin
    Czink, Blasius
    Dichev, Kiril
    Mueller, Matthias S.
    TOOLS FOR HIGH PERFORMANCE COMPUTING, 2008, : 61 - +
  • [8] CORRECTNESS OF CONCURRENT PROCESSES
    OLDEROG, ER
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 107 - 132
  • [9] CORRECTNESS OF CONCURRENT PROCESSES
    OLDEROG, ER
    THEORETICAL COMPUTER SCIENCE, 1991, 80 (02) : 263 - 288
  • [10] Checking correctness of transactional behaviors
    Ciancia, Vincenzo
    Ferrari, Gian Luigi
    Guanciale, Roberto
    Strollo, Daniele
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 134 - +
12345