The Resource Multiprocessor scheduling for real-time systems, Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, (electronic book)
Multiprocessor scheduling for real-time systems, Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, (electronic book)
Resource Information
The item Multiprocessor scheduling for real-time systems, Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, (electronic book) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.This item is available to borrow from 1 library branch.
Resource Information
The item Multiprocessor scheduling for real-time systems, Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, (electronic book) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.
This item is available to borrow from 1 library branch.
- Summary
- 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
- Language
- eng
- Extent
- 1 online resource
- Contents
-
- Introduction: background, scope, and context
- Preliminaries: workload and platform models
- Preliminaries: scheduling concepts and goals
- A review of selected results on uniprocessors
- Implicit-deadline (L&L) tasks
- Partitioned scheduling of L&L tasks
- Global dynamic-priority scheduling of L&L tasks
- Global Fixed-Job-Priority scheduling of L&L tasks
- Global Fixed-Task-Priority scheduling of L&L tasks
- Isbn
- 9783319086958
- Label
- Multiprocessor scheduling for real-time systems
- Title
- Multiprocessor scheduling for real-time systems
- Statement of responsibility
- Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
- Language
- eng
- Summary
- 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
- Cataloging source
- N$T
- http://library.link/vocab/creatorDate
- 1965-
- http://library.link/vocab/creatorName
- Baruah, Sanjoy K.
- Dewey number
- 004.33
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.54
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1960-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Bertogna, Marko
- Buttazzo, Giorgio C.
- Series statement
- Embedded systems
- http://library.link/vocab/subjectName
-
- Real-time data processing
- Multiprocessors
- Label
- Multiprocessor scheduling for real-time systems, Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, (electronic book)
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Introduction: background, scope, and context -- Preliminaries: workload and platform models -- Preliminaries: scheduling concepts and goals -- A review of selected results on uniprocessors -- Implicit-deadline (L&L) tasks -- Partitioned scheduling of L&L tasks -- Global dynamic-priority scheduling of L&L tasks -- Global Fixed-Job-Priority scheduling of L&L tasks -- Global Fixed-Task-Priority scheduling of L&L tasks
- Control code
- SPR899211494
- Dimensions
- unknown
- Extent
- 1 online resource
- File format
- unknown
- Form of item
- online
- Isbn
- 9783319086958
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-319-08696-5
- Other physical details
- color illustrations.
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Reproduction note
- Electronic resource.
- Sound
- unknown sound
- Specific material designation
- remote
- Label
- Multiprocessor scheduling for real-time systems, Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, (electronic book)
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Introduction: background, scope, and context -- Preliminaries: workload and platform models -- Preliminaries: scheduling concepts and goals -- A review of selected results on uniprocessors -- Implicit-deadline (L&L) tasks -- Partitioned scheduling of L&L tasks -- Global dynamic-priority scheduling of L&L tasks -- Global Fixed-Job-Priority scheduling of L&L tasks -- Global Fixed-Task-Priority scheduling of L&L tasks
- Control code
- SPR899211494
- Dimensions
- unknown
- Extent
- 1 online resource
- File format
- unknown
- Form of item
- online
- Isbn
- 9783319086958
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-319-08696-5
- Other physical details
- color illustrations.
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Reproduction note
- Electronic resource.
- Sound
- unknown sound
- Specific material designation
- remote
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Multiprocessor-scheduling-for-real-time-systems/sH06l45eYxY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Multiprocessor-scheduling-for-real-time-systems/sH06l45eYxY/">Multiprocessor scheduling for real-time systems, Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, (electronic book)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Multiprocessor scheduling for real-time systems, Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, (electronic book)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Multiprocessor-scheduling-for-real-time-systems/sH06l45eYxY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Multiprocessor-scheduling-for-real-time-systems/sH06l45eYxY/">Multiprocessor scheduling for real-time systems, Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo, (electronic book)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>
