1710 search results - page 294 / 342 » Parallelism in Structured Newton Computations |
121
click to vote
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
127
click to vote
ICS
2003
Tsinghua U.
15 years 10 months ago
2003
Tsinghua U.
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...
173
click to vote
ICDCSW
2002
IEEE
15 years 10 months ago
2002
IEEE
A key issue when designing and implementing largescale publish/subscribe systems is how to efficiently propagate subscriptions among the brokers of the system. Brokers require thi...
135
click to vote
EUROPAR
2001
Springer
15 years 9 months ago
2001
Springer
High-accuracy PDE solvers use multi-dimensional fast Fourier transforms. The FFTs exhibits a static and structured memory access pattern which results in a large amount of communic...
135
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
Parallel programmers typically assume that all resources required for a program’s execution are dedicated to that purpose. However, in local and wide area networks, contention f...