20,690 research outputs found
Solving Hierarchical Constraints over Finite Domains with Local Search
National Science and Technology Board (Singapore
Parallel implementation of an optimal two level additive Schwarz preconditioner for the 3-D finite element solution of elliptic partial differential equations
This paper presents a description of the extension and parallel implementation of a new two level additive Schwarz (AS) preconditioner for the solution of 3-D elliptic partial differential equations (PDEs). This preconditioner, introduced in Bank et al. (SIAM J. Sci. Comput. 2002; 23: 1818), is based upon the use of a novel form of overlap between the subdomains which makes use of a hierarchy of meshes: with just a single layer of overlapping elements at each level of the hierarchy. The generalization considered here is based upon the restricted AS approach reported in (SIAM J. Sci. Comput. 1999; 21: 792) and the parallel implementation is an extension of work in two dimensions (Concurrency Comput. Practice Experience 2001; 13: 327)
High-level Counterexamples for Probabilistic Automata
Providing compact and understandable counterexamples for violated system
properties is an essential task in model checking. Existing works on
counterexamples for probabilistic systems so far computed either a large set of
system runs or a subset of the system's states, both of which are of limited
use in manual debugging. Many probabilistic systems are described in a guarded
command language like the one used by the popular model checker PRISM. In this
paper we describe how a smallest possible subset of the commands can be
identified which together make the system erroneous. We additionally show how
the selected commands can be further simplified to obtain a well-understandable
counterexample
- …