Multiprocessor Scheduling for Real-Time Systems

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Multiprocessor Scheduling for Real-Time Systems by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo ISBN: 9783319086965
Publisher: Springer International Publishing Publication: January 2, 2015
Imprint: Springer Language: English
Author: Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
ISBN: 9783319086965
Publisher: Springer International Publishing
Publication: January 2, 2015
Imprint: Springer
Language: English

This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems.  The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mapping application systems onto the most appropriate models.  New run-time multiprocessor scheduling algorithms are presented, which are demonstrably better than those currently used, both in terms of run-time efficiency and tractability of off-line analysis.  Readers will benefit from a new design and analysis framework for multiprocessor real-time systems, which will translate into a significantly enhanced ability to provide formally verified, safety-critical real-time systems at a significantly lower cost.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems.  The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mapping application systems onto the most appropriate models.  New run-time multiprocessor scheduling algorithms are presented, which are demonstrably better than those currently used, both in terms of run-time efficiency and tractability of off-line analysis.  Readers will benefit from a new design and analysis framework for multiprocessor real-time systems, which will translate into a significantly enhanced ability to provide formally verified, safety-critical real-time systems at a significantly lower cost.

More books from Springer International Publishing

Cover of the book Mississippi Delta Restoration by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Vehicle-to-Grid by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Advances in Artificial Intelligence by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Phenomenology of Space and Time by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Thermo-Magnetic Systems for Space Nuclear Reactors by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Robotics by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Afflictions by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Decision and Game Theory for Security by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Distributed Applications and Interoperable Systems by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Video Game Influences on Aggression, Cognition, and Attention by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book ASA S3/SC1.4 TR-2014 Sound Exposure Guidelines for Fishes and Sea Turtles: A Technical Report prepared by ANSI-Accredited Standards Committee S3/SC1 and registered with ANSI by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book The Mystery of Rationality by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book The Intangible Elements of Culture in Ethnoarchaeological Research by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book Economics of Database-Assisted Spectrum Sharing by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Cover of the book From Classical to Modern Algebraic Geometry by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy