Coverart for item
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)

Label
Multiprocessor scheduling for real-time systems
Title
Multiprocessor scheduling for real-time systems
Statement of responsibility
Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Creator
Contributor
Author
Subject
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
Member of
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)
Instantiates
Publication
Copyright
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)
Publication
Copyright
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 Locations

Processing Feedback ...