1 - 25 of 31
Number of results to display per page
TitleDateType
1 A directional occlusion shading model for interactive direct volume renderingText; Image
2 A code size microbenchmark for CText; Image
3 A boolean sum interpolation scheme to random data for computer aided geometric design1975Text
4 A description of several tools for the synchronization of concurrent processes1980Text
5 A characterization of parallel systems1980Text
6 A category theoretic formalism for abstract interpretation1984Text
7 2-D scene analysis using split-level relaxation1985Text
8 3-D model building for computer vision1985Text
9 A compositional model for synchronous VLSI systems1987Text
10 A control paradigm for general purpose manipulation systems1987Text
11 A distributed object-oriented graphical programming system1990Text
12 A cell set for self-timed design using actel FPGAs1991Text
13 A distributed garbage collection algorithm1992Text
14 A dynamic framework for intelligent inspection1992Text
15 A communication-ordered task graph allocation algorithm1992Text
16 A communication-ordered task graph allocation algorithm1992Text
17 A correctness criterion for asynchronous circuit validation and optimization1992Text
18 A correctness criterion for asynchronous circuit validation and optimization1992Text
19 A comparison of self-timed design using FPGA, CMOS, and GaAs technologies1992Text
20 A dossier driven persistent objects facility1994Text
21 A comparison of modular self-timed design styles1995Text
22 A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessors1996Text
23 A DRAM backend for the impulse memory system1998-12-16Text
24 A comparison of online superpage promotion mechanisms1999Text
25 A characterization of visual feature recognition2003-09-03Text
1 - 25 of 31