Embedded Computing Systems (TECS)


Search Issue
enter search term and/or author name


ACM Transactions on Embedded Computing Systems (TECS), Volume 17 Issue 2, February 2018

Section: Special Issue on MEMCODE 2015

Guest Editorial: Special Issue on Formal Methods and Models for System Design
Elizabeth Leonard
Article No.: 30
DOI: 10.1145/3162079

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

Energy Cooperation in Battery-Free Wireless Communications with Radio Frequency Energy Harvesting
He Li, Kaoru Ota, Mianxiong Dong
Article No.: 44
DOI: 10.1145/3141249

Synergistic CPU-GPU Frequency Capping for Energy-Efficient Mobile Games
Jurn-Gyu Park, Chen-Ying Hsieh, Nikil Dutt, Sung-Soo Lim
Article No.: 45
DOI: 10.1145/3145337

Mining Timed Regular Specifications from System Traces
Apurva Narayan, Greta Cutulenco, Yogi Joshi, Sebastian Fischmeister
Article No.: 46
DOI: 10.1145/3147660

ShaVe-ICE: Sharing Distributed Virtualized SPMs in Many-Core Embedded Systems
Majid Shoushtari, Bryan Donyanavard, Luis Angel D. Bathen, Nikil Dutt
Article No.: 47
DOI: 10.1145/3157667

Attitude Fusion of Inertial and Magnetic Sensor under Different Magnetic Filed Distortions
Zhijian He, Yao Chen, Zhaoyan Shen
Article No.: 48
DOI: 10.1145/3157668

Concentration-Resilient Mixture Preparation with Digital Microfluidic Lab-on-Chip
Sukanta Bhattacharjee, Yi-Ling Chen, Juinn-Dar Huang, Bhargab B. Bhattacharya
Article No.: 49
DOI: 10.1145/3157094

Memory-Constrained Vectorization and Scheduling of Dataflow Graphs for Hybrid CPU-GPU Platforms
Shuoxin Lin, Jiahao Wu, Shuvra S. Bhattacharyya
Article No.: 50
DOI: 10.1145/3157669

A Hardware Pipeline with High Energy and Resource Efficiency for FMM Acceleration
Tian Huang, Yongxin Zhu, Yajun Ha, Xu Wang, Meikang Qiu
Article No.: 51
DOI: 10.1145/3157670

Enabling Contactless Detection of Moving Humans with Dynamic Speeds Using CSI
Kun Qian, Chenshu Wu, Zheng Yang, Yunhao Liu, Fugui He, Tianzhang Xing
Article No.: 52
DOI: 10.1145/3157677

A Comparative Study of Predictable DRAM Controllers
Danlu Guo, Mohamed Hassan, Rodolfo Pellizzoni, Hiren Patel
Article No.: 53
DOI: 10.1145/3158208

Efficient and Reliable Error Detection Architectures of Hash-Counter-Hash Tweakable Enciphering Schemes
Mehran Mozaffari-Kermani, Reza Azarderakhsh, Ausmita Sarker, Amir Jalali
Article No.: 54
DOI: 10.1145/3159173

Application Deployment Strategies for Spatial Isolation on Many-Core Accelerators
Maria Méndez Real, Philipp Wehner, Vianney Lapotre, Diana Göhringer, Guy Gogniat
Article No.: 55
DOI: 10.1145/3168383

Loop-Oriented Pointer Analysis for Automatic SIMD Vectorization
Yulei Sui, Xiaokang Fan, Hao Zhou, Jingling Xue
Article No.: 56
DOI: 10.1145/3168364

Trinity: Enabling Self-Sustaining WSNs Indoors with Energy-Free Sensing and Networking
Feng Li, Yanbing Yang, Zicheng Chi, Liya Zhao, Yaowen Yang, Jun Luo
Article No.: 57
DOI: 10.1145/3173039