276 - 300 of 724
Number of results to display per page
TitleDateTypeSetname
276 Abstract interpretation and indeterminacy1984Textir_uspace
277 An interior ellipsoid algorithm for fixed points1998Textir_uspace
278 Application of the saber method for improved spectral analysis of noisy speech1977Textir_uspace
279 Automatic rapid prototyping of semi-custom VLSI circuits using FPGAs1994Textir_uspace
280 Cascade: hardware for high/variable precision arithmetic1989Textir_uspace
281 Compiling distributed C++1994Textir_uspace
282 CONSIM: a converstional simulation language implemented through interpretive control self-modeling1977Textir_uspace
283 Constraint objects - integrating constraint definition and interaction1992Textir_uspace
284 Cramer-Rao bounds for nonparametric surface reconstruction from range data2003-04-18Textir_uspace
285 Description of functionality of the impulse memory controller2001Textir_uspace
286 Direct deposit: a basic user-level protocol for carpet clusters?1995Textir_uspace
287 Explicit and persistent knowledge in engineering drawing analysis2003-10-10Textir_uspace
288 Implementing multi-sensor systems in a functional language1984Textir_uspace
289 The key node method: a highly-parallel alpha-beta algorithm1983Textir_uspace
290 Lead field basis for FEM source localization1999Textir_uspace
291 Modeling of call - by - need and stream primitives using CCS1982Textir_uspace
292 Robust boolean set operations for manifold solids bounded by planar and natural quadric surfaces1992Textir_uspace
293 Sketching as a solid modeling tool1994Textir_uspace
294 Statistical analysis for FEM EEG source localization in realistic head models2000Textir_uspace
295 Towards a formal model of shared memory consistency for intel itanium2001Textir_uspace
296 Using reliable multicast for caching and collaboration within the world wide web1999Textir_uspace
297 Internet content regulation: a comparison between the united states and germany2000Textir_htca
298 A partial scan methodology for testing self-timed circuits1995Textir_uspace
299 An abstract machine for parallel graph reduction1989Textir_uspace
300 An approach to determinacy proofs1978Textir_uspace
276 - 300 of 724