4586 search results - page 83 / 918 » Computing stable models in parallel |
114
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
117
click to vote
TSMC
1998
15 years 2 months ago
1998
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...
117
click to vote
PPOPP
1995
ACM
15 years 6 months ago
1995
ACM
It is widely acknowledged in high-performance computing circles that parallel input/output needs substantial improvement in order to make scalable computers truly usable. We prese...
137
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...
114
Voted
HPDC
2009
IEEE
15 years 10 months ago
2009
IEEE
