Electronic Books

Total Books: 161 - 180 /180

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 ...

Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...

Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

This book includes different issues related with: process and engineering of model transformations; model transformations ...

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 ...

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 ...

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 ...

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 II

This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Tools 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 ...

Transaction-Level Modeling with SystemC

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...

Transactions on Computational Science I

This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...

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 ...

Trends in Intelligent Systems and Computer Engineering

This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...

UML Modeling Languages and Applications

This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...

UbiComp 2005: Ubiquitous Computing

Constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Japan ...

UbiComp 2006: Ubiquitous Computing

This book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. ...

UbiComp 2007: Ubiquitous Computing

The Ubiquitous Computing conference series provides the premier forum in which to present original research results in all ...

Ubiquitous Computing Systems

UCS has become a symposium for the dissemination of state-of-the-art research and engineering practices in ubiquitous computing ...

Ubiquitous Computing Systems (vol. # 3598)

This book is a collection of papers presented at UCS 2004, held on November 8-9 in Tokyo. The submitted papers presented ...

Ubiquitous Convergence Technology

Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects ...

Wireless Transceiver Systems Design

This book illustrates true cross-disciplinary electronic system-level design with examples in algorithm-architecture co-design, ...

Total Books: 161 - 180 /180