---. --- ,--.,--. / .--. .-- 17th IEEE Real-Time Systems Symposium
| | | | | | | | December 4-6, 1996
|--' | `--.`--. `--| |--. Washington, DC
| \ | | | | | |
| \ | `--'`--' `--' `--' WORK IN PROGRESS SESSIONS
Sponsored by IEEE-CS TC-RTS
The RTSS'96 WIP sessions will be devoted to the presentation of new
and on-going projects in real-time systems and applications. The
prime purpose of these sessions is to provide researchers an
opportunity to discuss their evolving ideas and gather feedback
thereon from the real-time community at large. The RTSS'96 WIP
sessions will be held on Wednesday, December 4, 1996 and on Thursday,
December 5, 1996. They will consist of 10-minute presentations of all
accepted submissions. Also, accepted submissions will be included in
a special RTSS'96 WIP proceedings which
will be distributed to all RTSS'96 conference participants, and will
be available electronically from the IEEE-CS TC-RTS Home Page on the
WWW.
There were 22 submissions to the WIP session, of which 14 have been
accepted for presentation and inclusion in the proceedings. The accepted papers are listed
below.
RTSS'96 WIP Session 1: Wednesday December 4, 1996 / 5:30 - 7:10pm
- TAME: A Specialized Specification and Verification System for
Timed Automata
Myla Archer and Constance Heitmeyer
Naval Research Laboratory, USA
- Scheduling Slack in MetaH
Pam Binns
Honeywell Technology Center, USA
- AFTER: A case tool to assist in Fine-tuning of embedded real-time systems
Gaurav Arora and David Stewart
University of Maryland, USA
- Genericity and Upgradability in Ultra-Dependable Real-Time Architectures
Andy Wellings, Ljerka Beus-Dukis, Alan Burns, and David Powell
LAAS-CNRS, France and University of York, UK
- Challenges in Engineering Distributed Shipboard Control System
Lonnie Welch, Binoy Ravindran, Robert D. Harrison, Leslie Madden, Michael W. Masters and Wayne Mills
Naval Surface Warfare Center and University of Texas at Arlington, USA
- Issues for realizing a scalable Real Time Kernel for function-distributed Multiprocessors
Hiroaki Takada, Cai-Dong Wang, and ken Sakamura
University of Tokyo, Japan
- The design and implementation of the CPU power regulator for multimedia operating systems
Giun-Haur Huang, Shie-Kai Ni, and Tei-Wei Kuo
National Chung Cheng University, Taiwan
- An approach for monitoring intrusion removal in Real Time Systems
Vishal Jain, Madalene Spezialetti, and Rajiv Gupta
University of Pittsburgh and Trinity College, USA
- Empirical Evaluation of Task and Resource Scheduling in Dynamic Real-Time Systems
Ken Tew and Panos Chrysantis and Daniel Mosse
University of Pittsburgh, USA
- Scalability based admission control of real-time channels
Ramesh Yerraballi and Ravi Mukkamala
Midwestern State University and Old Dominion University, USA
RTSS'96 WIP Session 2: Thursday December 5, 1996 / 5:30 - 6:10pm
- Optimization of scheduling on real-time parallel computer systems
Leyuan Shi and Philip Q. Hwang
University of Wisconsin and Defence Mapping Agency, USA
- Dynamic Scheduling of Hard Real-Time Applications in Open System Environment
Z. Deng, J. W.-S. Liu, and J. Sun
University of Illinois at Urbana Champaign, USA
- In Search for an efficient Real-Time Atomic Commit Protocol
Yousef Al-Houmaily and Panos Chrysantis
University of Pittsburgh, USA
- Distributed Real-Time Dataflow: An Execution Paradigm
for Image Processing and Anti-Submarine Warfare Applications
Steve Goddard and Kevin Jeffay
University of North Carolina, USA
Azer Bestavros
best@cs.bu.edu
Created on: 1996.07.05
Updated on: 1996.11.01