351 - 375 of 1,082
Number of results to display per page
TitleDateTypeSetname
351 Efficient depth estimation using trinocular stereo1988Textir_uspace
352 Efficient evaluation of normal order through strictness information1987-03Textir_computersa
353 Efficient instruction level simulation of computers1987Textir_uspace
354 Efficient memory safety for TinyOS2007-01-01Textir_uspace
355 The Efficient Modeling of Processor Behavior and Performance1985-12Textir_computersa
356 Efficient protocols for distributed classification and optimization2012-01-01Textir_uspace
357 Efficient rendering of atmospheric phenomena2004Textir_uspace
358 Efficient scrub mechanisms for error-prone emerging memories2012-01-01Textir_uspace
359 Efficient search for inputs causing high floating-point errors2014-01-01Textir_uspace
360 Efficient symbolic simulation based verification using the parametric form of boolean expressions (rev.)1991Textir_uspace
361 Efficient type and memory safety for tiny embedded systems2006-01-01Textir_uspace
362 EGOR: design, development, implementation an entry in the 1994 AAAI robot competition1994Textir_uspace
363 ELA: A program to analyze logs of execution events1991-03Textir_computersa
364 Elastic and Plastic Surfaces for Modeling and Animation1990Textir_computersa
365 Electronics, music and computers1971Textir_uspace
366 Eliminating stack overflow by abstract interpretation2005-01-01Textir_uspace
367 Eliminating the call stack to save RAM2009-01-01Textir_uspace
368 ElVis: A system for the accurate and interactive visualization of high-order finite element solutions2012-01-01Textir_uspace
369 Emerging trends proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 20042004-08Textir_uspace
370 Empirical approach to conceptual case frame acquisition1998Textir_uspace
371 Empirical study of automated dictionary construction for information extraction in three domains1996Textir_uspace
372 Enabling advanced visualization tools in a web-based simulation monitoring system2009-12Textir_uspace
373 End-to-end eScience: integrating workflow, query, visualization, and provenance at an ocean observatory2008-12Textir_uspace
374 Energy efficient radio tomographic imaging2014-01-01Textir_uspace
375 Energy-efficient processor design using multiple clock domains with dynamic voltage and frequency scaling2002Textir_uspace
351 - 375 of 1,082