


default search action
2nd RTAS 1996: Boston, MA, USA
- 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996. IEEE Computer Society 1996, ISBN 0-8186-7448-2

Case Studies and Applications
- Neil C. Audsley, I. J. Bate, Alan Burns:

Putting fixed priority scheduling theory into engineering practice for safety critical applications. 2-10 - David H. Jameson:

Building real-time music tools visually with Sonnet. 11-18 - Carlton Bickford, Marie S. Teo, Gary Wallace, John A. Stankovic, Krithi Ramamritham:

A robotic assembly application on the Spring real-time system. 19-28 - Jesús Fernández-Conde

, Alberto García-Martínez
, Ángel Viña:
Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments. 29-35
Databases and Concurrency Control
- Young-Kuk Kim

, Sang Hyuk Son:
Supporting predictability in real-time database systems. 38-48 - Azer Bestavros

:
AIDA-based real-time fault-tolerant broadcast disks. 49-58 - Ching-Shan Peng, Kwei-Jay Lin:

A semantic-based concurrency control protocol for real-time transactions. 59-67
Tutorial
- Chia Shen:

On ATM support for distributed real-time applications. 70-81 - Roman Ginis, Victor Fay Wolfe, Janet J. Prichard:

The design of an open system with distributed real-time requirements. 82-90 - Chih Lai, H. Rebecca Callison:

A framework for simulation of concurrency control policy in real-time systems. 91-99 - Michael Gagliardi, Ragunathan Rajkumar, Lui Sha:

Designing for evolvability: building blocks for evolvable real-time systems. 100-109 - Daniel Gaudrau, Paul Freedman:

Temporal Analysis and Object-Oriented Real-Time Software Development: A Case Study with ROOM/ObjecTime. 110-118
Communications
- Shobana Balakrishnan, Füsun Özgüner:

Providing message delivery guarantees in pipelined flit-buffered multiprocessor networks. 120-129 - Ashish Mehra, Atri Indiresan, Kang G. Shin:

Resource management for real-time communication: making theory meet practice. 130-138 - Michael J. Markowski, Adarshpal S. Sethi:

Evaluation of Wireless Soft Real-Time Protocols. 139-146
Real-Time System Development and Analysis Tools
- Marty Humphrey, John A. Stankovic:

CAISARTS: a tool for real-time scheduling assistance. 150-159 - Matthew F. Storch, Jane W.-S. Liu:

DRTSS: a simulation framework for complex real-time systems. 160-169 - Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon:

Supporting the specification and analysis of timing constraints. 170-178
Formal Methods and Processor Scheduling
- Farn Wang:

Scalable compositional reachability analysis of real-time concurrent systems. 182-191 - Myla Archer, Constance L. Heitmeyer:

Mechanical verification of timed automata: a case study. 192-203 - José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings:

Adding instruction cache effect to schedulability analysis of preemptive real-time systems. 204-212
Tutorial
- Bran Selic:

Real-Time Object-Oriented Modeling (ROOM). 214-217
Operating Systems and Distributed Systems
- Chen Lee, Katsuhiko Yoshida, Clifford W. Mercer, Ragunathan Rajkumar:

Predictable Communication Protocol Processing in Real-Time Mach. 220-229 - Sung-Kwan Kim, Sang Lyul Min, Rhan Ha:

Efficient worst case timing analysis of data caching. 230-240 - Khawar M. Zuberi, Kang G. Shin:

EMERALDS: a microkernel for embedded real-time systems. 241-249 - Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin:

RTCAST: lightweight multicast for real-time process groups. 250-259 - Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri:

A Flexible Tool Kit for Development of Real-Time Applications. 260-262

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














