217 search results - page 33 / 44 » An Application of Symbolic Computation in the Physical Scien... |
CGA
2007
13 years 6 months ago
2007
abstract painting and practice can benefit information visualization—even though the two fields have significantly different objectives. This comparison reflects the spirit of ...
HPDC
2006
IEEE
14 years 23 days ago
2006
IEEE
By federating resources from multiple domains, a shared infrastructure provides aggregated computation resources to a large number of users. With rapid advances in virtualization ...
VIS
2004
IEEE
14 years 8 months ago
2004
IEEE
Determining the three-dimensional structure of distant astronomical objects is a challenging task, given that terrestrial observations provide only one viewpoint. For this task, b...
ICS
2003
Tsinghua U.
13 years 12 months ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
CF
2005
ACM
13 years 8 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...