Searching for:
Found 16,234 results
sorted by:
Pages: 1 2 3 ...
Randal E. Bryant : Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. Computers (TC) 35(8):677-691 (1986)
Mahadev Satyanarayanan, James J. Kistler, Puneet Kumar, Maria E. Okasaki, Ellen H. Siegel, ... David C. Steere   : Coda: A Highly Available File System for a Distributed Workstation Environment. IEEE Trans. Computers (TC) 39(4):447-459 (1990)
Martin Lades, Jan C. Vorbrüggen, Joachim M. Buhmann, Jörg Lange, Christoph von der Malsburg, ... Rolf P. Würtz, Wolfgang Konen   : Distortion Invariant Object Recognition in the Dynamic Link Architecture. IEEE Trans. Computers (TC) 42(3):300-311 (1993)
Martín Abadi, Leslie Lamport : The Existence of Refinement Mappings. Theor. Comput. Sci. (TCS) 82(2):253-284 (1991)
Edward A. Lee, David G. Messerschmitt : Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing. IEEE Trans. Computers (TC) 36(1):24-35 (1987)
Jeffrey D. Ullman : Information integration using logical views. Theor. Comput. Sci. (TCS) 239(2):189-210 (2000)
(search: 0 sec. - facets: 0.0 sec.) (?)
Pages: 1 2 3 ...

Refine by VENUE:

show:

Refine by YEAR:

show:
[No canvas support]