Filter
Datorer: maskinvara
Filter
This book constitutes the refereed proceedings of the 18th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2011, held in Santorini, …
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia …
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full …
This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, …
This book constitutes the refereed post-proceedings of the 9th European Performance Engineering Workshop, EPEW 2012, held in Munich, Germany, and the 28th UK Performance …
This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January …
2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. This was a special challenge and we …
This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting, held in September 2006. The book presents 38 revised full papers together with …
This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The …
This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis …