1003 search results - page 86 / 201 » How to Parallelize Sequential Processes |
TOMS
2008
13 years 8 months ago
2008
We present families of algorithms for operations related to the computation of the inverse of a Symmetric Positive Definite (SPD) matrix: Cholesky factorization, inversion of a tr...
ECOOPW
1997
Springer
14 years 1 months ago
1997
Springer
In this paper, we demonstrate how a precise semantics of object-oriented modeling techniques can be achieved, and what the possible bene ts are. We outline the main modeling techni...
SC
2003
ACM
14 years 2 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
WSCG
2003
13 years 10 months ago
2003
The use of Virtual Environments as a user interface can be important for certain types of applications, especially in the fields of education and entertainment. These synthetic wo...
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...