ACM DL

Embedded Computing Systems (TECS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09, Volume 11 Issue S2, August 2012

Editorial: Special Section on CAPA’09
Toomas P. Plaks
Article No.: 39
DOI: 10.1145/2331147.2331148

Parallel Reconfigurable Computing-Based Mapping Algorithm for Motion Estimation in Advanced Video Coding
Anand Paul, Yung-Chuan Jiang, Jhing-Fa Wang, Jar-Ferr Yang
Article No.: 40
DOI: 10.1145/2331147.2331149

Computational load of motion estimation in advanced video coding (AVC) standard is significantly high and even worse for HDTV and super-resolution sequences. In this article, a video processing algorithm is dynamically mapped onto a new parallel...

RapidRadio: Signal Classification and Radio Deployment Framework
Jorge A. Surís, Adolfo Recio, Peter Athanas
Article No.: 41
DOI: 10.1145/2331147.2331151

In this article, the RapidRadio framework for signal classification and receiver deployment is discussed. The framework is a productivity-enhancing tool that reduces the required knowledge base for implementing a receiver on an FPGA-based SDR...

Hierarchical Benchmark Circuit Generation for FPGA Architecture Evaluation
Cindy Mark, Scott Y. L. Chin, Lesley Shannon, Steven J. E. Wilton
Article No.: 42
DOI: 10.1145/2331147.2331152

We describe a stochastic circuit generator that can be used to automatically create benchmark circuits for use in FPGA architecture studies. The circuits consist of a hierarchy of interconnected modules, reflecting the structure of circuits...

RCML: An Environment for Estimation Modeling of Reconfigurable Computing Systems
Casey Reardon, Brian Holland, Alan D. George, Greg Stitt, Herman Lam
Article No.: 43
DOI: 10.1145/2331147.2331153

Reconfigurable computing (RC) is emerging as a promising area for embedded computing, in which complex systems must balance performance, flexibility, cost, and power. The difficulty associated with RC development suggests improved strategic...

Architecture Optimization of Application-Specific Implicit Instructions
Andrea Di Biagio, Giovanni Agosta, Martino Sykora, Cristina Silvano
Article No.: 44
DOI: 10.1145/2331147.2331154

Dynamic configuration of application-specific implicit instructions has been proposed to better exploit the available parallelism at the instruction level in pipelined processors. The support of such implicit instruction issue-requires the...

Editorial: Special Section on WHS’09
Ani Napapetian, William Kaiser, Majid Sarrafzadeh
Article No.: 45
DOI: 10.1145/2331147.2331155

Automatic Segmentation and Recognition in Body Sensor Networks Using a Hidden Markov Model
Eric Guenterberg, Hassan Ghasemzadeh, Roozbeh Jafari
Article No.: 46
DOI: 10.1145/2331147.2331156

One important application of body sensor networks is action recognition. Action recognition often implicitly requires partitioning sensor data into intervals, then labeling the partitions according to the action that each represents or as a...

Analyzing and Visualizing Jump Performance Using Wireless Body Sensors
Gaurav N. Pradhan, B. Prabhakaran
Article No.: 47
DOI: 10.1145/2331147.2331157

Advancement in technology has led to the deployment of body sensor networks (BSN) to monitor and sense human activity in pervasive environments. Using multiple wireless on-body systems, such as physiological data monitoring and motion capture...

KNOWME: An Energy-Efficient Multimodal Body Area Network for Physical Activity Monitoring
Gautam Thatte, Ming Li, Sangwon Lee, Adar Emken, Shrikanth Narayanan, Urbashi Mitra, Donna Spruijt-Metz, Murali Annavaram
Article No.: 48
DOI: 10.1145/2331147.2331158

The use of biometric sensors for monitoring an individual’s health and related behaviors, continuously and in real time, promises to revolutionize healthcare in the near future. In an effort to better understand the complex interplay between...

BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices
Ayan Banerjee, Sailesh Kandula, Tridib Mukherjee, Sandeep K. S. Gupta
Article No.: 49
DOI: 10.1145/2331147.2331159

Body area networks (BANs) are networks of medical devices implanted within or worn on the human body. Analysis and verification of BAN designs require (i) early feedback on the BAN design and (ii) high-confidence evaluation of BANs without...

Application-Focused Energy-Fidelity Scalability for Wireless Motion-Based Health Assessment
Mark A. Hanson, Harry C. Powell, Jr., Adam T. Barth, John Lach
Article No.: 50
DOI: 10.1145/2331147.2331160

Energy-fidelity trade-offs are central to the performance of many technologies, but they are essential in wireless body area sensor networks (BASNs) due to severe energy and processing constraints and the critical nature of certain healthcare...

Impact of Wireless Channel Temporal Variation on MAC Design for Body Area Networks
Athanassios Boulis, Yuriy Tselishchev, Lavy Libman, David Smith, Leif Hanlen
Article No.: 51
DOI: 10.1145/2331147.2331161

We investigate the impact of wireless channel temporal variations on the design of medium access control (MAC) protocols for body area networks (BANs). Our measurements-based channel model captures large and small time-scale signal correlations,...

Editorial: Special Section VCPSS’09
Georgios Fainekos, Eric Goubault, Franjo Ivančić, Sriram Sankaranarayanan
Article No.: 52
DOI: 10.1145/2331147.2331162

Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle
Tichakorn Wongpiromsarn, Sayan Mitra, Andrew Lamperski, Richard M. Murray
Article No.: 53
DOI: 10.1145/2331147.2331163

This article introduces Periodically Controlled Hybrid Automata (PCHA) for modular specification of embedded control systems. In a PCHA, control actions that change the control input to the plant occur roughly periodically, while other...

Verification of Safety and Liveness Properties of Metric Transition Systems
Antoine Girard, Gang Zheng
Article No.: 54
DOI: 10.1145/2331147.2331164

We consider verification problems for transition systems enriched with a metric structure. We believe that these metric transition systems are particularly suitable for the analysis of cyber-physical systems in which metrics can be naturally...

Quantitative Analysis of Systems Using Game-Theoretic Learning
Sanjit A. Seshia, Alexander Rakhlin
Article No.: 55
DOI: 10.1145/2331147.2331165

The analysis of quantitative properties, such as timing and power, is central to the design of reliable embedded software and systems. However, the verification of such properties on a program is made difficult by their heavy dependence on the...

A Model Checking Based Approach to Bounding Worst-Case Execution Time for Multicore Processors
Lan Wu, Wei Zhang
Article No.: 56
DOI: 10.1145/2331147.2331166

As multicore processors are increasingly adopted in industry, it has become a great challenge to accurately bound the worst-case execution time (WCET) for real-time systems running on multicore chips. This is particularly true because of the...

A Unified Methodology for Scheduling in Distributed Cyber-Physical Systems
Qinghui Tang, Sandeep K. S. Gupta, Georgios Varsamopoulos
Article No.: 57
DOI: 10.1145/2331147.2331167

A distributed cyber-physical system (DCPS) may receive and induce energy-based interference to and from its environment. This article presents a model and an associated methodology that can be used to (i) schedule tasks in DCPSs to ensure that the...

Time-Triggered Implementations of Dynamic Controllers
Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
Article No.: 58
DOI: 10.1145/2331147.2331168

Bridging the gap between model-based design and platform-based implementation is one of the critical challenges for embedded software systems. In the context of embedded control systems that interact with an environment, a variety of errors due to...