Service Availability
Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...
اقرأ المزيد
Service Availability (vol. # 3694)
This book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ...
اقرأ المزيد
Software Architectures, Components, and Applications
Researchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International ...
اقرأ المزيد
Software Engineering Research, Management and Applications
The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...
اقرأ المزيد
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
اقرأ المزيد
Software Product-Family Engineering
This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
