parallels  (15 534 Angebote unter 20 936 715 Artikeln)

The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in September 2022. The conf...

This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering, EPEW 2023, and 27th International Conference on Analytical and Stochastic Modelling...

Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniq...

Topics and features: introduces the fundamental concepts in interconnection networks in multi-processor systems, including issues of blocking, scalability, and crossbar networks; presents a classif...

This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014. The 12 papers included in ...

The 13 papers (9 selected for long presentation and 4 for short presentation) collected in this book were carefully reviewed and selected from 24 submissions. The wide range of topics in this volum...

This book constitutes the refereed proceedings of the 35th International Conference on High Performance Computing, ISC High Performance 2020, held in Frankfurt/Main, Germany, in June 2020.*

Device-independent quantum cryptography is a method for exchanging secret messages over potentially insecure quantum communication channels, such as optical fibers. In contrast to conventional quan...

Second International Conference, HPCSE 2015, Solá?, Czech Republic, May 25-28, 2015, Revised Selected Papers

This book contains extended versions of the best papers presented at the 14th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applicati...

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in...

This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, in Paphos, Cyprus, in July 2008. The 11 collected reports ...

This book constitutes the refereed proceedings of the 13 International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this boo...

This book constitutes the refereed proceedings of the Second International Symposium on High-Performance Computing, ISHPC'99, held in Kyoto, Japan in May 1999. The 23 revised full papers presented ...

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings