Søkt på: markus müller
totalt 5 treff
Variations on Constants
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure …
Verification, Model Checking, and Abstract Interpretation
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, …
From Chemical to Biological Organization
Open nonlinear systems are capable of self-organization in space and time. This realization constitutes a major breakthrough of modern science, and is currently at the origin of …
High Performance Computing in Science and Engineering, Garching/Munich 2009
The Leibniz Supercomputing Centre (LRZ) and the Bavarian Competence Network for Technical and Scienti?c High Performance Computing (KONWIHR) publish in the present book results of …