Institutional Repository | J. Willard Marriott Digital Library

151 - 175 of 190

Gallery view

	Title	Date	Type	Setname
151	Verifying volume rendering using discretization error analysis	2014-01-01	Text	ir_uspace
152	A shared memory algorithm and proof for the alternative construct in CSP	1987	Text	ir_uspace
153	Application specific asynchronous microengines for efficient high-level control	1997	Text	ir_uspace
154	Dynamically tunable memory hierarchy	2003-10	Text	ir_uspace
155	ISIM: The simulator for the impulse adaptable memory system	1999	Text	ir_uspace
156	On fast and accurate detection of unauthorized wireless access points using clock skews	2010-03	Text	ir_uspace
157	Program analyses for resilient and approximate computation	2016	Text	ir_etd
158	Application specific asynchronous microgengines for efficient high-level control	1997	Text	ir_uspace
159	Beyond depth-first strategies: improving tabled logic programs through alternative scheduling	1998	Text	ir_uspace
160	Control of spatial and temporal fidelity with adaptive sampling	2011-05	Text	ir_etd
161	Detecting and mitigating malware in virtual appliances	2014-12	Text	ir_etd
162	Enhancing scalability and reliability in mobile core networks	2018	Text	ir_etd
163	An experimental system for computer aided geometric design	1984	Text	ir_uspace
164	Autonomous observation	1992	Text	ir_uspace
165	Design and implementation of a mobile wireless sensor network testbed	2010-04-15	Text	ir_etd
166	Display of complex three dimensional finite element models	1978	Text	ir_uspace
167	Distributed friend-to-friend framework and services using social networks	2012-12	Text	ir_etd
168	Formal verification of device drivers in embedded systems	2013-12	Text	ir_etd
169	Heterogeneous cpu-gpu software framework for dag's in high performance computing	2015-08	Text	ir_etd
170	Improving operating system and hardware interactions through co-design	2014-12	Text	ir_etd
171	Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions	2002	Text	ir_uspace
172	Managing data locality in future memory hierarchies using a hardware software codesign approach	2014-12	Text	ir_etd
173	Parallel-streaming algorithms for solving partial differential equations on unstructured meshes	2013-12	Text	ir_etd
174	Performance and cost effectiveness of centralized infiltration basins and decentralized low impact development practices ina semi-arid urban watershed	2014-08	Text	ir_etd
175	Sequencing computational events in heterogeneous distributed systems	1990	Text	ir_uspace

151 - 175 of 190

Year

Type

Format

Collection