Martin, Alain J.

Committee Member — 42 thesises

• Ngai, John Yee-Keung — A Framework for Adaptive Routing in Multicomputer Networks (1989, Dissertation (Ph.D.))
• Lee, Tak Kwan — A General Approach to Performance Analysis and Optimization of Asynchronous Circuits (1995, Dissertation (Ph.D.))
• Sivilotti, Paolo A. G. — A method for the specification, composition, and testing of distributed object systems (1998, Dissertation (Ph.D.))
• Li, Peyyun Peggy — A Parallel Execution Model for Logic Programming (1986, Dissertation (Ph.D.))
• Massingill, Berna Linda — A structured approach to parallel programming (1998, Dissertation (Ph.D.))
• Dally, William James — A VLSI Architecture for Concurrent Data Structures (1986, Dissertation (Ph.D.))
• Pratap, Amrit — Adaptive Learning Algorithms and Data Cloning (2008, Dissertation (Ph.D.))
• Mehta, Nikil — An Ultra-Low-Energy, Variation-Tolerant FPGA Architecture Using Component-Specific Mapping (2013, Dissertation (Ph.D.))
• Koosh, Vincent Frank — Analog Computation and Learning in VLSI (2001, Dissertation (Ph.D.))
• White, Jerome S. — Applying Formal Methods to Distributed Algorithms Using Local-Global Relations (2011, Dissertation (Ph.D.))
• Nyström, Mika — Asynchronous Pulse Logic (2001, Dissertation (Ph.D.))
• Basset, Christophe Jean-Michel — CMOS Imaging Technology with Embedded Early Image Processing (2007, Dissertation (Ph.D.))
• Lien, Sheue-Ling Chang — Combining Computation with Geometry (1985, Dissertation (Ph.D.))
• El-Hamamsy, Sayed-Amr — Coupled-Inductor Inversion, Rectification and Cycloconversion (1986, Dissertation (Ph.D.))
• Riedel, Marcus D. — Cyclic Combinational Circuits (2004, Dissertation (Ph.D.))
• Zimmerman, Daniel Marc — Dynamic UNITY (2002, Dissertation (Ph.D.))
• Pénzes, Paul Ivan — Energy-Delay Complexity of Asynchronous Circuits (2002, Dissertation (Ph.D.))
• Athas, William C., Jr. — Fine Grain Concurrent Computations (1987, Dissertation (Ph.D.))
• DeLorimier, Michael John — GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms (2013, Dissertation (Ph.D.))
• Wong, Catherine Grace — High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems (2004, Dissertation (Ph.D.))
• Choo, Young-il — Logic from Programming Language Semantics (1987, Dissertation (Ph.D.))
• Ko, Tsz-Mei — On the VLSI decompositions for complete graphs, DeBruijn graphs, hypercubes, hyperplanes, meshes, and shuffle-exchange graphs (1993, Dissertation (Ph.D.))
• Burns, Steven Morgan — Performance analysis and optimization of asynchronous circuits (1991, Dissertation (Ph.D.))
• Su, Wen-King — Reactive-Process Programming and Distributed Discrete-Event Simulation (1990, Dissertation (Ph.D.))
• Yu, Xin — Reflection and Its Application to Mechanized MetaReasoning About Programming Languages (2007, Dissertation (Ph.D.))
• Naeimi, Helia — Reliable Integration of Terascale Systems with Nanoscale Devices (2008, Dissertation (Ph.D.))
• Boahen, Kwabena Adu — Retinomorphic vision systems : reverse engineering the vertebrate retina (1997, Dissertation (Ph.D.))
• Papadantonakis, Karl Spyros — Rigorous Analog Verification of Asynchronous Circuits (2006, Dissertation (Ph.D.))
• Keller, Sean Jason — Robust Near-Threshold QDI Circuit Analysis and Design (2014, Dissertation (Ph.D.))
• Van der Goot, Marcel Rene — Semantics of VLSI synthesis (1995, Dissertation (Ph.D.))
• Jang, Wonjin — Soft-Error Tolerant Quasi Delay-insensitive Circuits (2008, Dissertation (Ph.D.))
• Chen, Marina Chien-mei — Space-time Algorithms: Semantics and Methodology (1983, Dissertation (Ph.D.))
• Kapre, Nachiket Ganesh — SPICE²: A Spatial, Parallel Architecture for Accelerating the Spice Circuit Simulator (2011, Dissertation (Ph.D.))
• Hofstee, H. Peter — Synchronizing processes (1995, Dissertation (Ph.D.))
• Hazewindus, Pieter Johannes — Testing delay-insensitive circuits (1992, Dissertation (Ph.D.))
• Lang, Charles Richard, Jr. — The Extension of Object-Oriented Languages to a Homogeneous, Concurrent Architecture (1982, Dissertation (Ph.D.))
• Manohar, Rajit — The impact of asynchrony on computer architecture (1999, Dissertation (Ph.D.))
• Prakash, Piyush — Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching (2008, Dissertation (Ph.D.))
• Leino, K. Rustan M. — Toward reliable modular programs (1995, Dissertation (Ph.D.))
• Mahowald, Michelle A. (Misha) — VLSI Analogs of Neuronal Visual Processing: A Synthesis of Form and Function (1992, Dissertation (Ph.D.))
• Schooler, Eve Meryl — Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication (2001, Dissertation (Ph.D.))
• Sivilotti, Massimo Antonio — Wiring Considerations in Analog VLSI Systems, with Application to Field-Programmable Networks (1991, Dissertation (Ph.D.))