ACM DL

Embedded Computing Systems (TECS)

Menu

Search Issue
enter search term and/or author name

Archive


Editorial: Science of the Big and Small and Embedded Computing Systems
Sandeep K. Shukla
Article No.: 21e
DOI: 10.1145/2901293


Section: Editorial

Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems
Sara Vinco, Christian Pilato
Article No.: 22e
DOI: 10.1145/2885505

Toward Smart Embedded Systems: A Self-aware System-on-Chip (SoC) Perspective
Nikil Dutt, Axel Jantsch, Santanu Sarma
Article No.: 22
DOI: 10.1145/2872936

Embedded systems must address a multitude of potentially conflicting design constraints such as resiliency, energy, heat, cost, performance, security, etc., all in the face of highly dynamic operational behaviors and environmental conditions. By...

Learning Hardware-Friendly Classifiers Through Algorithmic Stability
Luca Oneto, Sandro Ridella, Davide Anguita
Article No.: 23
DOI: 10.1145/2836165

Most state-of-the-art machine-learning (ML) algorithms do not consider the computational constraints of implementing the learned model on embedded devices. These constraints are, for example, the limited depth of the arithmetic unit, the memory...

Adaptive and Hierarchical Runtime Manager for Energy-Aware Thermal Management of Embedded Systems
Anup Das, Bashir M. Al-Hashimi, Geoff V. Merrett
Article No.: 24
DOI: 10.1145/2834120

Modern embedded systems execute applications, which interact with the operating system and hardware differently depending on the type of workload. These cross-layer interactions result in wide variations of the chip-wide thermal profile. In this...

A Real-Time FPGA-Based Accelerator for ECG Analysis and Diagnosis Using Association-Rule Mining
Xiaoqi Gu, Yongxin Zhu, Shengyan Zhou, Chaojun Wang, Meikang Qiu, Guoxing Wang
Article No.: 25
DOI: 10.1145/2821508

Telemedicine provides health care services at a distance using information and communication technologies, which intends to be a solution to the challenges faced by current health care systems with growing numbers of population, increased demands...

Real-Time Reachability for Verified Simplex Design
Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha
Article No.: 26
DOI: 10.1145/2723871

The Simplex architecture ensures the safe use of an unverifiable complex/smart controller by using it in conjunction with a verified safety controller and verified supervisory controller (switching logic). This architecture enables the safe use of...

Near-Static Shading Exploration for Smart Photovoltaic Module Topologies Based on Snake-like Configurations
Maria-Iro Baka, Francky Catthoor, Dimitrios Soudris
Article No.: 27
DOI: 10.1145/2837026

Variable shading due to clouds and nearby objects has a severe impact on the energy yield of photovoltaic installations. Due to the industry's standard of permanently series-connected cells in a photovoltaic (PV) module, partial shading creates...

RQNoC: A Resilient Quality-of-Service Network-on-Chip with Service Redirection
Alirad Malek, Ioannis Sourdis, Stavros Tzilis, Yifan He, Gerard Rauwerda
Article No.: 28
DOI: 10.1145/2846097

In this article, we describe RQNoC, a service-oriented Network-on-Chip (NoC) resilient to permanent faults. We characterize the network resources based on the particular service that they support and, when faulty, bypass them, allowing the...

Section: Editorial

Guest Editorial: Special Issue on Models and Methodologies for System Design
Paolo Ienne, Jean-Pierre Talpin
Article No.: 29
DOI: 10.1145/2885503

On Memory Reuse Between Inputs and Outputs of Dataflow Actors
Karol Desnos, Maxime Pelcat, Jean-François Nezan, Slaheddine Aridhi
Article No.: 30
DOI: 10.1145/2871744

This article introduces a new technique to minimize the memory footprints of Digital Signal Processing (DSP) applications specified with Synchronous Dataflow (SDF) graphs and implemented on shared-memory Multiprocessor System-on-Chip (MPSoCs). In...

ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis
Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
Article No.: 31
DOI: 10.1145/2885498

Building abstract system-level models that faithfully capture performance and functional behavior for embedded systems design is challenging. Unlike functional aspects, performance details are rarely available during the early design phases, and...

Designing Parameterizable Hardware IPs in a Model-Based Design Environment for High-Level Synthesis
Shahzad Ahmad Butt, Mehdi Roozmeh, Luciano Lavagno
Article No.: 32
DOI: 10.1145/2871737

Model-based hardware design allows one to map a single model to multiple hardware and/or software architectures, essentially eliminating one of the major limitations of manual coding in C or RTL. Model-based design for hardware implementation has...

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
Article No.: 33
DOI: 10.1145/2885752

In distributed development of modern systems, contracts play a vital role in ensuring interoperability of components and adherence to specifications. It is therefore often desirable to verify the satisfaction of an overall property represented as...

Section: Editorial

Guest Editorial: Challenges of Embedded Systems as They Evolve into M2M, Internet of Things
Seungmin Rho, Wenny Rahayu, Geyong Min
Article No.: 34
DOI: 10.1145/2886417

A System-Level Modeling and Design for Cyber-Physical-Social Systems
Jing Zeng, Laurence T. Yang, Jianhua Ma
Article No.: 35
DOI: 10.1145/2834119

The design of cyber-physical-social systems (CPSS) is a novel and challenging research field due that it emphasizes the deep fusion of cyberspace, physical space, and social space. In this article, we extend our previously proposed system-level...

Identifying Region-Wide Functions Using Urban Taxicab Trajectories
Daqiang Zhang, Jiafu Wan, Zongjian He, Shengjie Zhao, Ke Fan, Sang Oh Park, Zhibin Jiang
Article No.: 36
DOI: 10.1145/2821507

With the urban development and enlargement, various regions such as residential zones and administrative districts now appear as parts of cities. People exhibit different mobility patterns in each region, which is closely relevant to region-wide...

Cross-Layer Opportunistic Scheduling for Device-to-Device Video Multicast Services
Wen Ji, Bo-Wei Chen, Xiangdong Wang, Haiyong Luo, Mucheol Kim, Yiqiang Chen
Article No.: 37
DOI: 10.1145/2856034

In this article, we address the problem of how to make the wireless device-to-device (D2D) video multicast systems have better quality provision with consideration of internet-of-things (IoT) applications. We propose an opportunistic transmission...

A Socioecological Model for Advanced Service Discovery in Machine-to-Machine Communication Networks
Lu Liu, Nick Antonopoulos, Minghui Zheng, Yongzhao Zhan, Zhijun Ding
Article No.: 38
DOI: 10.1145/2811264

The new development of embedded systems has the potential to revolutionize our lives and will have a significant impact on future Internet of Thing (IoT) systems if required services can be automatically discovered and accessed at runtime in...

An Efficient Multidimensional Big Data Fusion Approach in Machine-to-Machine Communication
Awais Ahmad, Anand Paul, Mazhar Rathore, Hangbae Chang
Article No.: 39
DOI: 10.1145/2834118

Machine-to-Machine communication (M2M) is nowadays increasingly becoming a world-wide network of interconnected devices uniquely addressable, via standard communication protocols. The prevalence of M2M is bound to generate a massive volume of...

Unified Medium Access Control Architecture for Resource-Constrained Machine-to-Machine Devices
Eui-Jik Kim, Jung-Hyok Kwon, Ken Choi, Taeshik Shon
Article No.: 40
DOI: 10.1145/2876958

In capillary machine-to-machine (M2M) communications, which is being considered as a feasible network solution for M2M applications, because of physical resource constraints and deployment conditions, an energy-efficient and scalable medium access...