Informatik (15 757 Artikel)

15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings

This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full p...

The PaCT-2003 (Parallel Computing Technologies) conference was a four-day conference held in Nizhni Novgorod on September 15-19, 2003. This was the 7th international conference of the PaCT series, ...

Models and Languages.- Looking for a Definition of Dynamic Distributed Systems.- Adaptive Workflow Nets for Grid Computing.- A Stochastic Semantics for BioAmbients.- A Categorical Observation of Ti...

The PaCT-2009 (Parallel Computing Technologies) conference was a four-day eventheld in Novosibirsk. This was the tenth internationalconference to be held in the PaCT series. The conferences are hel...

11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011, Proceedings

This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. The conference was planned to ...

This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. The 25 full papers and ...

Theory.- A Hybrid Approach to Reaction-Diffusion Processes Simulation.- Formal Verification of Coherence for a Shared Memory Multiprocessor Model.- Static Analysis for Secrecy and Non-interference ...

This book constitutes the proceedings of the Third International Conference on Parallel Computing Technologies, PaCT '95, held in St. Petersburg, Russia in September 1995.The volume presents 45 rev...

This book constitutes the refereed proceedings of the Fourth International Conference on Parallel Computing Technologies, PaCT-97, held in Yaroslavl, Russia, in September 1997.The volume presents a...

Theory.- Analytical Modeling of Parallel Applications in Heterogeneous Computing Environments: A Study of Cholesky Factorization.- Skeletons and Transformations in an Integrated Parallel Programmin...

This book constitutes the proceedings of the 12th International Conference on Parallel Computing Technologies, PaCT 2013, held in St. Petersburg, Russia, during September 30-October 4, 2013. The 41...

17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings

This special volume contains the Proceedings of a Workshop on "Parallel Algorithms and Transputers for Optimization" which was held at the University of Siegen, on November 9, 1990. The purpose of ...