THESES
Artificial Intelligence
FU, M. Using a task-based model for design for flexible control in an expert critiquing system. M.S. thesis, C. C. Hayes, adviser (1995).
GENC, Y. An experimental evaluation of relative reconstruction algorithms. M.S. thesis, J. Ponce, adviser (1995).
GRATCH, J. On efficient approaches to the utility problem in adaptive problem solving. Ph.D. thesis, G. F. DeJong, adviser (1995).
HORN, J. Genetic algorithms, problem difficulty, and the modality of fitness landscapes. M.S. thesis, D. Goldberg, adviser (1995).
KADIE, C. Seer: maximum likelihood regression for learning-speed curves. Ph.D. thesis, D. Wilkins, adviser (1995).
MA, Y. Inductive classifier learning from data: an extended Bayesian belief function approach. Ph.D. thesis, D. Wilkins, adviser (1995).
MAHFOUD, S. Niching methods for genetic algorithms. Ph.D. thesis, D. Goldberg, adviser (1995).
NAYSHTUT, V. Specification design checker: automating heater development processes. M.S. thesis, C. C. Hayes, adviser (1995).
RABIDEAU, G. Machine learning of continuous task functions: an approach to intelligent control. M.S. thesis, G. F. DeJong, adviser (1995).
RALLEY, D. Music composition as an optimization task: evolving melodies using a genetic algorithm. M.S. thesis, S. Tipei and C. C. Hayes, advisers (1995).
SUN, H. A constraint analysis approach to generating redesign suggestions for process planning. M.S. thesis, C. C. Hayes, adviser (1995).
TINELLI, C. Extending the clp scheme to unions of constraint theories. M.S. thesis, M. T. Harandi, adviser (1995).
VILALTA, R. A general schema for lookahead feature construction in inductive learning. M.S. thesis, L. A. Rendell, adviser (1995).
WILCOX, J. Organizational learning within a learning classifier system. M.S. thesis, D. Goldberg, adviser (1995).
Computer-aided Design of Digital Systems
KIM, J. Automatic layout synthesis for high-performance full custom VLSI chips. Ph.D. thesis, S. Kang, adviser (1995).
MATHUR, A. Timing driven optimization problems in VLSI CAD. Ph.D. thesis, C. L. Liu, adviser (1995).
PAN, P. Logic and layout optimization for sequential circuits. Ph.D. thesis, C. L. Liu, adviser (1995).
TAI, C. T. Implementation considerations for list splitting, sequential, and compact fault dictionary compression techniques. M.S. thesis, W. Fuchs, adviser (1995).
Computer Architecture and Systems
BRINGMANN, R. Enhancing instruction level parallelism through compiler-controlled speculation. Ph.D. thesis, W. Hwu, adviser (1995).
CHEN, X. Software-controlled data fowarding in shared-memory multiprocessor systems. M.S. thesis, J. Torrellas, adviser (1995).
DAIGLE, R. Instruction address tracing for operating system/multiprogramming/multiprocessor workloads. M.S. thesis, J. Torrellas, adviser (1995).
GORNISH, E. Adaptive and integrated data cache prefetching for shared-memory multiprocessors. Ph.D. thesis, A. Veidenbaum, adviser (1995).
KIM, S. Interconnection networks and data prefetching for large-scale multiprocessors: design and performance. Ph.D. thesis, A. Veidenbaum, adviser (1995).
MUGNIRUN, K. Read miss penalty reduction via hints and home migration for flat coma multiprocessors. M.S. thesis, J. Torrellas, adviser (1995).
RAYNAUD, A. Towards scalable write-update cache coherence protocols. M.S. thesis, J. Torrellas, adviser (1995).
TAVERA, L. Three-dimensional sound for data presentation in a virtual reality environment. M.S. thesis, D. A. Reed, adviser (1995).
TURNER, S. Performance analysis of multiprocessor interconnection networks using a burst-traffic model. Ph.D. thesis, A. Veidenbaum, adviser (1995).
YAMADA, Y. Data relocation and prefetching for programs with large data sets. Ph.D. thesis, W. Hwu, adviser (1995).
Computer Graphics
LEHNER, V. Real-time simulation of soil interaction and stability for an earth-moving equipment prototyping system. M.S. thesis, C. Larson and J. Ponce, advisers (1995).
LIU, F. Cylinder projection of DNA. M.S. thesis, R. Johnson, adviser (1995).
MCNEILL, M. Visual simulation of fluids using blobby particles. M.S. thesis, D. Hearn, adviser (1995).
SHIMSHONI, I. Interpreting images on polyhedral objects in the presence of uncertainty. Ph.D. thesis, J. Ponce, adviser (1995).
WHEELER, K. A knowledge-based visualization tool. M.S. thesis, M. Baker, adviser (1995).
Databases and Information Systems
ADAMS, P. Managing the decision to implement client/server systems. M.S. thesis, G. Belford, adviser (1995).
CHEN, Y. Environmental text retrieval system. M.S. thesis, G. Belford, adviser (1995).
CHU, S. Database support for electronic CAD application: performance and architecture. Ph.D. thesis, M. Winslett, adviser (1995).
GARVERT, A. Inside knowledge based systems: knowledge representation. M.S. thesis, G. Belford, adviser (1995).
HRNICEK, R. Distributed databases in real-time systems. M.S. thesis, G. Belford, adviser (1995).
JU, Z. Improving Smalltalk archive interface by WWW tools. M.S. thesis, R. Johnson, adviser (1995).
MATTOX, D. Indeed: an active database for concurrent engineering. Ph.D. thesis, S. Lu, adviser (1995).
PURI, K. Efficient disaster recovery approaches. M.S. thesis, S. Mehrotra, adviser (1995).
SCANTLAND, D. An x-based user interface for the dtroll distributed database system. M.S. thesis, G. Belford, adviser (1995).
THIEL, P. A wheelchair athlete database and ranking system. M.S. thesis, S. Kaplan, adviser (1995).
Distributed Systems
HADI, F. X. Checkpointing in distributed virtual memory by using local virtual memory. Ph.D. thesis, R. H. Campbell, adviser (1995).
LEHNER, R. Information retrieval on the Internet: an agent approach. M.S. thesis, G. Belford, adviser (1995).
MONNIN, M. Simswitch design and implementation of an ATM switch simulator. M.S. thesis, R. H. Campbell, adviser (1995).
MOWBRAY, D. A multicast architecture for distributed virtual environments. M.S. thesis, S. Kaplan, adviser (1995).
MUSSER, M. Achieving portability across heterogeneous distributed systems. M.S. thesis, G. Belford, adviser (1995).
PUTZOLU, D. Software architecture of the hippi to XUNET ATM adapter. M.S. thesis, R. H. Campbell, adviser (1995).
SURI, G. Logging, checkpointing and rollback for localized recovery in message passing and distributed shared memory systems. M.S. thesis, W. Fuchs, adviser (1995).
WHETTEN, B. The message buss II and the reliable multicast protocol. M.S. thesis, S. Kaplan, adviser (1995).
Numerical and Scientific Computing
BORDNER, J. On the parallel implementation of block row projection methods. M.S. thesis, K. Gallivan, adviser (1995).
FIGUEIREDO, P. Exploitation of parallelism in seismic migration. M.S. thesis, M. Heath, adviser (1995).
HUANG, C.-Y. Finite element methods of elliptic partial differential equations with PLTMG. M.S. thesis, F. Saied, adviser (1995).
NELSON, M. Namd a parallel, object-oriented molecular dynamics program. M.S. thesis, R. Skeel, adviser (1995).
SAHRAWAT, D. Experiments with a class of preconditioned Krylov subspace methods. M S. thesis, P. Saylor, adviser (1995).
SAYLOR, G. Efficient solutions to transient, saturated groundwater flow equation using the conjugate gradient and multgrid methods. M. S. thesis, F. Saied, adviser (1995).
TORNG, M.-H. Matrix methods to enforce constraints in time evolution problem. M.S. thesis, P. Saylor, adviser (1995).
YANG, U. A family of preconditioned iterative solvers for sparse linear systems. Ph.D. thesis, K. Gallivan, adviser (1995).
Operating Systems
LIAO, W. Operating system support for embedding network subsystems. M.S. thesis, R. H. Campbell, adviser (1995).
ROUSH, E. The freeze free algorithm for process migration. Ph.D. thesis, R. H. Campbell, adviser (1995).
SINGH, R. Dynamic loading in an object oriented system. M.S. thesis, R. Johnson, adviser (1995).
Parallel Computing
ALLEN, T. Supporting data parallelism in a message driven programming environment. M.S. thesis, L. V. Kale, adviser (1995).
BLUME, W. Symbolic analysis techniques for effective automatic parallelization. Ph.D. thesis, R. Eigenmann, adviser (1995).
CHEN, L.-L. Efficient computation of fixpoints that arise in abstract interpretation. Ph.D. thesis, W. Harrison, adviser (1995).
DOLBY, J. Parasight: a debugger for concurrent object-oriented programs. M.S. thesis, A. A. Chien, adviser (1995).
GROUT, J. Inline expansion for the Polaris research compiler. M.S. thesis, D. Padua, adviser (1995).
HUBER, J. PPFS: an experimental file system for high performance parallel input/output. M.S. thesis, D. A. Reed, adviser (1995).
JAGATHESAN, N. Implementing language layers on converse. M.S. thesis, L. V. Kale, adviser (1995).
MAK, K. H. The power of parallel time. Ph.D. thesis, M. Loui, adviser (1995).
PAKIN, S. The impact of message traffic of multicomputer memory hierarchy performance. M.S. thesis, A. A. Chien, adviser (1995).
POTTENGER, W. Induction variable substitution and reduction recognition in the Polaris parallelizing compiler. M.S. thesis, R. Eigenmann, adviser (1995).
RAUCHWERGER, L. Run-time parallelization: a framework for parallel computation. Ph.D. thesis, D. Padua, adviser (1995).
SCHOUTEN, D. Efficient scheduling of parallel tasks in a
multiprogramming environment. Ph.D. thesis, C. Polychronopoulos, adviser (1995).
SINHA, A. Performance analysis of object-based and message-driven programs. Ph.D. thesis, L. V. Kale, adviser (1995).
SOLT, D. Parallelizing a path integral Monte Carlo simulation code. M.S. thesis, R. H. Campbell, adviser (1995).
TRANCOSO, P. Performance optimization based on characterizing synchronization. M.S. thesis, J. Torrellas, adviser (1995).
TU, P. Automatic array privatization and demand-drive symbolic analysis. Ph.D. thesis, D. Padua, adviser (1995).
XIAO, L. An object-oriented extensible transaction management system. Ph.D. thesis, R. H. Campbell, adviser (1995).
ZEH, R. Pscheme: a parallel implementation of scheme. M.S. thesis, L. V. Kale, adviser (1995).
Programming Languages
FROLUND, S. Coordinating distributed objects. Ph.D. thesis, G. A. Agha, adviser (1995).
MORRISON, V. A systematic approach to syntactic sugar. M.S. thesis, D. Wilkins, adviser (1995).
Real-Time Systems
HA, R. Validating timing constraints in multiprocessor and distributed systems. Ph.D. thesis, J. W.-S. Liu, adviser (1995).
SHANKAR, M. Cyclic-executive in Perts. M.S. thesis, J. W.-S. Liu, adviser (1995).
TIA, T. Utilizing slack time for aperiodic and sporadic requests scheduling in real-time systems. Ph.D. thesis, J. W.-S. Liu, adviser (1995).
WANG, X. Imprecise update in real-time database systems. M.S. thesis, J. W.-S. Liu, adviser (1995).
Software Engineering
BOGIA, D. Supporting flexible, extensible task descriptions in and among tasks. Ph.D. thesis, S. Kaplan, adviser (1995).
BRANT, J. Hotdraw. M.S. thesis, R. Johnson, adviser (1995).
CRAWFORD, L. Tracing logging: a distributed client/server implementation. M.S. thesis, G. Belford, adviser (1995).
ELIASSI-RAD, T. Visual support for the isle simulation environment. M.S. thesis, M. T. Harandi, adviser (1995).
GORLINSKY, J. Evolving software development environments: removing file-level dependencies from C++ vi gui introduction. M.S. thesis, M. T. Harandi, adviser (1995).
MARTIN, R. A shared drawing surface manager. M.S. thesis, S. Kaplan, adviser (1995).
TERRY, B. Instrument builder: an object-oriented approach to computer music synthesis. M.S. thesis, L. Haken, adviser (1995).
WHITEHURST, R. Systemic software reuse through analogical reasoning. Ph.D. thesis, M. T. Harandi, adviser (1995).
Theoretical Computing
AMATO, N. Parallel algorithms for convex hulls and proximity problems. Ph.D. thesis, F. Preparata, adviser (1995).
HASKER, R. The replay of program derivations. Ph.D. thesis, U. S. Reddy, adviser (1995).
KUSZMAUL, C. Amortized analysis of binary heaps. M.S. thesis, E. M. Reingold, adviser (1995).
RAMOS, E. Topics in combinatorial and computational geometry. Ph.D. thesis, H. Edelsbrunner, adviser (1995).