Many properties of the IEEE-754 floating-point number system are taken for granted in
modern computers and are deeply embedded in compilers and low-level software routines …

Many programming languages and programming frameworks focus on parallel and
distributed computing. Several frameworks are based on actors, which provide a more …

Programmable logic controllers (PLCs) are an established platform, widely used throughout
industrial automation but poorly understood among researchers. This article gives an …

This paper describes a component-based concurrent model of computation for reactive
systems. The components in this model, featuring ports and hierarchy, are called reactors …

Actors have become widespread in programming languages and programming frameworks
focused on parallel and distributed computing. While actors provide a more disciplined …

With the end of Moore's law and the breakdown of Dennard scaling, multicore processors
are the standard way to continue improving performance while reducing Size, Weight and …

Actors have become widespread in programming languages and programming frameworks
focused on parallel and distributed computing. While actors provide a more disciplined …

Modeling in engineering and science Page 1 JANUARY 2019 | VOL. 62 | NO. 1 |
COMMUNICATIONS OF THE ACM 35 viewpoints IMA GE B Y OL G A HMELEV SKA YA rupts …

Formally verifiable, executable models allow the high-level design, implementation,
execution, and validation of reliable systems. But, unbounded complexity, semantic gaps …

In typical embedded applications, the precise execution time of the program does not matter
and it is sufficient to meet a real-time deadline. However, modern applications in information …