AAAAAA
Results: 101-123/123
Authors:
VERISSIMO P
Citation: P. Verissimo, ORDERING AND TIMELINESS REQUIREMENTS OF DEPENDABLE REAL-TIME PROGRAMS, Real time systems, 7(2), 1994, pp. 105-128
Authors:
SCHUTZ W
Citation: W. Schutz, FUNDAMENTAL ISSUES IN TESTING DISTRIBUTED REAL-TIME SYSTEMS, Real time systems, 7(2), 1994, pp. 129-157
Authors:
HARMON MG
BAKER TP
WHALLEY DB
Citation: Mg. Harmon et al., A RETARGETABLE TECHNIQUE FOR PREDICTING EXECUTION TIME OF CODE SEGMENTS, Real time systems, 7(2), 1994, pp. 159-182
Authors:
MARLOWE TJ
STOYENKO AD
MASTICOLA SP
WELCH LR
Citation: Tj. Marlowe et al., SCHEDULABILITY - ANALYZABLE EXCEPTION HANDLING FOR FAULT-TOLERANT REAL-TIME LANGUAGES, Real time systems, 7(2), 1994, pp. 183-212
Authors:
SATHAYE SS
STROSNIDER JK
Citation: Ss. Sathaye et Jk. Strosnider, CONVENTIONAL AND EARLY TOKEN RELEASE SCHEDULING MODELS FOR THE IEEE-802.5 TOKEN RING, Real time systems, 7(1), 1994, pp. 5-32
Authors:
SCHMID U
Citation: U. Schmid, MONITORING DISTRIBUTED REAL-TIME SYSTEMS, Real time systems, 7(1), 1994, pp. 33-56
Authors:
WEDDE HF
KOREL B
HUIZINGA DM
Citation: Hf. Wedde et al., FORMAL TRAINING ANALYSIS FOR DISTRIBUTED REAL-TIME PROGRAMS, Real time systems, 7(1), 1994, pp. 57-90
Authors:
RODD MG
ALROWAIHI SF
Citation: Mg. Rodd et Sf. Alrowaihi, TEMPORAL MODELING OF REAL-TIME COMMUNICATION PROTOCOLS BASED ON A PROCESS CHANNEL APPROACH, Real time systems, 6(3), 1994, pp. 243-262
Authors:
HOLT J
RODD MG
Citation: J. Holt et Mg. Rodd, AN ARCHITECTURE FOR REAL-TIME DISTRIBUTED ARTIFICIAL INTELLIGENT SYSTEMS, Real time systems, 6(3), 1994, pp. 263-288
Authors:
POLEDNA S
Citation: S. Poledna, REPLICA DETERMINISM IN DISTRIBUTED REAL-TIME SYSTEMS - A BRIEF SURVEY, Real time systems, 6(3), 1994, pp. 289-316
Authors:
GARVEY A
LESSER V
Citation: A. Garvey et V. Lesser, A SURVEY OF RESEARCH IN DELIBERATIVE REAL-TIME ARTIFICIAL-INTELLIGENCE, Real time systems, 6(3), 1994, pp. 317-347
Authors:
TINDELL KW
BURNS A
WELLINGS AJ
Citation: Kw. Tindell et al., AN EXTENDIBLE APPROACH FOR ANALYZING FIXED PRIORITY HARD REAL-TIME TASKS, Real time systems, 6(2), 1994, pp. 133-151
Authors:
SACHA KM
Citation: Km. Sacha, REAL-TIME SOFTWARE SPECIFICATION AND VALIDATION WITH TRANSNET, Real time systems, 6(2), 1994, pp. 153-172
Authors:
HOOMAN J
Citation: J. Hooman, COMPOSITIONAL VERIFICATION OF A DISTRIBUTED REAL-TIME ARBITRATION PROTOCOL, Real time systems, 6(2), 1994, pp. 173-205
Authors:
HOMAYOUN N
RAMANATHAN P
Citation: N. Homayoun et P. Ramanathan, DYNAMIC PRIORITY SCHEDULING OF PERIODIC AND APERIODIC TASKS IN HARD REAL-TIME SYSTEMS, Real time systems, 6(2), 1994, pp. 207-232
Authors:
YUAN XPG
SAKSENA MC
AGRAWALA AK
Citation: Xpg. Yuan et al., A DECOMPOSITION APPROACH TO NONPREEMPTIVE REAL-TIME SCHEDULING, Real time systems, 6(1), 1994, pp. 7-35
Authors:
BLAZEWICZ J
ECKER K
Citation: J. Blazewicz et K. Ecker, MULTIPROCESSOR TASK-SCHEDULING WITH RESOURCE REQUIREMENTS, Real time systems, 6(1), 1994, pp. 37-53
Authors:
CHEN SZ
TOWSLEY D
Citation: Sz. Chen et D. Towsley, SCHEDULING CUSTOMERS IN A NON-REMOVAL REAL-TIME SYSTEM WITH AN APPLICATION TO DISK SCHEDULING, Real time systems, 6(1), 1994, pp. 55-72
Authors:
BURNS A
WELLINGS AJ
Citation: A. Burns et Aj. Wellings, HRT-HOOD - A STRUCTURED DESIGN METHOD FOR HARD REAL-TIME SYSTEMS, Real time systems, 6(1), 1994, pp. 73-114
Authors:
BABAOGLU O
MARZULLO K
SCHNEIDER FB
Citation: O. Babaoglu et al., A FORMALIZATION OF PRIORITY INVERSION, Real time systems, 5(4), 1993, pp. 285-303
Authors:
DAVIDSON S
LEE I
WOLFE VF
Citation: S. Davidson et al., DEADLOCK PREVENTION IN CONCURRENT REAL-TIME SYSTEMS, Real time systems, 5(4), 1993, pp. 305-318
Authors:
ZHANG N
BURNS A
NICHOLSON M
Citation: N. Zhang et al., PIPELINED PROCESSORS AND WORST-CASE EXECUTION TIMES, Real time systems, 5(4), 1993, pp. 319-343
Authors:
WELLS G
Citation: G. Wells, A COMPARISON OF 4 MICROCOMPUTER OPERATING-SYSTEMS, Real time systems, 5(4), 1993, pp. 345-368