System-Level Design Techniques for Energy-Efficient Embedded Systems
System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the development and validation of co-synthesis ...
Continue reading
System-level Test and Validation of Hardware
New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...
Continue reading
SystemC Kernel Extensions for Heterogeneous System Modeling
SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...
Continue reading
SystemVerilog for Design
SystemVerilog is a rich set of extensions to the Verilog Hardware Description Language (Verilog HDL). SystemVerilog for Design ...
Continue reading
SystemVerilog for Verification
Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...
Continue reading
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Continue reading
Taxonomies for the Development and Verification of Digital Systems
"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...
Continue reading
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Continue reading
The Everyday Life of an Algorithm
This book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance ...
Continue reading
The International Space Station : Building for the Future
A comprehensive, highly readable account of complex, technical, political and human endeavor and a worthy successor to Creating ...
Continue reading
The Internet of Things : First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings
This volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...
Continue reading
The Quintessential PIC® Microcontroller
The Quintessential PIC® Microcontroller deals with the central `intelligence’ of most smart embedded digital systems and ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue readingTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue reading
Transactions on Computational Science XXXVII
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
Continue reading
Transactions on High-Performance Embedded Architectures and Compilers I
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Continue reading
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Continue reading
