Søkt på: Søkeresultat
totalt 7 treff
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 …
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 …
Security in Pervasive Computing
The ongoing compression of computing facilities into small and mobile devices like handhelds, portables or even wearable computers will enhance ubiquitous information processing. …
Modular Compiler Verification
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most …
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, …
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 …