This paper is about better engineering of cyber-physical systems (CPSs) through better
models. Deterministic models have historically proven extremely useful and arguably form …

System-level design (SLD) is considered by many as the next frontier in electronic design
automation (EDA). SLD means many things to different people since there is no wide …

This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

Hardware/software codesign investigates the concurrent design of hardware and software
components of complex electronic systems. It tries to exploit the synergy of hardware and …

For concurrent programming to become mainstream, we must discard threads as a
programming model. Nondeterminism should be judiciously and carefully introduced where …

Android ecosystem is heavily fragmented. The numerous combinations of different device
models and operating system versions make it impossible for Android app developers to …

Reconfigurable Computing marks a revolutionary and hot topic that bridges the gap
between the separate worlds of hardware and software design—the key feature of …

System-level design issues become critical as implementation technology evolves toward
increasingly complex integrated circuits and the time-to-market pressure continues …

The theory of latency-insensitive design is presented as the foundation of a new correct-by-
construction methodology to design complex systems by assembling intellectual property …

Featuring contributions from major technology vendors, industry consortia, and government
and private research establishments, the Industrial Communication Technology Handbook …