Embedded Computing Systems (TECS)


Search Issue
enter search term and/or author name


ACM Transactions on Embedded Computing Systems (TECS), Volume 17 Issue 2, Decemeber 2017

Section: Special Issue on MEMCODE 2015

Symbolic Multi-Level Loop Mapping of Loop Programs for Massively Parallel Processor Arrays
Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig
Article No.: 31
DOI: 10.1145/3092952

Model and Program Repair via SAT Solving
Paul C. Attie, Kinan Dak Al Bab, Mouhammad Sakr
Article No.: 32
DOI: 10.1145/3147426

SCEst: Sequentially Constructive Esterel
Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard Von Hanxleden, Michael Mendler
Article No.: 33
DOI: 10.1145/3063129

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
Article No.: 34
DOI: 10.1145/3147451

Section: Regular Papers

Fixed-Priority Scheduling for Two-Phase Mixed-Criticality Systems
Zheng Li, Shuibing He
Article No.: 35
DOI: 10.1145/3105921

In this article, a two-phase execution model is proposed for mixed-criticality (MC) tasks. Different from traditional MC tasks with a computation phase only, the two-phase execution model requires a memory-access phase first to fetch the...

Effective Verification for Low-Level Software with Competing Interrupts
Lihao Liang, Tom Melham, Daniel Kroening, Peter Schrammel, Michael Tautschnig
Article No.: 36
DOI: 10.1145/3147432

Exploiting Sparsity to Accelerate Fully Connected Layers of CNN-Based Applications on Mobile SoCs
Xinfeng Xie, Dayou Du, Qian Li, Yun Liang, Wai Teng Tang, Zhong Liang Ong, Mian Lu, Huynh Phung Huynh, Rick Siow Mong Goh
Article No.: 37
DOI: 10.1145/3122788

Time and Sequence Integrated Runtime Anomaly Detection for Embedded Systems
Sixing Lu, Roman Lysecky
Article No.: 38
DOI: 10.1145/3122785

Symbolic WCET Computation
Clément Ballabriga, Julien Forget, Giuseppe Lipari
Article No.: 39
DOI: 10.1145/3147413

Analysis and Design of Adders for Approximate Computing
Sunil Dutt, Sukumar Nandi, Gaurav Trivedi
Article No.: 40
DOI: 10.1145/3131274

Runtime Performance and Power Optimization of Parallel Disparity Estimation on Many-Core Platforms
Charles Leech, Charan Kumar, Amit Acharyya, Sheng Yang, Geoff V. Merrett, Bashir M. Al-Hashimi
Article No.: 41
DOI: 10.1145/3133560

This article investigates the use of many-core systems to execute the disparity estimation algorithm, used in stereo vision applications, as these systems can provide flexibility between performance scaling and power consumption. We present a...

Fault Recovery Time Analysis for Coarse-Grained Reconfigurable Architectures
Ganghee Lee, Ediz Cetin, Oliver Diessel
Article No.: 42
DOI: 10.1145/3140944

Coarse-grained reconfigurable architectures (CGRAs) have drawn increasing attention due to their performance and flexibility advantages. Typically, CGRAs incorporate many processing elements in the form of an array, which is suitable for...

Coverage Preservation with Rapid Forwarding in Energy-Harvesting Wireless Sensor Networks for Critical Rare Events
David C. Harrison, Winston K. G. Seah, Ramesh Rayudu
Article No.: 43
DOI: 10.1145/3140961