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 条
  • [21] On-the-Fly Determinization of Bounded Networks of Timed Automata
    Aichernig, Bernhard K.
    Lorber, Florian
    [J]. 2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2016, : 14 - 21
  • [22] Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains
    Czyzowicz, Jurek
    Kosowski, Adrian
    Pelc, Andrzej
    [J]. THEORY OF COMPUTING SYSTEMS, 2013, 52 (02) : 179 - 199
  • [23] Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains
    Czyzowicz, Jurek
    Kosowski, Adrian
    Pelc, Andrzej
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2010, 2010, 6281 : 294 - +
  • [24] ALGORITHMS FOR ON-THE-FLY GARBAGE COLLECTION REVISITED
    VANDESNEPSCHEUT, JLA
    [J]. INFORMATION PROCESSING LETTERS, 1987, 24 (04) : 211 - 216
  • [25] On-the-fly calibrating strategies for evolutionary algorithms
    Montero, Elizabeth
    Riff, Maria-Cristina
    [J]. INFORMATION SCIENCES, 2011, 181 (03) : 552 - 566
  • [26] Polyhedral Constraints for Bounded-memory Execution of Synchronized Filtering Dataflow
    Li, Peng
    Buhler, Jeremy
    [J]. 2013 DATA-FLOW EXECUTION MODELS FOR EXTREME SCALE COMPUTING (DFM), 2014, : 29 - 37
  • [27] An On-The-Fly Approach for the Verification of Opacity in Critical Systems
    Klai, Kais
    Hamdi, Nawel
    Ben Hadj-Alouane, Nejib
    [J]. 2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, : 345 - 350
  • [28] Formal Verification of the On-the-Fly Vehicle Platooning Protocol
    Mallozzi, Piergiuseppe
    Sciancalepore, Massimo
    Pelliccione, Patrizio
    [J]. SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, (SERENE 2016), 2016, 9823 : 62 - 75
  • [29] On-The-Fly Donut Formation in Compiled Memory
    Singh, Darvinder
    Garg, Isha
    Sachan, Vineet
    Nalawar, Prasanna
    [J]. 2015 28TH INTERNATIONAL CONFERENCE ON VLSI DESIGN (VLSID), 2015, : 159 - 163
  • [30] Efficient on-the-fly algorithms for the analysis of timed games
    Cassez, F
    David, A
    Fleury, E
    Larsen, KG
    Lime, D
    [J]. CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 66 - 80
12345