1224 search results - page 39 / 245 » Design and Implementation of a Practical Parallel Delaunay A... |
201
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
139
click to vote
SPAA
2003
ACM
15 years 11 months ago
2003
ACM
We develop an algorithm for parallel disk sorting, whose I/O cost approaches the lower bound and that guarantees almost perfect overlap between I/O and computation. Previous algor...
228
click to vote
EDOC
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—Enterprise architecture (EA) management provides an engineering approach for the continuous advancement of the enterprise as a whole. The high number of involved compone...
161
click to vote
SIGCSE
2006
ACM
15 years 12 months ago
2006
ACM
An undergraduate elective course in data mining provides a strong opportunity for students to learn research skills, practice data structures, and enhance their understanding of a...
160
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
The use of network coding has been shown to improve throughput in input-queued multicast switches, but not without costs of computational complexity and delays. In this paper, we i...