DagSemProc.08332.2.pdf
- Filesize: 77 kB
- 2 pages
Document
08332 Executive Summary – Distributed Verification and Grid Computing
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 8332
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2008-10-30
Cite As Get BibTex
Henri E. Bal, Lubos Brim, and Martin Leucker. 08332 Executive Summary – Distributed Verification and Grid Computing. In Distributed Verification and Grid Computing. Dagstuhl Seminar Proceedings, Volume 8332, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/DagSemProc.08332.2
Abstract
The Dagstuhl Seminar on Distributed Verification and Grid Computing took place from 10.08.2008 to 14.08.2008 and brought together two groups of researchers to discuss their recent work and recent trends related to parallel verification of large scale computer systems on large scale grids. In total, 29 experts from 12 countries attended the seminar.
Subject Classification
Keywords
- Grid computing
- verification
- parallel computing
- model checking
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads