Proceedings of the Seventh Conference on Languages, Compilers, and Tools for Embedded Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SYS
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.