✦ LIBER ✦

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

✍ Scribed by Reynisson, Arni Hermann; Sirjani, Marjan; Aceto, Luca; Cimini, Matteo; Jafari, Ali; Ingolfsdottir, Anna; Sigurdarson, Steinar Hugi

Book ID: 122107090
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 704 KB
Volume: 89
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.01.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Response Time Analysis of Asynchronous R

Response Time Analysis of Asynchronous Real-Time Systems

✍ Guillem Bernat 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 427 KB

Performance Simulation of Cluster-Based

Performance Simulation of Cluster-Based Asynchronous Soft Real-Time Systems

✍ Maria Toeroe 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 352 KB

Timing analysis of asynchronous systems

Timing analysis of asynchronous systems using time separation of events

✍ Chakraborty, S.; Yun, K.Y.; Dill, D.L. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 433 KB

Physics-based modeling and real-time sim

Physics-based modeling and real-time simulation

✍ J. Chen; Yonggao Yang; Xusheng Wang 📂 Article 📅 2001 🏛 American Institute of Physics 🌐 English ⚖ 191 KB

High-level programming of real-time syst

High-level programming of real-time systems with asynchronous communication

✍ NB Šerbedẑija 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 950 KB

Programming of process-control systems requires careful treatment of concurrency and real-time constraints. Most existing concepts, however, have synchronization mechanisms built into the communication primitives, degrading process independency and restricting the parallelism they are trying to prov

Real-Time Maude: A Tool for Simulating a

Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems

✍ Peter Csaba ölveczky; José Meseguer 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 197 KB