3108 search results - page 161 / 622 » The Elements of Computer Credibility |
162
click to vote
ICPP
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, we study fault-tolerantmulticastingin multistage interconnection networks (MINs) for constructing large-scale multicomputers. In addition to point-to-point routing ...
142
click to vote
PVM
1999
Springer
15 years 9 months ago
1999
Springer
The problem of solving sparse Systems of Linear Algebraic Equations (SLAE) by parallel Monte Carlo numerical methods is considered. The almost optimal Monte Carlo algorithms are pr...
150
click to vote
VISUALIZATION
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper describes some fundamental issues for robust implementations of progressively refined tetrahedralizations generated through sequences of edge collapses. We address the ...
150
click to vote
IMR
1998
Springer
15 years 9 months ago
1998
Springer
High reynolds number ow simulations exhibit strong gradients normal to walls and across shear layers requiring much ner resolution of the solution in some directions compared to o...
155
Voted
BIRTHDAY
1997
Springer
15 years 9 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...