7986 search results - page 161 / 1598 » Computational Science and its Applications |
180
click to vote
TPHOL
1997
IEEE
15 years 9 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
144
click to vote
IPPS
2009
IEEE
16 years 3 days ago
2009
IEEE
We present predictive performance models of two of the petascale applications, S3D and GTC, from the DOE Office of Science workload. We outline the development of these models and...
133
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
We evaluated the diagnostic accuracy of a virtual microscopy setup using surgical pathology specimens commonly encountered in a university hospital setting. The high quality image...
149
click to vote
SIGCSE
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...
185
click to vote
ACSC
2010
IEEE
15 years 15 days ago
2010
IEEE
One of the major challenges facing a present day game development company is the removal of bugs from such complex virtual environments. This work presents an approach for measuri...