Search
Results
-
A unified measure of moral neutralization
(2012)Forschungsbericht aus der Reihe z-proso, Zürcher Projekt zur Sozialen Entwicklung von KindernReport -
Event-B patterns and their tool support
(2012)Abstract Event-B has given developers the opportunity to construct models of complex systems that are correct by construction. However, there is no systematic approach, especially in terms of reuse, which could help with the construction of these models. We introduce the notion of design patterns within the framework of Event-B to shorten this gap. Our approach preserves the correctness of the models, which is critical in formal methods ...Report -
-
QMC Galerkin discretization of parametric operator equations
(2012)SAM Research ReportWe extend recent results of QMC quadrature and Finite Element discretization for parametric, scalar second order elliptic partial differential equations to general QMC-Galerkin discretizations of parametric operator equations, which depend on possibly countably many parameters. Such problems typically arise in the numerical solution of differential and integral equations with random field inputs. The present setting covers general second ...Report -
Efficient Data-parallel Computing on Small Heterogeneous Clusters
(2012)Technical report / ETH Zurich, Department of Computer Science, Systems GroupCluster-based data-parallel frameworks such as MapReduce, Hadoop, and Dryad are increasingly popular for a large class of compute-intensive tasks. Such systems are designed for large-scale clusters, and employ several techniques to decrease the run time of jobs in the presence of failures, slow machines, and other effects. In this paper, we apply Dryad to smaller-scale, “ad-hoc” clusters such as those formed by aggregating the servers and ...Report -
Sparse tensor edge elements
(2012)SAM Research ReportWe consider the tensorized operator for the Maxwell cavity source problem in frequency domain. We establish a discrete inf-sup condition for its Ritz-Galerkin discretization on sparse tensor product edge element spaces built on nested sequences of meshes. Our main tool is a generalization of the edge element Fortin projector to a tensor product setting. The techniques extend to the surface boundary edge element discretization of tensorized ...Report -
Statically checking API protocol conformance with mined multi-object specifications
(2012)Technical reportReport -