Embedded Computing Systems (TECS)


Search Issue
enter search term and/or author name


ACM Transactions on Embedded Computing Systems (TECS), Volume 11 Issue 2, July 2012

Abstracts of Papers to appear in Special Supplemental Issue of TECS (v11, iSupplemental1)
TECS Staff
Article No.: 25
DOI: 10.1145/2220336.2220337

In order to speed up the publication process, we have begun to publish supplemental online-only issues. The following abstracts describe the articles in the first such issue, Vol. 11S(1). These articles are available in the Digital Library.


PICA: Processor Idle Cycle Aggregation for Energy-Efficient Embedded Systems
Jongeun Lee, Aviral Shrivastava
Article No.: 26
DOI: 10.1145/2220336.2220338

Processor Idle Cycle Aggregation (PICA) is a promising approach for low-power execution of processors, in which small memory stalls are aggregated to create large ones, enabling profitable switch of the processor into low-power mode. We extend the...

Energy-Efficient Sensing with the Low Power, Energy Aware Processing (LEAP) Architecture
Dustin McIntire, Thanos Stathopoulos, Sasank Reddy, Thomas Schmidt, William J. Kaiser
Article No.: 27
DOI: 10.1145/2220336.2220339

A broad range of embedded networked sensing (ENS) applications have appeared for large-scale systems, introducing new requirements leading to new embedded architectures, associated algorithms, and supporting software systems. These new...

Dynamic Cache Reconfiguration for Soft Real-Time Systems
Weixun Wang, Prabhat Mishra, Ann Gordon-Ross
Article No.: 28
DOI: 10.1145/2220336.2220340

In recent years, efficient dynamic reconfiguration techniques have been widely employed for system optimization. Dynamic cache reconfiguration is a promising approach for reducing energy consumption as well as for improving overall system...

A Variability-Aware Robust Design Space Exploration Methodology for On-Chip Multiprocessors Subject to Application-Specific Constraints
Gianluca Palermo, Cristina Silvano, Vittorio Zaccaria
Article No.: 29
DOI: 10.1145/2220336.2220341

Manufacturing process variation is dramatically becoming one of the most important challenges related to power and performance optimization for sub-90nm CMOS technologies. Process variability impacts the optimization of the target system metrics,...

Unequal Error Protection Based on DVFS for JSCD in Low-Power Portable Multimedia Systems
Yoon Seok Yang, Gwan Choi
Article No.: 30
DOI: 10.1145/2220336.2220342

This article presents a low-power decoder design for joint source-channel decoding (JSCD) based on a novel unequal error protection (UEP) scheme over additive white gaussian noise (AWGN) channels. Conventional JSCD schemes, adopting low-density...

An Efficient Finite Field Multiplier Using Redundant Representation
Ashkan Hosseinzadeh Namin, Huapeng Wu, Majid Ahmadi
Article No.: 31
DOI: 10.1145/2220336.2220343

An efficient word-level finite field multiplier using redundant representation is proposed. The proposed multiplier has a significantly higher speed, compared to previously proposed word-level architectures using either redundant representation or...

Integrated Task and Interrupt Management for Real-Time Systems
Luis E. Leyva-del-Foyo, Pedro Mejia-Alvarez, Dionisio de Niz
Article No.: 32
DOI: 10.1145/2220336.2220344

Real-time scheduling algorithms like RMA or EDF and their corresponding schedulability test have proven to be powerful tools for developing predictable real-time systems. However, the traditional interrupt management model presents multiple...

On the Impact of Manufacturing Process Variations on the Lifetime of Sensor Networks
Siddharth Garg, Diana Marculescu
Article No.: 33
DOI: 10.1145/2220336.2220345

The lifetime of individual nodes in a sensor network depends strongly on the leakage power of the nodes in idle state. With technology scaling, variability in leakage power dissipation of sensor nodes will cause increased variability in their...

Generating Invariant-Based Certificates for Embedded Systems
Jan Olaf Blech, Michaël Périn
Article No.: 34
DOI: 10.1145/2220336.2220346

Automatic verification tools, such as model checkers and tools based on static analysis or on abstract interpretation, have become popular in software and hardware development. They increase confidence and potentially provide rich feedback....

Predicting the Long-Term Behavior of a Micro-Solar Power System
Jaein Jeong, David Culler
Article No.: 35
DOI: 10.1145/2220336.2220347

Micro-solar power system design is challenging because it must address long-term system behavior under highly variable solar energy conditions and consider a large space of design options. Several micro-solar power systems and models have been...

Optimization of Shared High-Performance Reconfigurable Computing Resources
Melissa C. Smith, Gregory D. Peterson
Article No.: 36
DOI: 10.1145/2220336.2220348

In the field of high-performance computing, systems harboring reconfigurable devices, such as field-programmable gate arrays (FPGAs), are gaining more widespread interest. Such systems range from supercomputers with tightly coupled reconfigurable...

EAVE: Error-Aware Video Encoding Supporting Extended Energy/QoS Trade-offs for Mobile Embedded Systems
Kyoungwoo Lee, Nikil Dutt, Nalini Venkatasubramanian
Article No.: 37
DOI: 10.1145/2220336.2220349

Energy/QoS provisioning is challenging for video applications over lossy wireless network with power-constrained mobile handheld devices. In this work, we exploit the inherent error tolerance of video data to generate a range of acceptable...

Automatic RTL Test Generation from SystemC TLM Specifications
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
Article No.: 38
DOI: 10.1145/2220336.2220350

SystemC transaction-level modeling (TLM) is widely used to enable early exploration for both hardware and software designs. It can reduce the overall design and validation effort of complex system-on-chip (SOC) architectures. However, due to lack...