Conferences in DBLP

IEEE Real-Time Systems Symposium (RTSS) (rtss)
1993 (conf/rtss/1993)

1. Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
   Automatic Symbolic Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1993, pp:2-11 [Conf]
   
2. Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose
   MT: A Toolset for Specifying and Analyzing Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1993, pp:12-22 [Conf]
   
3. Jin Yang, Aloysius K. Mok, Farn Wang
   Symbolic Model Checking for Event-Driven Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1993, pp:23-33 [Conf]
   
4. Sanjay Kamat, Nicholas Malcolm, Wei Zhao
   Performance Evaluation of a Bandwidth Allocation Scheme for Guaranteeing Synchronous Messages with Arbitrary Deadlines in an FDDI Network. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1993, pp:34-43 [Conf]
   
5. Sarit Mukherjee, Debanjan Saha, Manas Saksena, Satish K. Tripathi
   A Bandwidth Allocation Scheme for Time Constrained Message Transmission on a Slotted Ring LAN. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1993, pp:44-55 [Conf]
   
6. Marc H. Graham
   How to Get Serializability for Real-Time Transactions Without Having to Pay for It. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1993, pp:56-65 [Conf]
   
7. Juhnyoung Lee, Sang Hyuk Son
   Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems. [Citation Graph (1, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1993, pp:66-75 [Conf]
   
8. Tei-Wei Kuo, Aloysius K. Mok
   SSP: A Semantics-Based Protocol for Real-Time Data Access. [Citation Graph (1, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1993, pp:76-86 [Conf]
   
9. Lisa Cingiser DiPippo, Victor Fay Wolfe
   Object-Based Semantic Real-Time Concurrency Control. [Citation Graph (3, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1993, pp:87-97 [Conf]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1993, pp:98-105 [Conf]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1993, pp:106-111 [Conf]
    
12. Hiromitsu Shimakawa, H. Ohnishi, Ichiro Mizunuma, Morikazu Takegaki
    Acquisition and Service of Temporal Data for Real-Time Plant Monitoring. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1993, pp:112-119 [Conf]
    
13. Tatsuo Nakajima, Takuro Kitayama, Hiroshi Arakawa, Hideyuki Tokuda
    Integrated Management of Priority Inversion in Real-Time Mach. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1993, pp:120-130 [Conf]
    
14. Hermann Kopetz, J. Reisinger
    The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronisation Problem. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1993, pp:131-137 [Conf]