2364 search results - page 82 / 473 » An Engine for Computing Well-Founded Models |
232
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
137
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Pipelined wavefront computations are a ubiquitous class of parallel algorithm used for the solution of a num ber of scientific and engineering applications. This paper investig...
154
click to vote
PDPTA
2010
15 years 1 months ago
2010
Though the GPGPU concept is well-known in image processing, much more work remains to be done to fully exploit GPUs as an alternative computation engine. The difficulty is not refo...
149
click to vote
CARS
2003
15 years 5 months ago
2003
The goal of the data collection and analyses described in this paper was to investigate the effects of incorrect output from a CAD tool on the reliability of the decisions of its ...
126
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...