default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd 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.
last updated on 2024-11-20 21:06 CET 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:
