Proceedings of the Eighth Euromicro Workshop on Real-Time Systems: June 12-14, 1996, L'Aquila, Italy
Forty-eight proceedings papers from the June 1996 conference surveying research in real time system specification, modeling, and communications techniques with a featured keynote address from Dr. John Brackett of Boston University. The selected presentations cover the latest topics in the field, including design processes and verification, multimedia, knowledge-based systems, scheduling, hardware support, and languages. Lacks an index. Annotation copyright by Book News, Inc., Portland, OR.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Deriving RealTime Requirements for Software from Safety Analysis
A Design and Assessment Tool for RealTime Applications
35 other sections not shown
1996 IEEE Proceedings allocation analysis approach architecture behaviour buffer cache clock communication constraints context cost deadline defined disk distributed dynamic embedded embedded systems environment Esterel EURWRTS 96 event example execution fault Figure formal frame FSCAN function graph hard real-time hardware implementation input instruction interface interrupt interrupt handler kernel logic loop maximum memory MetaRing mode model checking modules multiprocessor nodes operations output paper parallel parameters path performance periodic tasks preemption priority priority inversion problem Proceedings of EURWRTS processor protocol queue real-time applications Real-Time Computing Real-Time Systems reload requests requirements robot scenarios scheduling algorithm sequence server signal simulation solution specification status register structure switch synchronisation synchronous target system task set techniques temporal temporal logic tion trader transaction transition transputer variables VHDL worst-case blocking worst-case execution Xputer