Search
Now showing items 11-20 of 102
Effective Static Debugging via Compential Set-Based Analysis
(1997)
Sophisticated software systems are inherently complex. Understanding, debugging
and maintaining such systems requires inferring high-level characteristics of the
system's behavior from a myriad of low-level details. For ...
Lazy release consistency for distributed shared memory
(1995)
A software distributed shared memory (DSM) system allows shared memory parallel programs to execute on networks of workstations. This thesis presents a new class of protocols that has lower communication requirements than ...
A theory of photometric stereo for a general class of reflectance maps
(1990)
Photometric stereo is an image processing technique for 2$1\over 2$ dimensional surface reconstruction from local shading. The classical theory of photometric stereo has been developed only for surfaces that reflect in a ...
Garbage collection and other optimizations
(1988)
Existing techniques for garbage collection and machine code optimizations can interfere with each other. The inability to fully optimize code in a garbage-collected system is a hidden cost of garbage collection. One solution ...
Performance of synchronous parallel algorithms with regular structures
(1988)
The ability to model the execution and predict the performance of parallel algorithms is necessary if parallel computer systems are to be designed and utilized effectively. One factor which is inherent to the structure of ...
Universal domains for sequential computation
(1995)
Classical recursion theory asserts that all conventional programming languages are equally expressive because they can define all partial recursive functions over the natural numbers. However, most real programming languages ...
In search of optimal human-expert system explanations: Empirical studies of human-human and human-expert system interactions
(1993)
In this project explanations were studied along a continuum ranging from human-human interactions to human-expert system interactions with the goal of identifying features of successful expert system explanations. The ...
Practical techniques to augment dependence analysis in the presence of symbolic terms
(1997)
Dependence analysis is an indispensable tool in the automatic vectorization and parallelization of sequential programs, but performing symbolic dependence analysis can be costly and may fail to resolve many unknown terms. ...
A framework for managing models in nonlinear optimization of computationally expensive functions
(1999)
One of the most significant problems in the application of standard optimization methods to real-world engineering design problems is that the computation of the objective function often takes so much computer time (sometimes ...
A qualitative theory of gas dynamics
(1992)
Within the realm of research toward the emulation of human intelligence, the problem of how to perform qualitative reasoning with computer programs has received considerable attention. The research field of qualitative ...