UScholar Works | Institutional Repository | J. Willard Marriott Digital Library

1 - 25 of 47

Gallery view

	Title	Date	Type
1	A generic operational memory model specification framework for multithreaded program verification	2003	Text
2	Analyzing the Intel Itanium memory ordering rules using logic programming and SAT	2003	Text
3	Bridging the XML-relational divide with LegoDB: a demonstration	2003	Text
4	Constraint-based technique for haptic volume exploration	2003	Text
5	Distributed interactive ray tracing for large volume visualization	2003	Text
6	Dynamically managing the communication-parallelism trade-off in future clustered processors	2003	Text
7	Fast and accurate NN approach for multi-event annotation of time series	2003	Text
8	Gaussian transfer functions for multi-field volume visualization	2003	Text
9	Interactive deformation and visualization of level set surfaces using graphics hardware	2003	Text
10	Learning extraction patterns for subjective expressions	2003	Text
11	Learning subjective nouns using extraction pattern bootstrapping	2003	Text
12	Nemos: a framework for axiomatic and executable specifications of memory consistency models	2003	Text
13	Recognizing and organizing opinions expressed in the world press	2003	Text
14	Rigorous concurrency analysis of multithreaded programs	2003	Text
15	Self-timed design with dynamic domino circuits	2003	Text
16	Survey of the Itanium architecture from a programmer's perspective	2003	Text
17	Visually accurate multi-field weather visualization	2003	Text
18	Dynamically tunable memory hierarchy	2003-10	Text
19	Dynamically tuning processor resources with adaptive processing	2003-12	Text
20	Graphics applications for grid computing	2003-03	Text
21	Illustrative interactive stipple rendering	2003-04	Text
22	Model for volume lighting and modeling	2003-04	Text
23	A Gaussian probability accelerator for SPHINX 3	2003-07-22	Text
24	A path-precise analysis for property synthesis	2003-12-01	Text
25	A symbolic partial order reduction algorithm for rule based transition systems	2003-12-01	Text

1 - 25 of 47

Year

Type

Format

Collection