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