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 条

[21] REAL-TIME VISUALIZATION OF CONCURRENT PROCESSES
SHARMA, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 852 - 862
[22] STATIC ANALYSIS OF RUN-TIME ERRORS IN EMBEDDED REAL-TIME PARALLEL C PROGRAMS
Mine, Antoine
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (01)
[23] Real-time MLton: A Standard ML runtime for real-time functional programs
Shivkumar, Bhargav
Murphy, Jeffrey
Ziarek, Lukasz
[J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2021, 31
[24] A REAL-TIME INTERVAL LOGIC FOR REASONING - ABOUT EXECUTIONS OF REAL-TIME PROGRAMS
RAZOUK, RR
GORLICK, MM
[J]. PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 10 - 19
[25] A process algebra for real-time programs
Dierks, H
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 66 - 81
[26] SEMANTICS OF REAL-TIME DISTRIBUTED PROGRAMS
GOSWAMI, A
JOSEPH, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 292 - 306
[27] ESTIMATION OF THE RELIABILITY OF REAL-TIME PROGRAMS
KAPYRIN, VA
KHALETSKII, AK
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1982, 8 (03) : 151 - 156
[28] Refinement of infeasible real-time programs
Utting, M
Fidge, C
[J]. FORMAL METHODS PACIFIC '97, 1997, : 243 - 262
[29] REAL-TIME CONCURRENT-C - A LANGUAGE FOR PROGRAMMING DYNAMIC REAL-TIME SYSTEMS
GEHANI, N
RAMAMRITHAM, K
[J]. REAL-TIME SYSTEMS, 1991, 3 (04) : 377 - 405
[30] Analysis of real-time parallel programs using source-level timing schema
Dutta, SK
Saha, D
Das, PK
[J]. IEEE TENCON'97 - IEEE REGIONAL 10 ANNUAL CONFERENCE, PROCEEDINGS, VOLS 1 AND 2: SPEECH AND IMAGE TECHNOLOGIES FOR COMPUTING AND TELECOMMUNICATIONS, 1997, : 433 - 436

← 1 2 3 4 5 →