Find a copy in the library
Finding libraries that hold this item...
|Material Type:||Conference publication|
|All Authors / Contributors:||
Lonnie R Welch; Dieter K Hammer
|Notes:||The Joint Workshop on Parallel and Distributed Real-Time Systems was held in Santa Barbara, April 1-3, 1997, workshop combined the 5th International workshop on Parallel and Distributed Real-Time Systems (WPDRTS) and the 3rd Workshop on Object-Oriented Real-Time Systems (OORTS)|
|Description:||viii, 151 p. : ill. ; 24 cm.|
|Contents:||Use cases for distributed real-time software architectures / H. Gomaa --
Formal design of real-time systems in a platform-independent way / J. Hooman and O. van Roosmalen --
Automatic effective verification method for distributed and concurrent systems using timed language inclusion / S. yamane --
Integrating timed condition/evens systems, and timed automata for the verification of hybrid systems / R. Huuck [and others] --
Automatic derivation of path and loop annotations / J. Gustafsson and A. Ermedahl --
Integrated scheduling of tasks and messages in distributed real-time systems / G. Manimaran [and others] --
Real-time scheduling in video systems / E.A. de Kock, E.H.L. Aarts and G. Essink --
A real-time Java server for real-time mach / A. Miyoshi and H. Tokuda.
|Responsibility:||Lonni R. Welch, Dieter K. Hammer, editors.|