Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th RTSS 1988: Huntsville, Alabama, USA
- Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), December 6-8, 1988, Huntsville, Alabama, USA. IEEE Computer Society 1988, ISBN 0-8186-4894-5
Specification and Analysis
- Armen Gabrielian, Matthew K. Franklin:
State-Based Specification of Complex Real-Time Systems. 2-11 - Farnam Jahanian, Douglas A. Stuart:
A Method for Verifying Properties of Modechart Specifications. RTSS 1988: 12-21
Resource Scheduling and Allocation I
- Jianzhong Du, Joseph Y.-T. Leung:
Minimizing Mean Flow Time with Release Time and Deadline Constraints. 24-32 - Kang G. Shin, C. Mani Krishna, Yann-Hang Lee:
Optimal Resource Control in Periodic Real-Time Environments. 33-41 - Jay K. Strosnider, Thomas E. Marchok, John P. Lehoczky:
Advanced Real-Time Scheduling Using the IEEE 802.5 Token Ring. 42-52
Applications
- N. A. Wilkinson, M. Stella Atkins, J. G. Rogers:
A Real Time Parallel Processing Data Acquisition System. 54-59 - R. Bond, S. Bemrich, J. Connelty, G. Pendergrass, J. Hulsey:
Missile Guidance Processor Software Development: A Case Study. 60-68 - Luqi, Valdis Berzins:
Execution of a High Level Real-Time Language. 69-76
Language and Semantics
- Mathai Joseph, Asis Goswami:
What's 'Real' about Real-Time Systems? 78-85 - K. T. Narayana, A. A. Aaby:
Specification of Real-Time Systems in Real-Time Temporal Interval Logic. 86-95 - Kwei-Jay Lin, Swaminathan Natarajan:
Expressing and Maintaining Timing Constraints in FLEX. 96-105 - Valdis Berzins, Luqi:
Semantics of a Real-Time Language. 106-110
Operating System Support
- Horst F. Wedde, Ghasem S. Alijani, Gookhai Kang, Bo-Kyung Kim:
MELODY: A Distributed Real-Time Testbed for Adaptive Systems. 112-119 - Theodore P. Baker, Alan C. Shaw:
The Cyclic Executive Model and Ada. 120-129 - Michelle C. McElvany:
Guaranteeing Deadlines in MAFT. 130-139
Resource Scheduling and Allocation II
- Jen-Yao Chung, Jane W.-S. Liu:
Algorithms for Scheduling Periodic Jobs to Minimize Average Error. 142-151 - Sara R. Biyabani, John A. Stankovic, Krithi Ramamritham:
The Integration of Deadline and Criticalness in Hard Real-Time Scheduling. 152-160 - Shem-Tov Levi, Daniel Mossé, Ashok K. Agrawala:
Allocation of Real-Time Computations under Fault Tolerance Constraints. 161-170
Architectural Support
- James W. Wendorf:
Implementation and Evaluation of a Time-Driven Scheduling Processor. 172-180 - David Blair Kirk:
Process Dependent Static Cache Partitioning for Real-Time Systems. 181-190 - Yuval Tamir, Gregory L. Frazier:
Support for High-Priority Traffic in VLSI Communication Switches. 191-200
Reliability and Fault Tolerance
- C. Mani Krishna, Inderpal S. Bhandari:
On the Graceful Degradation of Phase-Locked Clocks. 202-211 - Salih Yurttas, Fabrizio Lombardi:
New Approaches for the Reconfiguration of Two-Dimensional VLSI Arrays Using Time-Redundancy. 212-221 - Michael H. Woodbury, Kang G. Shin:
Evaluation of the Probability of Dynamic Failure and Processor Utilization for Real-Time Systems. 222-231 - Thomas E. Bihari, Karsten Schwan:
A Comparison of Four Adaptation Algorithms for Increasing the Reliability of Real-Time Software. 232-241
Resource Scheduling and Allocation III
- Kwang Soo Hong, Joseph Y.-T. Leung:
On-Line Scheduling of Real-Time Tasks. 244-250 - Brinkley Sprunt, John P. Lehoczky, Lui Sha:
Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm. 251-258 - Ragunathan Rajkumar, Lui Sha, John P. Lehoczky:
Real-Time Synchronization Protocols for Multiprocessors. 259-269
Performance Analysis
- Wesley W. Chu, Chi-Man Sit:
Estimating Task Response Time with Contentions for Real-Time Distributed Systems. 272-281 - X. Li, Miroslaw Malek:
Analysis of Speedup and Communication/Computation Ratio in Multiprocessor Systems. 282-288 - Hideyuki Tokuda, Makoto Kotera:
A Real-Tie Tool Set for the ARTS Kernel. 289-299
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
