Nan Guan – författare

Visar alla böcker från författaren Nan Guan. 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
573 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
573 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
556 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.

Nan Guan – författare

Visar alla böcker från författaren Nan Guan. 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
573 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
573 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
556 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.

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

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