351 - 375 of 724
Number of results to display per page
TitleDateTypeSetname
351 Towards a verification technique for large synchronous circuits1992Textir_uspace
352 TRACIS: transformations on Ada for circuit synthesis a report on the methodology for a silicon compiler1983Textir_uspace
353 Type-safe composition of object modules1994Textir_uspace
354 Visual summary statistics2007Textir_uspace
355 Free love, Linux and Leishmaniasis: developing a business model for communitarian innovation2012-05Textir_etd
356 Sequencing computational events in heterogeneous distributed systems1990Textir_uspace
357 A characterization of visual feature recognition2003-09-03Textir_uspace
358 A correctness criterion for asynchronous circuit validation and optimization1992Textir_uspace
359 Abstract semantics for functional constraint programming1989Textir_uspace
360 Analyzing the Intel Itanium memory ordering rules using logic programming and SAT2003Textir_uspace
361 The architecture of DDMl: a recursively structured data driven machine1977Textir_uspace
362 Asynchronous circuit verification using trace theory and CCS1992Textir_uspace
363 Cache-rings for memory efficient isosurface construction1997Textir_uspace
364 Cluster-based interactive volume rendering with Simian2003-09-03Textir_uspace
365 Does the quality of the computer graphics matter when judging distances in visually immersive environments?2002-12-05Textir_uspace
366 Efficient instruction level simulation of computers1987Textir_uspace
367 Hierarchical action refinement: a methodology for compiling asynchronous circuits from a concurrent HDL1991Textir_uspace
368 Honors Program of undergraduate research abstracts vol 8uu_urop
369 hopCP: language definition, semantics and examples1990Textir_uspace
370 Method of generated solutions as a numerical verification tool for ice code2007Textir_uspace
371 Performance of arc consistency algorithms on the CRAY1987Textir_uspace
372 Persistence is hard, then you die! or compiler and runtime support for a persistent common Lisp.1994Textir_uspace
373 Robustness in solid modeling - a tolerance based, intuitionistic approach1992Textir_uspace
374 Segmentation of complex outdoor scenes1985Textir_uspace
375 Set operations on sculptured solids1987Textir_uspace
351 - 375 of 724