Issue Downloads
Toward Smart Embedded Systems: A Self-aware System-on-Chip (SoC) Perspective
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
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
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 article,...
A Real-Time FPGA-Based Accelerator for ECG Analysis and Diagnosis Using Association-Rule Mining
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 from ...
Real-Time Reachability for Verified Simplex Design
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 smart,...
Near-Static Shading Exploration for Smart Photovoltaic Module Topologies Based on Snake-like Configurations
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
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 respective ...
On Memory Reuse Between Inputs and Outputs of Dataflow Actors
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
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 no ...
Designing Parameterizable Hardware IPs in a Model-Based Design Environment for High-Level Synthesis
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
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 a ...
A System-Level Modeling and Design for Cyber-Physical-Social Systems
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 design ...
Identifying Region-Wide Functions Using Urban Taxicab Trajectories
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
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 and ...
A Socioecological Model for Advanced Service Discovery in Machine-to-Machine Communication Networks
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 Machine-to-...
An Efficient Multidimensional Big Data Fusion Approach in Machine-to-Machine Communication
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
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 ...
