Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th RTSS 1996: Washington, DC, USA
- Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA. IEEE Computer Society 1996, ISBN 0-8186-7689-2
Scheduling I
- Jun Sun, Jane W.-S. Liu:
Bounding completion times of jobs with arbitrary release times and variable execution times. 2-12 - Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin:
On task schedulability in real-time control systems. 13-21 - Aloysius K. Mok, Deji Chen:
A multiframe model for real-time tasks. 22-29
Experimental Systems and Applications
- Ichiro Mizunuma, Chia Shen, Morikazu Takegaki:
Middleware for Distributed Industrial Real-Time Systems on ATM Networks. 32-38 - Neil C. Audsley, Andy J. Wellings:
Analysing APEX applications. 39-44 - Steven Sommer, John Potter:
Operating system extensions for dynamic real-time application. 45-50
Formal Methods
- Felice Balarin:
Approximate reachability analysis of timed automata. 52-61 - Henri B. Weinberg, Nancy A. Lynch:
Correctness of vehicle control systems-a case study. 62-72 - Conrado Daws, Sergio Yovine:
Reducing the number of clock variables of timed automata. 73-81 - V. Natarajan, Rance Cleaveland:
Predictability of real-time systems: a process-algebraic approach. 82-91
Synchronization
- James H. Anderson, Srikanth Ramamurthy:
A framework for implementing objects and scheduling tasks in lock-free real-time systems. 94-105 - Injong Rhee:
Optimizing a FIFO, scalable spin lock using consistent memory. 106-114
Model and Tools
- Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij:
The MSP.RTL real-time scheduler synthesis tool. 118-128 - Tullio Vardanega
:
Tool support for the construction of statically analysable hard real-time Ada systems. 129-135 - Ragunathan Rajkumar, Michael Gagliardi:
High availability in the real-time publisher/subscriber inter-process communication model. 136-141
Communications
- Ashish Mehra, Atri Indiresan, Kang G. Shin:
Structuring communication software for quality-of-service guarantees. 144-154 - Debanjan Saha, Sarit Mukherjee, Satish K. Tripathi:
Multirate scheduling for guaranteed and predictive services in ATM networks. 155-164 - Ching-Chih Han, Kang G. Shin:
Message transmission with timing constraints in ring networks . 165-174 - Hung-Ying Tyan, Chao-Ju Hou, Bin Wang, Ching-Chih Han:
On supporting time-constrained communications in WDMA-based star-coupled optical networks. 175-184
Scheduling II
- John P. Lehoczky:
Real-Time Queueing Theory. 186-195 - Chih-wen Hsueh, Kwei-Jay Lin:
An optimal pinwheel scheduler using the single-number reduction technique. 196-205 - Hiroyuki Kaneko, John A. Stankovic, Subhabrata Sen, Krithi Ramamritham:
Integrated scheduling of multimedia and hard real-time tasks. 206-217
Databases
- Ramesh Gupta, Jayant R. Haritsa, Krithi Ramamritham, S. Seshadri:
Commit processing in distributed real-time database systems. 220-229 - Azer Bestavros, Sue Nagy:
Value-cognizant admission control for RTDB systems. 230-239 - Ming Xiong, Rajendran M. Sivasankaran, John A. Stankovic, Krithi Ramamritham, Donald F. Towsley:
Scheduling transactions with temporal constraints: exploiting data semantics. 240-251
Timing Analysis
- Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe:
Cache modeling for real-time software: beyond direct mapped instruction caches. 254-263 - Chang-Gun Lee, Joosun Hahn, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim:
Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. 264-274 - Tai-Yi Huang, Jane W.-S. Liu, David Hull:
A Method for Bounding the Effect of DMA I/O Interference on Program Execution Time. 275-285
Resource Allocation and System Implementation
- Ion Stoica, Hussein M. Abdel-Wahab, Kevin Jeffay, Sanjoy K. Baruah, Johannes Gehrke, C. Greg Plaxton:
A proportional share resource allocation algorithm for real-time, time-shared systems. 288-299 - Namyun Kim, Minsoo Ryu, Seongsoo Hong, Manas Saksena, Chong-Ho Choi, Heonshik Shin:
Visual assessment of a real-time system design: a case study on a CNC controller. 300-310 - Stefan Poledna:
Optimizing Interprocess Communication for Embedded Real-Time Systems. 311-
a service of 
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-04-19 19:19 CEST 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:
