|
Showing 1 - 3 of
3 matches in All Departments
This book describes state-of-the-art techniques for designing
real-time computer systems. The author shows how to estimate
precisely the effect of cache architecture on the execution time of
a program, how to dispatch workload on multicore processors to
optimize resources, while meeting deadline constraints, and how to
use closed-form mathematical approaches to characterize highly
variable workloads and their interaction in a networked
environment. Readers will learn how to deal with unpredictable
timing behaviors of computer systems on different levels of system
granularity and abstraction.
This book describes state-of-the-art techniques for designing
real-time computer systems. The author shows how to estimate
precisely the effect of cache architecture on the execution time of
a program, how to dispatch workload on multicore processors to
optimize resources, while meeting deadline constraints, and how to
use closed-form mathematical approaches to characterize highly
variable workloads and their interaction in a networked
environment. Readers will learn how to deal with unpredictable
timing behaviors of computer systems on different levels of system
granularity and abstraction.
|
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings (Paperback, 1st ed. 2019)
Nan Guan, Joost-Pieter Katoen, Jun Sun
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 5th International
Symposium on Dependable Software Engineering: Theories, Tools, and
Applications, SETTA 2019, held in Shanghai, China, in November
2019. The 8 full papers presented were carefully reviewed and
selected from 26 submissions. They present cutting-edge
advancements in the field of formal methods and its
interoperability with software engineering and focus on the
application of formal techniques and tools for building reliable,
safe, secure, and smart systems with multi-dimensional
complexities.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|