1399 search results - page 245 / 280 » Verification of Test Suites |
GEOINFORMATICA
2006
13 years 11 months ago
2006
Metadata is needed to facilitate data sharing among geospatial information communities. Geographic Metadata Standards are available but tend to be general and complex in nature an...
CONCURRENCY
2007
13 years 11 months ago
2007
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. Despite its broad availability, there remains a need ...
JCC
2008
13 years 11 months ago
2008
: We propose the algorithm to evaluate the Coulomb potential in the ab initio density functional calculation on the graphics processor unit (GPU). The numerical accuracy required f...
JFP
2008
13 years 11 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
JEA
2006
13 years 11 months ago
2006
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...