Institutional Repository | J. Willard Marriott Digital Library

26 - 50 of 1,006

Gallery view

	Title	Date	Type	Setname
26	A note on optimal algorithms for fixed points	2009	Text	ir_uspace
27	A note on the Oslo algorithm	1987	Text	ir_uspace
28	A painterly approach to human skin	1999	Text	ir_uspace
29	A parametric model for human faces	1975	Text	ir_uspace
30	A partial order reduction algorithm without the Proviso	1998	Text	ir_uspace
31	A partial scan methodology for testing self-timed circuits	1995	Text	ir_uspace
32	A partial scan methodology for testing self-timed circuits	1995	Text	ir_uspace
33	A path-precise analysis for property synthesis	2003-12-01	Text	ir_uspace
34	A personalized system for conversational recommendations	2002-06-26	Text	ir_uspace
35	A practical logic framework for verifying safety properties of executables	2011-01-01	Text	ir_uspace
36	A practical workflow for making anatomical atlases for biological research	2012-01-01	Text	ir_uspace
37	A programmer's guide to PDP-10 euler	1970	Text	ir_uspace
38	A real time visible surface algorithm	1970	Text	ir_uspace
39	A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes	2013-01-01	Text	ir_uspace
40	A scheduling strategy for shared memory multiprocessors	1990	Text	ir_uspace
41	A shared memory algorithm and proof for the alternative construct in CSP	1987	Text	ir_uspace
42	A standard magnetic tape format for digital image exchange	1981	Text	ir_uspace
43	A study of Pierce's group generator	2010	Text	ir_uspace
44	A subdivision algorithm for computer display of curved surfaces	1974	Text	ir_etd
45	A subdivision algorithm for computer display of curved surfaces (CSTD-74-006)	1974-12	Text	ir_uspace
46	A survey of dextrous manipulation	1986	Text	ir_uspace
47	A survey of high level frameworks in block-structured adaptive mesh refinement packages	2014-01-01	Text	ir_uspace
48	A survey of MPI related debuggers and tools	2007	Text	ir_uspace
49	A survey on sensor classifications for industrial applications	1995	Text	ir_uspace
50	A symbolic partial order reduction algorithm for rule based transition systems	2003-12-01	Text	ir_uspace

26 - 50 of 1,006

Year

Type

Format

Collection