REAL-TIME, CONCURRENT CHECKPOINT FOR PARALLEL PROGRAMS

被引：0
|
作者：
KAI, L
NAUGHTON, JF
PLANK, JS
机构：
[1] PRINCETON UNIV,DEPT COMP SCI,PRINCETON,NJ 08544
[2] UNIV WISCONSIN,DEPT COMP SCI,MADISON,WI 53706
来源：
SIGPLAN NOTICES | 1990年 / 25卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：79 / 88
页数：10
相关论文
共 50 条
  • [1] SOME CONSIDERATION ON REAL-TIME BEHAVIOR OF CONCURRENT PROGRAMS
    FUGGETTA, A
    GHEZZI, C
    MANDRIOLI, D
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (03) : 356 - 359
  • [2] Towards a refinement calculus for concurrent real-time programs
    Peuker, S
    Hayes, I
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 335 - 346
  • [3] Concurrent, Parallel, Real-Time Garbage-Collection
    Siebert, Fridtjof
    [J]. ACM SIGPLAN NOTICES, 2010, 45 (08) : 11 - 20
  • [4] PARTITIONING OF MASSIVE REAL-TIME PROGRAMS FOR PARALLEL PROCESSING
    LEE, I
    PRYWES, N
    SZYMANSKI, B
    [J]. ADVANCES IN COMPUTERS, 1986, 25 : 215 - 275
  • [5] A visual environment for the development of parallel real-time programs
    Ribeiro, JRP
    da Silva, NC
    Morón, CE
    [J]. PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 994 - 1014
  • [6] A teaching environment for the development of parallel real-time programs
    Morón, CE
    Ribeiro, JRP
    da Silva, NC
    [J]. 28TH ANNUAL FRONTIERS IN EDUCATION CONFERENCE - CONFERENCE PROCEEDINGS, VOLS 1-3, 1998, : 903 - 908
  • [7] A Transparent, Incremental, Concurrent Checkpoint Mechanism for Real-time and Interactive Applications
    Liao, Jianwei
    [J]. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2013, 29 (06) : 1285 - 1298
  • [8] PARTITIONING OF MASSIVE/REAL-TIME PROGRAMS FOR PARALLEL PROCESSING.
    Lee, I.
    Prywes, N.
    Szymanski, B.
    [J]. Advances in Computers, 1986, 25 : 215 - 275
  • [9] Execution timing schema for real-time parallel programs on Xputers
    Dutta, SK
    Saha, D
    Dastidar, DG
    [J]. CORRECT MODELS OF PARALLEL COMPUTING, 1997, 49 : 151 - 164
  • [10] An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
    Cardell-Oliver, R
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) : 545 - 567
12345