ACM DL

Embedded Computing Systems (TECS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Embedded Computing Systems (TECS), Volume 5 Issue 1, February 2006

Reducing dynamic and leakage energy in VLIW architectures
W. Zhang, Y.-F. Tsai, D. Duarte, N. Vijaykrishnan, M. Kandemir, M. J. Irwin
Pages: 1-28
DOI: 10.1145/1132357.1132358
The mobile computing device market has been growing rapidly. This brings the technologies that optimize system energy to the forefront. As circuits continue to scale in the future, it would be important to optimize both leakage and dynamic energy....

A formal method for hardware IP design and integration under I/O and timing constraints
Philippe Coussy, Emmanuel Casseau, Pierre Bomel, Adel Baganne, Eric Martin
Pages: 29-53
DOI: 10.1145/1132357.1132359
IP integration, which is one of the most important SoC design steps, requires taking into account communication and timing constraints. In that context, design and reuse can be improved using IP cores described at a high abstraction level. In this...

Dual Flow Nets: Modeling the control/data-flow relation in embedded systems
Mauricio Varea, Bashir M. Al-Hashimi, Luis A. CortéS, Petru Eles, Zebo Peng
Pages: 54-81
DOI: 10.1145/1132357.1132360
This paper addresses the interrelation between control and data flow in embedded system models through a new design representation, called Dual Flow Net (DFN). A modeling formalism with a very close-fitting control and data flow is achieved by this...

Collaborative operating system and compiler power management for real-time applications
Nevine AbouGhazaleh, Daniel Mossé, Bruce R. Childers, Rami Melhem
Pages: 82-115
DOI: 10.1145/1132357.1132361
Managing energy consumption has become vitally important to battery-operated portable and embedded systems. Dynamic voltage scaling (DVS) reduces the processor's dynamic power consumption quadratically at the expense of linearly decreasing the...

Software thread integration for embedded system display applications
Alexander G. Dean
Pages: 116-151
DOI: 10.1145/1132357.1132362
Embedded systems require control of many concurrent real-time activities, leading to system designs that feature a variety of hardware peripherals, with each providing a specific, dedicated service. These peripherals increase system size, cost,...

Predicate abstraction for reachability analysis of hybrid systems
Rajeev Alur, Thao Dang, Franjo Ivančić
Pages: 152-199
DOI: 10.1145/1132357.1132363
Embedded systems are increasingly finding their way into a growing range of physical devices. These embedded systems often consist of a collection of software threads interacting concurrently with each other and with a physical, continuous...

FAST: Frequency-aware static timing analysis
Kiran Seth, Aravindh Anantaraman, Frank Mueller, Eric Rotenberg
Pages: 200-224
DOI: 10.1145/1132357.1132364
Energy is a valuable resource in embedded systems as the lifetime of many such systems is constrained by their battery capacity. Recent advances in processor design have added support for dynamic frequency/voltage scaling (DVS) for saving energy....

Reducing code size through address register assignment
G. Chen, M. Kandemir, M. J. Irwin, J. Ramanujam
Pages: 225-258
DOI: 10.1145/1132357.1132365
In DSP processors, minimizing the amount of address calculations is critical for reducing code size and improving performance, since studies of programs have shown that instructions that manipulate address registers constitute a significant portion...