Clear Search

Books+ Search Results

Subject: "Computers"
Location: Is
Is Is Not
Manuscripts and Archives

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Limit your search

-
Current results range from 1832 to 2023

51.
Dynamic partitioning of parallel Lisp programs
Author
Mohr, Eric
Published
[New Haven, Connecticut] : Yale University, 1992.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
52.
The flexible use of abstract knowledge in planning
Author
Jones, Eric Kimball
Published
[New Haven, Connecticut] : Yale University, 1992.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
53.
Incremental computation via partial evaluation
Author
Sundaresh, Raman Srinivas
Published
[New Haven, Connecticut] : Yale University, 1992.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
54.
Loop transformations for massive parallelism
Author
Lu, Lee-Chung
Published
[New Haven, Connecticut] : Yale University, 1992.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
55.
Parameterized partial evaluation principle and practice
Author
Khoo, Siau Cheng
Published
[New Haven, Connecticut] : Yale University, 1992.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
56.
The rapid solution of the Laplace equation on regions with fractal boundaries
Author
Ma, Jin Hong
Published
[New Haven, Connecticut] : Yale University, 1992.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
57.
Robust incremental optical flow
Author
Black, Michael Julian
Published
[New Haven, Connecticut] : Yale University, 1992.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
58.
Sequence transmission problem
Author
Wang, Da-Wei
Published
[New Haven, Connecticut] : Yale University, 1992.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
59.
Theory and art of semantics-directed program execution monitoring
Author
Kishon, Amir Shai
Published
[New Haven, Connecticut] : Yale University, 1992.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
60.
Compiling crystal for distributed-memory machines
Author
Li, Jingke
Published
[New Haven, Connecticut] : Yale University, 1991.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
61.
Full utilization of communication resources
Author
Greenberg, David Saks
Published
[New Haven, Connecticut] : Yale University, 1991.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
62.
LogiCalc : an environment for interactive proof development
Author
Duchier, Denys
Published
[New Haven, Connecticut] : Yale University, 1991.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
63.
A formal model for divide-and-conquer and its parallel realization
Author
Mou, Zhijing George
Published
[New Haven, Connecticut] : Yale University, 1990.
Location
SML, Manuscripts and Archives (Non-Circulating)
Format
Books
64.
Numerical techniques for the solution of the time-dependent Schroedinger equation and their parallel implementation
Author
Saied, Faisal
Published
[New Haven, Connecticut] : Yale University, 1990.
Location
SML, Manuscripts and Archives (Non-Circulating)
Format
Books
65.
Optimal communication primitives and graph embeddings on hypercubes
Author
Ho, Ching-Tien
Published
[New Haven, Connecticut] : Yale University, 1990.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
66.
The process trellis software architecture for parallel, real-time monitors
Author
Factor, Michael E.
Published
[New Haven, Connecticut] : Yale University, 1990.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
67.
Adaptive execution in complex dynamic worlds
Author
Firby, Robert James
Published
[New Haven, Connecticut] : Yale University, 1989.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
68.
Algorithms for systolic array synthesis
Author
Wong, Yiwan
Published
[New Haven, Connecticut] : Yale University, 1989.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
69.
Compilation by program transformation
Author
Kelsey, Richard Andrews
Published
[New Haven, Connecticut] : Yale University, 1989.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
70.
Fluent parallel computation
Author
Ranade, Abhiram
Published
[New Haven, Connecticut] : Yale University, 1989.
Location
SML, Manuscripts and Archives (Non-Circulating)
Format
Books
71.
Path analysis and the optimization of nonstrict functional languages
Author
Bloss, Adrienne Gael
Published
[New Haven, Connecticut] : Yale University, 1989.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
72.
Question-driven understanding : an integrated theory of story understanding, memory and learning
Author
Ram, Ashwin
Published
[New Haven, Connecticut] : Yale University, 1989.
Location
SML, Manuscripts and Archives (Non-Circulating)
Format
Books
73.
Shared tuple memories, shared memories, buses and LAN's--Linda implementations across the spectrum of connectivity
Author
Leichter, Jerrold Sol
Published
[New Haven, Connecticut] : Yale University, 1989.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
74.
The theory and practice of semantic program analysis for higher-order functional programming languages
Author
Young, Jonathan Hood
Published
[New Haven, Connecticut] : Yale University, 1989.
Location
SML, Manuscripts and Archives (Non-Circulating)
Format
Books
75.
Multiprocessor execution of functional programs
Author
Goldberg, Benjamin F.
Published
[New Haven, Connecticut] : Yale University, 1988.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books