THESES
Artificial Intelligence
BARBEHENN, M. Incremental geometric robot motion planning. Ph.D. thesis, S. Hutchinson, adviser (1996).
DONOHO, S. Knowledge-guided constructive induction. Ph.D. thesis, L. Rendell, adviser (1996).
GAINES, D. Volume-to-methods mapping for flexible CAD-CAPP integration. M.S. thesis, C. Hayes, adviser (1996).
GERVASIO, M. An incremental curative learning approach for planning with incorrect domain theories. Ph.D. thesis, G. DeJong, adviser (1996).
IOERGER, T. Change of representation in machine learning, and an application to protein structure predictions. PhD. thesis, L. Rendell, adviser (1996).
MILLER, J. Steamer: a load-flow simulator to aid in modification of existing steam networks. M.S. thesis, C. Hayes, adviser (1996).
Biological Computing
STRELOW, D. Surfaces from tomographic data. M.S. thesis, N. Ahuja, adviser (1996).
Computer-aided Design of Digital Systems
AGRAWAL, S. Data-flow assisted behavioral partitioning for embedded systems. M.S. thesis, R. Gupta, adviser (1996).
CHOI, L. Hardware and compiler support for cache coherence in large-scale shared-memory multiprocessors. Ph.D. thesis, P. Yew, adviser (1996).
HARTANTO, I. Diagnostic test set evaluation and enhancement. Ph.D. thesis, W. Fuchs, adviser (1996).
HASTEER, G. Parallel algorithms for state assignment of finite state machines. M.S. thesis, P. Banerjee, adviser (1996).
LAIN, A. Compiler and run-time support for irregular computations. Ph.D. thesis, P. Banerjee, adviser (1996).
LAURIA, M. High performance MP1 implementation on a network of workstations. M.S. thesis, A. Chien, adviser (1996).
LIAN, J. Timed decision tables: a model for embedded system representation and optimization. M.S. thesis, R. Gupta, adviser (1996).
MISHRA, A. A fault tolerant parallel multigrid algorithm. M.S. thesis, P. Banerjee, adviser (1996).
OLSON, E. Optimal state assignment of sequential circuits using a genetic local search with flexible cost functions. Ph.D. thesis, S. Kang, adviser (1996).
PANDA, R. Synthesis techniques for VLSI low-power circuits. Ph.D. thesis, F. Najim, adviser (1996).
PARK, C. Task scheduling in high-level synthesis. Ph.D. thesis, C. Liu, adviser (1996).
Computer-aided Instruction
TERRY, W. The development of Novanet course-ware for teaching database programming to business students. M.S. thesis, H. George Friedman, Jr., adviser (1996).
Computer Architecture and Systems
SHARMA, A. Augmint: a multiprocessor simulator. M.S. thesis, J. Torrellas, adviser (1996).
XIA, C. Exploiting multiprocessor memory hierarchies for operating systems. Ph.D. thesis, J. Torrellas, adviser (1996).
Communication Networks
LAMONT, B. A guide to networking a K-12 school district. M.S. thesis, R. Campbell, adviser (1996).
OSIFCHIN, M. Dynamics of MPEG traffic in ATM networks. M.S. thesis, R. Campbell, adviser (1996).
POINTER, D. A HIPPI to XUNET-ATM adapter. M.S. thesis, R. Campbell, adviser (1996).
TAN, M. A client/server based multiparty teleconferencing system and its lip synchronization mechanism. M.S. thesis, K. Nahrstedt, adviser (1996).
Computer Graphics
QIAN, J. Geometric modeling in CAVE. M.S. thesis, H. Edelsbrunner, adviser (1996).
Databases and Information Systems
CHANG, C. A new model for engineering transaction. Ph.D. thesis, G. Belford, adviser (1996).
CHAZIN, D. An architecture and transaction model for large federated databases. Ph.D. thesis, G. Belford, adviser (1996).
CHING, N. Clustering in object databases based on application behavior. M.S. thesis, M. Winslett, adviser (1996).
CHUNG, M. An object-oriented framework for hypertext systems. M.S. thesis, R. Johnson, adviser (1996).
GOVINDAN, V. Implementation of a portable parallel search engine. M.S. thesis, G. Belford, adviser (1996).
SIDDIQUI, S. World Wide Web front end for relational databases. M.S. thesis, M. Winslett, adviser (1996).
Distributed Systems
ASTLEY, M. Online event-based program visualization for distributed systems. M.S. thesis, G. Agha, adviser (1996).
DONG, X. Probecorder system. M.S. thesis, G. Belford, adviser (1996).
GREGO, A. Network security: current mechanisms and future trends. M.S. thesis, G. Belford, adviser (1996).
HU, K. MbussII a distributed, multibast-based, reliable messaging service. M.S. thesis, S. Kaplan, adviser (1996).
LIM, S. Adaptive caching in a distributed file system. Ph.D. thesis, R. Campbell, adviser (1996).
MENELLI, R. Experiences using digital library and simulation/visualization applications on high speed networks. M.S. thesis, R. Campbell, adviser (1996).
PUVVADA, V. Handle server a distributed naming server. M.S. thesis, R. Campbell, adviser (1996).
RANJITH, R. A model for an interactive data warehouse. M.S. thesis, G. Belford, adviser (1996).
STURMAN, D. Modular specification of interaction policies in distributed computing. Ph.D. thesis, G. Agha, adviser (1996).
TANDON, R. Design of an object request broker on top of OSFls distributed computing environment. M.S. thesis, G. Belford, adviser (1996).
ZHU, M. A World Wide Web based server for technology transfer and remote collaboration. M.S. thesis, T. Kerk
hoven, adviser (1996).
Numerical and Scientific Computing
BLOCK, R. Performance prediction of message-passing parallel programs. M.S. thesis, M. Heath, adviser (1996).
IZAGUIRRE, J. An empirical evaluation of graph partitioning algorithms. M.S. thesis, M. Heath, adviser (1996).
KARGUPTA, H. Search, polynomial complexity, and the fast messy genetic algorithm. Ph.D. thesis, D. Goldberg, adviser (1996).
NEEMAN, H. Autonomous hierarchical adaptive mesh refinement for multiscale simulations. Ph.D. thesis, M. Norman, adviser (1996).
SAMANT, A. Preconditioning of dense matrix problems in computational electromagnetics. M.S. thesis, P. Saylor, adviser (1996).
Operating Systems
CHANG, Y. Unix-based operating systems robustness evaluation. M.S. thesis, R. Iyer, adviser (1996).
KOHR, D. Design and optimization of coordination mechanisms for data-parallel tasks. M.S. thesis, D. Reed, adviser (1996).
Parallel Computing
KRISHNAN, S. Automating runtime optimizations for parallel object-oriented programming. Ph.D. thesis, L. Kale, adviser (1996).
LAWRENCE, T. Implementation of run time techniques in the Polaris FORTRAN restructurer. M.S. thesis, D. Padua, adviser (1996).
NICKOLAYEV, O. Performance data reduction using dynamic statistical clustering. M.S. thesis, D. Reed, adviser (1996).
ROTH, P. Etrusca: event trace reduction using statistical data clustering analysis. M.S. thesis, D. Reed, adviser (1996).
SEAMONS, K. Panda: fast access to persistent arrays using high-level interfaces and server directed input/output. Ph.D. thesis, M. Winslett, adviser (1996).
SUBRAMANIAM, M. High-performance implementation of server director I/O. M.S. thesis, M. Winslett, adviser (1996).
Programming Languages
DEROSE, L. Compiler techniques for MATLAB programs. Ph.D. thesis, D. Padua, adviser (1996).
MEETH, S. A threaded interpreter for the JAVA virtual machine. M.S. thesis, M. Mickunas, adviser (1996).
PLEVYAK, J. Optimization of object-oriented and concurrent programs. Ph.D. thesis, A. Chien, adviser (1996).
SPRINGER, J. Implementation of functional languages with state. Ph.D. thesis, S. Kamin, adviser (1996).
Real-Time Systems
FENG, W. Applications and extensions of the imprecise-computation model. Ph.D. thesis, J. Liu, adviser (1996).
LIU, C. L. Imprecise computations in real-time control systems. Ph.D. thesis, J. Liu, adviser (1996).
SCHUMANN, D. Magic, a PC based multiline analog call generator for installation calling. M.S. thesis, G. Belford, adviser (1996).
Software Engineering
BUESING, N. Translating spatial data models. M.S. thesis, R. Johnson, adviser (1996).
CLOVE, J. Modelling, organization, and manipulation of support knowledge for knowledge based programming systems. M.S. thesis, M. Harandi, adviser (1996).
DAVID, G. A testing tool for Smalltalk-80. M.S. thesis, R. Johnson, adviser (1996).
HERNDON, C. Scoreviews: an object-oriented graphical music representation and synthesis system. M.S. thesis, L. Haken, adviser (1996).
McMAHAN, R. The migration of application software to an x/open specification 1170 environment. M.S. thesis, R. Campbell, adviser (1996).
PHELPS, T. Persistent object storage in collaborative systems. M.S. thesis, S. Kaplan, adviser (1996).
PORKAEW, K. Extending the visualworks table framework for spreadsheets. M.S. thesis, R. Johnson, adviser (1996).
SEFIKA, M. Design conformance management of software systems: an architecture-oriented approach. Ph.D. thesis, R. Campbell, adviser (1996).
TOLONE, W. Introspect: a meta-level specification framework for dynamic, evolvable collaboration support. Ph.D. thesis, S. Kaplan, adviser (1996).
Theoretical Computing
AKKIRAJU, N. Molecule surface triangulation from alpha shapes. Ph.D. thesis, H. Edelsbrunner, adviser (1996).
FACELLO, M. Geometric techniques for molecular shape analysis. Ph.D. thesis, H. Edelsbrunner, adviser (1996).
GAUR, R. A convex optimization approach for moderately
large deflection problems in circular membranes and circular plates. Ph.D. thesis, P. Vaidya, adviser (1996).
HOOT, C. Termination of non-simple rewrite systems. Ph.D. thesis, N. Dershowitz, adviser (1996).
LAWING, T. Searching in the presence of faults. M.S. thesis, E. Reingold, adviser (1996).
MEHROTRA, S. Data prefetch mechanisms for accelerating symbolic and numeric computation. Ph.D. thesis, L. Harrison, adviser (1996).
MORAN, P. Visualization and modeling with shape. Ph.D. thesis, H. Edelsbrunner, adviser (1996).
SPRINGER, J. Implementation of functional languages with state. Ph.D. thesis, S. Kamin, adviser (1996).
TRACHTENBERG, A. Computational methods in coding theory. M.S. thesis, A. Vardy and C. L. Liu, advisers (1996).
WAUPOTITSCH, R. Simplifying and deforming through hierarchies of simplicial grids. Ph.D. thesis, H. Edelsbrunner, adviser (1996).