Jack W. Davidson, Sang Lyul Min
Proceedings of the Workshop on Languages, Compilers, and Tools for Embedded Systems
LCTES, 2001.

@proceedings{LCTES-2000,
	address       = "Vancouver, British Columbia, Canada",
	editor        = "Jack W. Davidson and Sang Lyul Min",
	isbn          = "3-540-41781-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Workshop on Languages, Compilers, and Tools for Embedded Systems}",
	volume        = 1985,
	year          = 2001,
}

Contents (17 items)

4 ×#embedded
3 ×#multi
3 ×#realtime
2 ×#framework
2 ×#optimisation
2 ×#using

LCTES-2000-BelloM #network #scheduling

Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network (LLB, OM), pp. 1–18.

LCTES-2000-BuddeP #modelling

Complex Reactive Control with Simple Synchronous Models (RB, AP), pp. 19–32.

LCTES-2000-JeongKL #concurrent #multi #realtime #using

Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version (BSJ, DK, SL), pp. 33–47.

LCTES-2000-CintraA #array #using

Array Reference Allocation Using SSA-Form and Live Range Growth (MSC, GA), pp. 48–62.

LCTES-2000-Kastner #analysis #named #optimisation

PROPAN: A Retargetable System for Postpass Optimisations and Analyses (DK), pp. 63–80.

LCTES-2000-BairagiPA #embedded #framework #quality #set

A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors (DB, SP, DPA), pp. 81–95.

LCTES-2000-ChakravertyR #framework #probability #realtime

A Stochastic Framework for Co-synthesis of Real-Time Systems (SC, CPR), pp. 96–113.

LCTES-2000-JeonKHK #corba #embedded #fault tolerance

A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems (GJ, THK, SH, SK), pp. 114–133.

LCTES-2000-AmnellDY #hybrid #realtime

A Real-Time Animator for Hybrid Systems (TA, AD, WY), pp. 134–145.

LCTES-2000-ChildersN #memory management #order #power management #transaction

Reordering Memory Bus Transactions for Reduced Power Consumption (BRC, TN), pp. 146–161.

LCTES-2000-ParkLLHK #embedded #performance

A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure (GHP, KWL, JHL, TDH, SDK), pp. 162–177.

LCTES-2000-CortiBG #approximate #execution #multi #worst-case

Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems (MC, RB, TRG), pp. 178–198.

LCTES-2000-LeeLKK #debugging #design #embedded #implementation #internet

A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software (KL, CL, KK, HNK), pp. 199–203.

LCTES-2000-RunesonNS #abstraction #optimisation

Optimizing Code Size through Procedural Abstraction (JR, SON, JS), pp. 204–205.

LCTES-2000-EngelenWY #automation #validation

Automatic Validation of Code-Improving Transformations (RvE, DBW, XY), pp. 206–210.

LCTES-2000-KandemirVIK #energy #towards

Towards Energy-Aware Iteration Space Tiling (MTK, NV, MJI, HSK), pp. 211–215.

LCTES-2000-LeeSJ #communication #multi

An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments (SL, HS, TJ), pp. 216–220.