✦ LIBER ✦

Process algebraic modelling and analysis of power-aware real-time systems

✍ Scribed by Insup Lee; Philippou, A.; Sokolsky, O.

Book ID: 114441116
Publisher: The Institution of Electrical Engineers
Year: 2002
Tongue: English
Weight: 608 KB
Volume: 13
Category: Article
ISSN: 0956-3385
DOI: 10.1049/ccej:20020404

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Power Management and Tasks Scheduling An

Power Management and Tasks Scheduling Analysis in Power-Aware Real-Time Systems

✍ Jingyu Xing; Zhang Feng 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 256 KB

A Process Algebraic Approach to the Sche

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems

✍ Hanene Ben-Abdallah; Jin-Young Choi; Duncan Clarke; Young Si Kim; Insup Lee; Hon 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 745 KB

A process algebraic framework for specif

A process algebraic framework for specification and validation of real-time systems

✍ Adnan Sherif; Ana Cavalcanti; He Jifeng; Augusto Sampaio 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 492 KB

Power-aware scheduling with effective ta

Power-aware scheduling with effective task migration for real-time multicore embedded systems

✍ José Luis March; Julio Sahuquillo; Salvador Petit; Houcine Hassan; José Duato 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 891 KB

Real-Time Systems || Analysis and Verifi

Real-Time Systems || Analysis and Verification of Non-Real-Time Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views

Real-Time Systems Design and Analysis (L

Real-Time Systems Design and Analysis (Laplante/Real-Time Systems Design) || Programming Languages and the Software Production Process

✍ Laplante, Phillip A. 📂 Article 📅 2004 🏛 John Wiley & Sons, Inc. 🌐 English ⚖ 192 KB 👁 2 views

The leading guide to real-time systems design-revised and updated This third edition of Phillip Laplante's bestselling, practical guide to building real-time systems maintains its predecessors' unique holistic, systems-based approach devised to help engineers write problem-solving software. Dr. Lap