Nan Guan – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

5 produkter

Kategorier

5 produkter

Del 11951 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
AvNan Guan,Joost-Pieter Katoenm. fl.
Häftad, Engelska, 2019
562 kr
Skickas inom 10-15 vardagar
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.
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
AvJun Sun,Joost-Pieter Katoenm. fl.
E-bok
Engelska, 2019
734 kr
Läs direkt efter köp
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.
Techniques for Building Timing-Predictable Embedded Systems
AvNan Guan
Inbunden, Engelska, 2016
562 kr
Skickas inom 10-15 vardagar
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.
Techniques for Building Timing-Predictable Embedded Systems
AvNan Guan
E-bok
PDF, Engelska, 2016
710 kr
Läs direkt efter köp
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.
Techniques for Building Timing-Predictable Embedded Systems
AvNan Guan
Häftad, Engelska, 2018
546 kr
Skickas inom 10-15 vardagar
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.

Företag, bibliotek eller offentlig verksamhet?

Nan Guan – författare

Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Techniques for Building Timing-Predictable Embedded Systems

Techniques for Building Timing-Predictable Embedded Systems

Techniques for Building Timing-Predictable Embedded Systems

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration