Toward a lingua franca for deterministic concurrent systems
Many programming languages and programming frameworks focus on parallel and
distributed computing. Several frameworks are based on actors, which provide a more …
distributed computing. Several frameworks are based on actors, which provide a more …
[图书][B] Reactors: A deterministic model of concurrent computation for reactive systems
HMF Lohstroh - 2020 - search.proquest.com
Actors have become widespread in programming languages and programming frameworks
focused on parallel and distributed computing. While actors provide a more disciplined …
focused on parallel and distributed computing. While actors provide a more disciplined …
Deterministic actors
M Lohstroh, EA Lee - 2019 Forum for Specification and Design …, 2019 - ieeexplore.ieee.org
Actors have become widespread in programming languages and programming frameworks
focused on parallel and distributed computing. While actors provide a more disciplined …
focused on parallel and distributed computing. While actors provide a more disciplined …
The sparse synchronous model on real hardware
J Hui, SA Edwards - ACM Transactions on Embedded Computing …, 2024 - dl.acm.org
We present the Sparse Synchronous model (SSM) of computation, which allows a
programmer to specify software timing more precisely than the traditional “heartbeat” of …
programmer to specify software timing more precisely than the traditional “heartbeat” of …
The sparse synchronous model
SA Edwards, J Hui - 2020 Forum for Specification and Design …, 2020 - ieeexplore.ieee.org
We present the Sparse Synchronous model (SSM) of computation, which allows a
programmer to specify software timing more precisely than the traditional “heartbeat” of …
programmer to specify software timing more precisely than the traditional “heartbeat” of …
Determinism
EA Lee - ACM Transactions on Embedded Computing Systems …, 2021 - dl.acm.org
This article is about deterministic models, what they are, why they are useful, and what their
limitations are. First, the article emphasizes that determinism is a property of models, not of …
limitations are. First, the article emphasizes that determinism is a property of models, not of …
[PDF][PDF] Attackdet: Combining web data parsing and real-time analysis with machine learning
Z Pala, M Şana - J. Adv. Technol. Eng. Res, 2020 - tafpublications.com
Since the advent of computers in the middle of the last century, our lives have become more
and more computerized, socialized and digitalized. Since computer systems are used in …
and more computerized, socialized and digitalized. Since computer systems are used in …
[图书][B] Time in SCCharts
A Schulz-Rosengarten, R Von Hanxleden, F Mallet… - 2020 - Springer
Synchronous languages, such as the recently proposed SCCharts language, have been
designed for the rigorous specification of real-time systems. Their sound semantics, which …
designed for the rigorous specification of real-time systems. Their sound semantics, which …
A Polytemporal Model for Musical Scheduling
M Fouilleul, J Bresson, JL Giavitto - International Symposium on Computer …, 2021 - Springer
This paper describes the temporal model of a scheduler geared towards show control and
live music applications. This model relies on multiple inter-related temporal axes, called …
live music applications. This model relies on multiple inter-related temporal axes, called …
[PDF][PDF] A Temporal Programming Environment for Live Shows and Art Installations
M Fouilleul - Theses, Sorbonne Université, 2023 - hal.science
Temporality is a critical aspect of live shows and art installations. Technical artifacts and
processes participate in a rich network of temporal interactions with the human performers …
processes participate in a rich network of temporal interactions with the human performers …