UScholar Works
 
Filters: Department: "Kahlert School of Computing" Type: "Text"
1 - 25 of 47
Number of results to display per page
TitleDateType
1 A generic operational memory model specification framework for multithreaded program verification2003Text
2 Analyzing the Intel Itanium memory ordering rules using logic programming and SAT2003Text
3 Bridging the XML-relational divide with LegoDB: a demonstration2003Text
4 Constraint-based technique for haptic volume exploration2003Text
5 Distributed interactive ray tracing for large volume visualization2003Text
6 Dynamically managing the communication-parallelism trade-off in future clustered processors2003Text
7 Fast and accurate NN approach for multi-event annotation of time series2003Text
8 Gaussian transfer functions for multi-field volume visualization2003Text
9 Interactive deformation and visualization of level set surfaces using graphics hardware2003Text
10 Learning extraction patterns for subjective expressions2003Text
11 Learning subjective nouns using extraction pattern bootstrapping2003Text
12 Nemos: a framework for axiomatic and executable specifications of memory consistency models2003Text
13 Recognizing and organizing opinions expressed in the world press2003Text
14 Rigorous concurrency analysis of multithreaded programs2003Text
15 Self-timed design with dynamic domino circuits2003Text
16 Survey of the Itanium architecture from a programmer's perspective2003Text
17 Visually accurate multi-field weather visualization2003Text
18 Dynamically tunable memory hierarchy2003-10Text
19 Dynamically tuning processor resources with adaptive processing2003-12Text
20 Graphics applications for grid computing2003-03Text
21 Illustrative interactive stipple rendering2003-04Text
22 Model for volume lighting and modeling2003-04Text
23 A Gaussian probability accelerator for SPHINX 32003-07-22Text
24 A path-precise analysis for property synthesis2003-12-01Text
25 A symbolic partial order reduction algorithm for rule based transition systems2003-12-01Text
1 - 25 of 47