Richard Gerber, Thomas J. Marlowe
Proceedings of the Workshop on Languages, Compilers, and Tools for Real-Time Systems
LCT-RTS, 1995.

@proceedings{LCT-RTS-1995,
	acmid         = "216636",
	address       = "LCT-RTS 1995). La Jolla, California, USA",
	editor        = "Richard Gerber and Thomas J. Marlowe",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Workshop on Languages, Compilers, and Tools for Real-Time Systems}",
	year          = 1995,
}

Contents (16 items)

9 ×#realtime
5 ×#analysis
3 ×#named
2 ×#clustering
2 ×#compilation
2 ×#design
2 ×#embedded
2 ×#execution
2 ×#scheduling
2 ×#worst-case

LCT-RTS-1995-HuangL #concurrent #execution #predict #worst-case

Predicting the Worst-Case Execution Time of the Concurrent Execution of Instructions and Cycle-Stealing DMA I/O Operations (TYH, JWSL), pp. 1–6.

LCT-RTS-1995-LeeLK #hybrid #scheduling

Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems (JL, SL, HK), pp. 7–19.

LCT-RTS-1995-NilsenR #analysis #execution #worst-case

Worst-Case Execution Time Analysis on Modern Processors (KDN, BR), pp. 20–30.

LCT-RTS-1995-BonfattiGM #design #logic #programmable

Re-usable Software Design for Programmable Logic Controllers (FB, GG, PDM), pp. 31–40.

LCT-RTS-1995-ChungD #realtime

Language Constructs and Transformation for Hard Real-time Systems (TMC, HGD), pp. 41–49.

LCT-RTS-1995-RenA #distributed #named #realtime #specification

RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems (SR, GA), pp. 50–59.

LCT-RTS-1995-ThoenCGM #information management #realtime #synthesis

Software Synthesis for Real-Time Information Processing Systems (FT, MC, GG, HDM), pp. 60–69.

LCT-RTS-1995-CamposCMM #analysis #finite #named #realtime

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems (SVAC, EMC, WRM, MM), pp. 70–78.

LCT-RTS-1995-JourdanM #analysis #realtime

Static Timing Analysis of Real-Time Systems (MJ, FM), pp. 79–87.

LCT-RTS-1995-LiM #analysis #embedded #performance #using

Performance Analysis of Embedded Software Using Implicit Path Enumeration (YTSL, SM), pp. 88–98.

LCT-RTS-1995-KoWH #analysis #constraints

Supporting User-Friendly Analysis of Timing Constraints (LK, DBW, MGH), pp. 99–107.

LCT-RTS-1995-KopetzN #clustering #compilation #design #realtime

The Cluster Compiler — A Tool for the Design of Time-Triggered Real-Time Systems (HK, RN), pp. 108–116.

LCT-RTS-1995-Wilner #comprehension #embedded #named #realtime #visualisation

WindView: A Tool for Understanding Real-time Embedded Software Through System Visualization (DW), pp. 117–123.

LCT-RTS-1995-Mueller #clustering #compilation

Compiler Support for Software-Based Cache Partitioning (FM), pp. 125–133.

LCT-RTS-1995-BakkersSP #automation #communication #generative #parallel #realtime #scheduling #source code

Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs (AB, JS, EP), pp. 134–145.

LCT-RTS-1995-SchneiderCSP #component #programming #realtime

The ControlShell Component-Based Real-Time Programming System, and its Application to the Marsokhod Martian Rover (SAS, VWC, JS, GPC), pp. 146–155.