1 - 25 of 29
Number of results to display per page
TitleDateType
1A fast iterative method for a class of Hamilton-Jacobi equations on parallel systems2007Text
2A survey of MPI related debuggers and tools2007Text
3Commit algorithms for scalable hardware transactional memory2007Text
4Computational sensor networks2007Text
5Effective information extraction with semantic affinity patterns and relevant regions2007Text
6Exploiting role-identifying nouns and expressions for information extraction2007Text
7Expressive rendering of mountainous terrain2007Text
8Linguistic support for unit testing2007Text
9Method of generated solutions as a numerical verification tool for ice code2007Text
10The method of generated solutions for numerical verification of ICE code2007Text
11Precision on demand: an improvement in probabilistic hashing2007Text
12Provenance in scientific workflow systems2007Text
13RobotShare: a framework for robot knowledge sharing2007Text
14Runtime model checking of multithreaded C/C++ programs2007Text
15Selected fixed point problems and algorithms2007Text
16Visual summary statistics2007Text
17Interactive isosurface ray tracing of time-varying tetrahedral volumes2007-11Text
18Interactive ray tracing of arbitrary implicits with SIMD interval arithmetic2007-09Text
19Leveraging 3D technology for improved reliability2007-12Text
20Optimizing NUCA organizations and wiring alternatives for large caches with CACTI 6.02007-12Text
21Organizing hidden-web databases by clustering visible web documents2007-04Text
22Power efficient approaches to redundant multithreading2007-08Text
23Provenance for visualizations: reproducibility and beyond2007-09Text
24Querying and creating visualizations by analogy2007-11Text
25Efficient memory safety for TinyOS2007-01-01Text
1 - 25 of 29