Informatik (15 757 Artikel)

How to Fully Exploit MIC Architectures

How to Fully Exploit MIC Architectures

Selected Results of the COST Action IC1406 cHiPSet

This book constitutes the thoroughly refereed post-conference proceedings of the First JARA High-Performance Computing Symposium, JARA-HPC 2016, held in Aachen, Germany, in October 2016.The 21 full...

High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make i...

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the C...

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, ...

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers ...

In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article publishe...

This book constitutes the proceedings of the workshops co-located with the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, I...

This book constitutes the proceedings of the workshops co-located with the 19th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2021, held in Salamanca, ...

International Workshops of PAAMS 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings

International Workshops of PAAMS 2015, Salamanca, Spain, June 3-4, 2015. Proceedings

This book constitutes the refereed proceedings of the workshops which complemented the 12th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2014, held in...

International Workshops of PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings