BOUNDED-MEMORY ALGORITHMS FOR VERIFICATION ON-THE-FLY

被引：0
|
作者：
JARD, C
JERON, T
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 575卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：192 / 202
页数：11
相关论文
共 50 条
  • [1] A note on on-the-fly verification algorithms
    Schwoon, S
    Esparza, J
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 174 - 190
  • [2] Bounded Verification with On-the-Fly Discrepancy Computation
    Fan, Chuchu
    Mitra, Sayan
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 446 - 463
  • [3] On-the-fly memory compression for multibody algorithms
    Eckhardt, Wolfgang
    Glas, Robert
    Korzh, Denys
    Wallner, Stefan
    Weinzierl, Tobias
    [J]. PARALLEL COMPUTING: ON THE ROAD TO EXASCALE, 2016, 27 : 421 - 430
  • [4] Bounded-Memory Runtime Enforcement
    Shankar, Saumya
    Rollet, Antoine
    Pinisetty, Srinivas
    Falcone, Ylies
    [J]. MODEL CHECKING SOFTWARE, SPIN 2022, 2022, 13255 : 114 - 133
  • [5] Bounded-Memory Stream Processing
    Oezcep, Oezguer Luetfue
    [J]. KI 2018: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11117 : 377 - 390
  • [6] On-the-fly Verification of Memory Consistency with Concurrent Relaxed Scoreboards
    Freitas, Leandro S.
    Rambo, Eberle A.
    dos Santos, Luiz C. V.
    [J]. DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 631 - 636
  • [7] ABC: Attention with Bounded-Memory Control
    Peng, Hao
    Kasai, Jungo
    Pappas, Nikolaos
    Yogatama, Dani
    Wu, Zhaofeng
    Kong, Lingpeng
    Schwartz, Roy
    Smith, Noah A.
    [J]. PROCEEDINGS OF THE 60TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2022), VOL 1: (LONG PAPERS), 2022, : 7469 - 7483
  • [8] Towards a Combinatorial Characterization of Bounded-Memory Learning
    Gonen, Alon
    Lovett, Shachar
    Moshkovitz, Michal
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
  • [9] On-the-fly algorithms and sequential machines
    Frougny, C
    [J]. 13TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 1997, : 260 - 265
  • [10] On-the-fly algorithms and sequential machines
    Frougny, C
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2000, 49 (08) : 859 - 863
12345