Institutional Repository
 
Filters: Department:"Kahlert School of Computing"
176 - 200 of 1,006
Number of results to display per page
TitleDateTypeSetname
176Case studies in symbolic model checking1994Textir_uspace
177Case study in using linguistic phrases for text categorization on the WWW1998Textir_uspace
178Case study of isosurface extraction algorithm performance2000Textir_uspace
179Case study: an evaluation of user-assisted hierarchical watershed segmentation2004-02-27Textir_uspace
180CASL - A language for automating the implementation of computer architectures1979Textir_uspace
181Cause reduction for quick testing2014-01-01Textir_uspace
182CBCV: A CAD-based vision system1990Textir_uspace
183Cell matrix methodologies for integrated circuit design1989Textir_uspace
184CFSIM: A concurrent compiled-code functional simulator for hopCP1992Textir_uspace
185Characteristics of a functional programming language1980Textir_uspace
186Characterization and modeling of PIDX parallel I/O for performance optimization2013-01-01Textir_uspace
187Chop-sat in NON-Euclidean Geometry2024Textir_htoa
188CHOP: adaptive filter-based DRAM caching for CMP server platforms2010Textir_uspace
189Cita a matchmaking mobile app: an analysis of why developers choose certain frameworks2021Textir_htoa
190Classification and regression methods for functional brain network analysis2021Textir_etd
191Closed-form approximations to the volume rendering integral with Gaussian transfer functions2003-07-25Textir_uspace
192Cluster-based interactive volume rendering with Simian2003-09-03Textir_uspace
193Combinator evaluation of functional programs with logical variables1987Textir_uspace
194Combined surface and volumetric occlusion shading2012-01-01Textir_uspace
195Combining in-situ and in-transit processing to enable extreme-scale scientific analysis2012-01-01Textir_uspace
196Combining scheduling strategies in tabled evaluations1997Textir_uspace
197Combining symbolic and numeric computation on the CRAY1986Textir_uspace
198Commit algorithms for scalable hardware transactional memory2007Textir_uspace
199The communication semantics of the message passing interface2006-10-31Textir_uspace
200Comparing program logics for reasoning about safety properties2010-10-06Textir_uspace
176 - 200 of 1,006