✦ LIBER ✦

Abstraction and Completeness for Real-Time Maude

✍ Scribed by Peter Csaba Ölveczky; José Meseguer

Book ID: 108126860
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 430 KB
Volume: 176
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.06.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics and pragmatics of Real-Time Ma

Semantics and pragmatics of Real-Time Maude

✍ Peter Csaba Ölveczky; José Meseguer 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 572 KB

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

Predicate Abstraction for Dense Real-Tim

Predicate Abstraction for Dense Real-Time Systems

✍ M.Oliver Möller; Harald Rueß; Maria Sorea 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 406 KB

A flexible real-time scheduling abstract

A flexible real-time scheduling abstraction: design and implementation

✍ Siu Ling Ann Lo; Norman C. Hutchinson; Samuel T. Chanson 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB 👁 2 views

An evolution is happening in the way that operating systems support the real-time requirements of their applications. The need to run real-time applications such as multimedia in the same environment as complex non-real-time servers and applications has motivated much interest in restructuring exist

Abstract: Real-time interactive MRI for

Abstract: Real-time interactive MRI for cardiac applications

✍ John Pauly 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 83 KB

Resource allocation for real-time and no

Resource allocation for real-time and non-real-time traffic in wireless networks

✍ Show-Shiow Tzeng 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 296 KB