Service Availability
Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...
Continue reading
Service Availability (vol. # 3694)
This book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ...
Continue reading
Software Architectures, Components, and Applications
Researchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International ...
Continue reading
Software Engineering Research, Management and Applications
The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...
Continue reading
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Continue reading
Software Product-Family Engineering
This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, ...
Continue reading
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
Continue reading
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
Continue reading
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Continue reading
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
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, ...
Continue reading
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 ...
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 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 II
This two-books 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 II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue reading
Transaction-Level Modeling with SystemC
The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
Continue reading
Transactions on Computational Science I
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
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
