Mary Jane Irwin, Koen De Bosschere
Proceedings of the Seventh Conference on Languages, Compilers, and Tools for Embedded Systems
LCTES, 2006.

@proceedings{LCTES-2006,
	acmid         = "1134650",
	address       = "Ottawa, Ontario, Canada",
	editor        = "Mary Jane Irwin and Koen De Bosschere",
	isbn          = "1-59593-362-X",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh Conference on Languages, Compilers, and Tools for Embedded Systems}",
	year          = 2006,
}

Contents (22 items)

4 ×#embedded
3 ×#analysis
3 ×#architecture
3 ×#compilation
3 ×#optimisation
3 ×#scheduling
2 ×#configuration management
2 ×#effectiveness
2 ×#generative
2 ×#hardware

LCTES-2006-Martonosi #case study #deployment #embedded #experience #hardware

Embedded systems in the wild: ZebraNet software, hardware, and deployment experiences (MM), p. 1.

LCTES-2006-PlatenE #feedback #layout #optimisation

Feedback linking: optimizing object code layout for updates (CvP, JE), pp. 2–11.

LCTES-2006-ZhangP #mobile

Minimizing downtime in seamless migrations of mobile applications (KZ, SP), pp. 12–21.

LCTES-2006-SpivakT #memory management #persistent #transaction

Storing a persistent transactional object heap on flash memory (MS, ST), pp. 22–33.

LCTES-2006-RegehrD #embedded

Deriving abstract transfer functions for analyzing embedded software (JR, UD), pp. 34–43.

LCTES-2006-CoopriderR #abstract domain #embedded

Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.

LCTES-2006-Mine #analysis #c #embedded #pointer #source code

Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics (AM), pp. 54–63.

LCTES-2006-KreahlingHWT #comparison #cost analysis #specification #using

Reducing the cost of conditional transfers of control by using comparison specifications (WCK, SH, DBW, GST), pp. 64–71.

LCTES-2006-ZhuangP #analysis #compilation #concurrent #effectiveness #network #thread

Effective thread management on network processors with compiler analysis (XZ, SP), pp. 72–82.

LCTES-2006-KulkarniWTD #optimisation #order

In search of near-optimal optimization phase orderings (PAK, DBW, GST, JWD), pp. 83–92.

LCTES-2006-DanneP #configuration management #hardware #scheduling

An EDF schedulability test for periodic tasks on reconfigurable hardware devices (KD, MP), pp. 93–102.

LCTES-2006-SandbergEGL #analysis #performance #slicing

Faster WCET flow analysis by program slicing (CS, AE, JG, BL), pp. 103–112.

LCTES-2006-ProchnowTH #state machine

Synthesizing safe state machines from Esterel (SP, CT, RvH), pp. 113–124.

LCTES-2006-EdwardsT #code generation #modelling #performance

Efficient code generation from SHIM models (SAE, OT), pp. 125–134.

LCTES-2006-RothamelLHL #generative #specification

Generating optimized code from SCR specifications (TR, YAL, CLH, EIL), pp. 135–144.

LCTES-2006-FarfelederKSB #architecture #compilation #effectiveness #generative

Effective compiler generation by architecture description (SF, AK, ES, FB), pp. 145–152.

LCTES-2006-ChenK #scalability #scheduling

Procrastination for leakage-aware rate-monotonic scheduling on a dynamic voltage scaling processor (JJC, TWK), pp. 153–162.

LCTES-2006-MutyamLNKI #functional

Compiler-directed thermal management for VLIW functional units (MM, FL, NV, MTK, MJI), pp. 163–172.

LCTES-2006-ParkSDNPE #reduction #scheduling

Bypass aware instruction scheduling for register file power reduction (SP, AS, NDD, AN, YP, EE), pp. 173–181.

LCTES-2006-YanSG #architecture #configuration management #estimation #implementation

Area and delay estimation for FPGA implementation of coarse-grained reconfigurable architectures (LY, TS, NG), pp. 182–188.

LCTES-2006-PandeyW #component #constraints #named #scalability

BOTS: a constraint-based component system for synthesizing scalable software systems (RP, JW), pp. 189–198.

LCTES-2006-ZhangQWZZ #architecture #compilation #multi #optimisation

Optimizing compiler for shared-memory multiple SIMD architecture (WZ, XQ, YW, BZ, CZ), pp. 199–208.