4586 search results - page 83 / 918 » Computing stable models in parallel |
110
click to vote
ISSTA
2006
ACM
15 years 8 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...
110
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-...
111
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...
131
click to vote
IPPS
2010
IEEE
15 years 12 days 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 ...
