4. RTAS 1998: Denver, Colorado, USA

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 3-5 June, 1998, Denver, Colorado, USA. IEEE Computer Society, online publication: http: //computer.org/proceedings/rtas/8569/8569toc.htm

Scheduling

Sanjoy K. Baruah:
Overload Tolerance for Single-Processor Workloads. 2-11
Electronic Edition (IEEE Computer Society DL) BibTeX
Christopher A. Healy, Mikael Sjödin, Viresh Rustagi, David B. Whalley:
Bounding Loop Iterations for Timing Analysis. 12-21
Electronic Edition (IEEE Computer Society DL) BibTeX
Lei Zhou, Kang G. Shin, Elke A. Rundensteiner:
Rate-Monotonic Scheduling in the Presence of Timing Unpredictability. 22-
Electronic Edition (IEEE Computer Society DL) BibTeX

Communication

Prashant Pradhan, Tzi-cker Chiueh:
Real-Time Performance Guarantees over Wired/Wireless LANs. 29-38
Electronic Edition (IEEE Computer Society DL) BibTeX
Tzi-cker Chiueh, Anindya Neogi, Paul A. Stirpe:
Performance Analysis of an RSVP-Capable Router. 39-48
Electronic Edition (IEEE Computer Society DL) BibTeX
Michael J. Markowski, Adarshpal S. Sethi:
Fully Distributed Wireless MAC Transmission of Real-Time Data. 49-
Electronic Edition (IEEE Computer Society DL) BibTeX

Methodologies and Architectures

Steve Goddard, Kevin Jeffay:
Managing Memory Requirements in the Synthesis of Real-Time Systems from Processing Graphs. 59-70
Electronic Edition (IEEE Computer Society DL) BibTeX
John A. Stankovic, Sang Hyuk Son, C. Nguyen:
The Cogency Monitor: An External Interface Architecture for a Distributed Object-Oriented Real-Time Database System. 71-78
Electronic Edition (IEEE Computer Society DL) BibTeX
Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchili:
FARA - A Framework for Adaptive Resource Allocation in Complex Real-Time Systems. 79-84
Electronic Edition (IEEE Computer Society DL) BibTeX
Kevin Bradley, Jay K. Strosnider:
An Application of Complex Task Modeling. 85-
Electronic Edition (IEEE Computer Society DL) BibTeX

Operating Systems and Middleware

Douglas C. Schmidt, Sumedh Mungee, Sergio Flores-Gaitan, Aniruddha S. Gokhale:
Alleviating Priority Inversion and Non-Determinism in Real-Time CORBA ORB Core Architectures. 92-101
Electronic Edition (IEEE Computer Society DL) BibTeX
Krithi Ramamritham, Chia Shen, Oscar González, Subhabrata Sen, S. Shirgurkar:
Using Windows NT for Real-Time Applications: Experimental Observations and Recommendations. 102-111
Electronic Edition (IEEE Computer Society DL) BibTeX
B. Srinivasan, S. Pather, R. Hill, F. Ansari, Douglas Niehaus:
A Firm Real-Time System Implementation using Commercial Off-the-Shelf Hardware and Free Software. 112-
Electronic Edition (IEEE Computer Society DL) BibTeX

Quality of Service

Tarek F. Abdelzaher, Kang G. Shin:
End-Host Architecture for QoS-Adaptive Communication. 121-130
Electronic Edition (IEEE Computer Society DL) BibTeX
Libin Dong, Rami G. Melhem, Daniel Mossé:
Time Slot Allocation for Real-Time Messages with Negotiable Distance Constrains. 131-136
Electronic Edition (IEEE Computer Society DL) BibTeX
Ibrahim Matta, Mohamed Eltoweissy:
A Scalable QoS Routing Architecture for Real-Time CSCW Applications. 137-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session VI: Specification and Verification

Frank Mueller, Joachim Wegener:
A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints. 144-154
Electronic Edition (IEEE Computer Society DL) BibTeX
J. Lee, K. Kang, G. Kim, H. Kim:
Form, the Missing Piece in Effective Real-Time System Specification and Simulation. 155-
Electronic Edition (IEEE Computer Society DL) BibTeX
Stavros Tripakis, Sergio Yovine:
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. 165-
Electronic Edition (IEEE Computer Society DL) BibTeX
D. Kendall, S. Bradley, W. Henderson, A. Robson:
bCANDLE: Formal Modelling and Analysis of CAN Control Systems. 171-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session VII: Database and Information Systems

Vinay Kanitkar, Alex Delis:
Real-Time Client-Server Push Strategies: Specification and Evaluation. 179-
Electronic Edition (IEEE Computer Society DL) BibTeX
C. Lai:
Optimistic Similarity-Based Real-Time Concurrency Control. 189-
Electronic Edition (IEEE Computer Society DL) BibTeX
Guangtian Liu, Aloysius K. Mok, Prabhudev Konana:
A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems. 199-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session VIII: Experiences and Case Studies

Kotaro Shimamura, Yuichiro Morita, Yoshitaka Takahashi, Takashi Hotta, Shigeta Ueda, Mikiya Nohara, Mitsuyasu Kido, Seji Tanaka, Kazuhiro Imaie, Koji Sakamoto, Tatsuhito Nakajima:
A Triple Redundant Controller which Adopts the Time-Sharing Fault Recovery Method and its Application to a Power Converter Controller. 210-
Electronic Edition (IEEE Computer Society DL) BibTeX
Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou:
Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. 220-229
Electronic Edition (IEEE Computer Society DL) BibTeX
Alan Ptak, K. Foundy:
Real-Time Spacecraft Simulation and Hardware-in-the-Loop Testing. 230-236
Electronic Edition (IEEE Computer Society DL) BibTeX