Reinhard Wilhelm, Heiko Falk, Wang Yi
Proceedings of the 13th Conference on Languages, Compilers, and Tools for Embedded Systems
LCTES, 2012.

@proceedings{LCTES-2012,
	acmid         = "2248418",
	address       = "Beijing, China",
	editor        = "Reinhard Wilhelm and Heiko Falk and Wang Yi",
	isbn          = "978-1-4503-1212-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 13th Conference on Languages, Compilers, and Tools for Embedded Systems}",
	year          = 2012,
}

Contents (16 items)

8 ×#embedded
2 ×#data flow
2 ×#design
2 ×#memory management
2 ×#multi
2 ×#predict
2 ×#simulation
2 ×#source code
2 ×#using

LCTES-2012-AslamBQUFTSH #design #embedded #java #stack

Rethinking Java call stack design for tiny embedded devices (FA, GB, MAQ, ZAU, LF, PT, CS, EH), pp. 1–10.

LCTES-2012-SallenaveD #embedded #lightweight #static analysis

Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.

LCTES-2012-KyleBFLT #embedded #manycore #set #simulation #using

Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation (SCK, IB, BF, HL, NPT), pp. 21–30.

LCTES-2012-HuangZX #architecture #clustering #embedded #realtime

WCET-aware re-scheduling register allocation for real-time embedded systems with clustered VLIW architecture (YH, MZ, CJX), pp. 31–40.

LCTES-2012-WanWX #memory management

WCET-aware data selection and allocation for scratchpad memory (QW, HW, JX), pp. 41–50.

LCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management #optimisation

A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.

LCTES-2012-SbirleaZBCS #data flow #platform #programming

Mapping a data-flow programming model onto heterogeneous platforms (ASS, YZ, ZB, JC, VS), pp. 61–70.

LCTES-2012-HashemiFGE #embedded #named #scalability #streaming

FORMLESS: scalable utilization of embedded manycores in streaming applications (MH, MHF, SG, CE), pp. 71–78.

LCTES-2012-FarhadKBS #deployment #multi #source code

Profile-guided deployment of stream programs on multicores (SMF, YK, BB, BS), pp. 79–88.

LCTES-2012-FangLZLCZ #analysis #multi #predict

Improving dynamic prediction accuracy through multi-level phase analysis (ZF, JL, WZ, YL, HC, BZ), pp. 89–98.

LCTES-2012-KhudiaWM #embedded #fault #performance #using

Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.

LCTES-2012-LiZXH #embedded #hybrid

Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.

LCTES-2012-ZuluagaKMP #design #predict

“Smart” design space sampling to predict Pareto-optimal solutions (MZ, AK, PAM, MP), pp. 119–128.

LCTES-2012-BouissouC #semantics #simulation

An operational semantics for Simulink’s simulation engine (OB, AC), pp. 129–138.

LCTES-2012-YuYWCC #consistency #parallel #source code

Symbolic consistency checking of OpenMp parallel programs (FY, SCY, FW, GCC, CCC), pp. 139–148.

LCTES-2012-Gal-OnL #benchmark #challenge #embedded #metric

Creating portable, repeatable, realistic benchmarks for embedded systems and the challenges thereof (SGO, ML), pp. 149–152.