LCT-RTS 1995: La Jolla, California

Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, & Tools for Real-Time Systems (LCT-RTS 1995). La Jolla, California, June 21-22, 1995. SIGPLAN Notices 30(11), November 1995

Tai-Yi Huang, Jane W.-S. Liu: Predicting the Worst-Case Execution Time of the Concurrent Execution of Instructions and Cycle-Stealing DMA I/O Operations. 1-6 BibTeX
Jongwon Lee, Sungyoung Lee, Hyungill Kim: Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems. 7-19 BibTeX
Kelvin D. Nilsen, Bernt Rygg: Worst-Case Execution Time Analysis on Modern Processors. 20-30 BibTeX
Flavio Bonfatti, Gianni Gadda, Paola Daniela Monari: Re-usable Software Design for Programmable Logic Controllers. 31-40 BibTeX
Tai M. Chung, Henry G. Dietz: Language Constructs and Transformation for Hard Real-time Systems. 41-49 BibTeX
Shangping Ren, Gul Agha: RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems. 50-59 BibTeX
Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man: Software Synthesis for Real-Time Information Processing Systems. 60-69 BibTeX
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea: Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems. 70-78 BibTeX
Muriel Jourdan, Florence Maraninchi: Static Timing Analysis of Real-Time Systems. 79-87 BibTeX
Yau-Tsun Steven Li, Sharad Malik: Performance Analysis of Embedded Software Using Implicit Path Enumeration. 88-98 BibTeX
Lo Ko, David B. Whalley, Marion G. Harmon: Supporting User-Friendly Analysis of Timing Constraints. 99-107 BibTeX
Hermann Kopetz, Roman Nossal: The Cluster Compiler - A Tool for the Design of Time-Triggered Real-Time Systems. 108-116 BibTeX
David Wilner: WindView: A Tool for Understanding Real-time Embedded Software Through System Visualization. 117-123 BibTeX
Richard Gerber, Steven W. K. Tjiang, David B. Whalley, David Wilner, Michael Wolfe: Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel). 124 BibTeX
Frank Mueller: Compiler Support for Software-Based Cache Partitioning. 125-133 BibTeX
André Bakkers, Johan Sunter, Evert Ploeg: Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs. 134-145 BibTeX
Stanley A. Schneider, Vincent W. Chen, Jay Steele, Gerardo Pardo-Castellote: The ControlShell Component-Based Real-Time Programming System, and its Application to the Marsokhod Martian Rover. 146-155 BibTeX