14. RTSS 1993:
Raleigh-Durham,
NC,
USA
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham,
NC,
December 1993. IEEE Computer Society Press,
1993
- Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho:
Automatic Symbolic Verification of Embedded Systems.
2-11 BibTeX
- Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose:
MT: A Toolset for Specifying and Analyzing Real-Time Systems.
12-22 BibTeX
- Jin Yang, Aloysius K. Mok, Farn Wang:
Symbolic Model Checking for Event-Driven Real-Time Systems.
23-33 BibTeX
- Sanjay Kamat, Nicholas Malcolm, Wei Zhao:
Performance Evaluation of a Bandwidth Allocation Scheme for Guaranteeing Synchronous Messages with Arbitrary Deadlines in an FDDI Network.
34-43 BibTeX
- Sarit Mukherjee, Debanjan Saha, Manas Saksena, Satish K. Tripathi:
A Bandwidth Allocation Scheme for Time Constrained Message Transmission on a Slotted Ring LAN.
44-55 BibTeX
- Marc H. Graham:
How to Get Serializability for Real-Time Transactions Without Having to Pay for It.
56-65 BibTeX
- Juhnyoung Lee, Sang Hyuk Son:
Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems.
66-75 BibTeX
- Tei-Wei Kuo, Aloysius K. Mok:
SSP: A Semantics-Based Protocol for Real-Time Data Access.
76-86 BibTeX
- Lisa Cingiser DiPippo, Victor Fay Wolfe:
Object-Based Semantic Real-Time Concurrency Control.
87-97 BibTeX
- Minsuk Lee, Sang Lyul Min, Chang Yun Park, Young Hyun Bae, Heonshik Shin, Chong-Sang Kim:
A Dual-Mode Instruction Prefetch Scheme for Improved Worst Case and Average Case Program Execution Times.
98-105 BibTeX
- Douglas Niehaus, Krithi Ramamritham, John A. Stankovic, Gary Wallace, Charles C. Weems, Wayne Burleson, Jason Ko:
The Spring Scheduling Co-Processor: Design, Use, and Performance.
106-111 BibTeX
- Hiromitsu Shimakawa, H. Ohnishi, Ichiro Mizunuma, Morikazu Takegaki:
Acquisition and Service of Temporal Data for Real-Time Plant Monitoring.
112-119 BibTeX
- Tatsuo Nakajima, Takuro Kitayama, Hiroshi Arakawa, Hideyuki Tokuda:
Integrated Management of Priority Inversion in Real-Time Mach.
120-130 BibTeX
- Hermann Kopetz, J. Reisinger:
The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronisation Problem.
131-137 BibTeX
...
Copyright © Sat May 16 23:36:16 2009
by Michael Ley (ley@uni-trier.de)