Memory Controllers for Real-Time Embedded Systems

Predictable and Composable Real-Time Systems

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Computer Hardware, Input-Output Equipment
Cover of the book Memory Controllers for Real-Time Embedded Systems by Benny Akesson, Kees Goossens, Springer New York
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Benny Akesson, Kees Goossens ISBN: 9781441982070
Publisher: Springer New York Publication: September 15, 2011
Imprint: Springer Language: English
Author: Benny Akesson, Kees Goossens
ISBN: 9781441982070
Publisher: Springer New York
Publication: September 15, 2011
Imprint: Springer
Language: English

Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composability and shows how to apply them to the design and analysis of a memory controller, which is a key component in any real-time system.

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

Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composability and shows how to apply them to the design and analysis of a memory controller, which is a key component in any real-time system.

More books from Springer New York

Cover of the book Pain in Women by Benny Akesson, Kees Goossens
Cover of the book Essentials of Vascular Surgery for the General Surgeon by Benny Akesson, Kees Goossens
Cover of the book Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing by Benny Akesson, Kees Goossens
Cover of the book Cellular Signaling in Health and Disease by Benny Akesson, Kees Goossens
Cover of the book Converting Data into Evidence by Benny Akesson, Kees Goossens
Cover of the book Uranium Processing and Properties by Benny Akesson, Kees Goossens
Cover of the book Commutative Algebra by Benny Akesson, Kees Goossens
Cover of the book User Guides, Manuals, and Technical Writing by Benny Akesson, Kees Goossens
Cover of the book Handbook of Child and Adolescent Anxiety Disorders by Benny Akesson, Kees Goossens
Cover of the book Computational Biomechanics for Medicine by Benny Akesson, Kees Goossens
Cover of the book The Psychology of Childhood Illness by Benny Akesson, Kees Goossens
Cover of the book Fertility Regulation and the Public Health by Benny Akesson, Kees Goossens
Cover of the book Principles and Practice of Stereotactic Radiosurgery by Benny Akesson, Kees Goossens
Cover of the book Backward Stochastic Differential Equations by Benny Akesson, Kees Goossens
Cover of the book The Macaque Connection by Benny Akesson, Kees Goossens
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