@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/43698, title ="25 Years Ago: The First Asynchronous Microprocessor", author = "Martin, Alain J.", number = "2014.001", month = "January", year = "2014", url = "https://resolver.caltech.edu/CaltechAUTHORS:20140206-111915844", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/52152, title ="Quantifying Near-Threshold CMOS Circuit Robustness", author = "Keller, Sean and Bhargav, Siddharth S. and Moore, Chris and Martin, Alain J.", number = "2014.002", month = "January", year = "2014", doi = "https://doi.org/10.7907/Z9M043CG", url = "https://resolver.caltech.edu/CaltechAUTHORS:20141125-133400175", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27070, title ="An Architecture for Asynchronous FPGAs", author = "Wong, Catherine G. and Martin, Alain J. and Thomas, Peter", journal = "Proceedings of the IEEE International Conference on Field-Programmable Technology, 2003", month = "January", year = "2003", url = "https://resolver.caltech.edu/CaltechCSTR:2003.006a", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27068, title ="An Architecture for Asynchronous FPGAs", author = "Wong, Catherine G. and Martin, Alain J. and Thomas, Peter", month = "January", year = "2003", doi = "https://doi.org/10.7907/Z9X9288B", url = "https://resolver.caltech.edu/CaltechCSTR:2003.006", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26926, title ="Transistor Sizing of Energy-Delay-Efficient Circuits", author = "Pénzes, Paul I. and Nyströem, Mika and Martin, Alain J.", month = "January", year = "2002", doi = "https://doi.org/10.1145/589411.589439", url = "https://resolver.caltech.edu/CaltechCSTR:2002.003", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27033, title ="Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor", author = "Martin, Alain J. and Nyström, Mika and Penzes, Paul and Wong, Catherine", month = "June", year = "2001", doi = "https://doi.org/10.7907/Z99S1P11", url = "https://resolver.caltech.edu/CaltechCSTR:2001.012", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26917, title ="ET^2: A Metric For Time and Energy Efficiency of Computation", author = "Martin, Alain J. and Nyströem, Mika and Penzes, Paul", journal = "Power-Aware Computing", month = "January", year = "2001", doi = "https://doi.org/10.7907/Z9K935JZ", url = "https://resolver.caltech.edu/CaltechCSTR:2001.007", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26925, title ="Global and local properties of asynchronous circuits optimized for energy efficiency", author = "Pénzes, Paul I. and Martin, Alain J.", month = "January", year = "2001", doi = "https://doi.org/10.7907/Z9FJ2DSS", url = "https://resolver.caltech.edu/CaltechCSTR:2002.002", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26884, title ="Quasi-Delay-Insensitive Circuits are Turing-Complete", author = "Manohar, Rajit and Martin, Alain J.", month = "November", year = "1995", doi = "https://doi.org/10.7907/Z9H70CV1", url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-11", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26875, title ="Low-Energy Asynchronous Memory Design", author = "Tierno, Jose A. and Martin, Alain J.", month = "January", year = "1994", doi = "https://doi.org/10.7907/Z9X9289S", url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-21", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26778, title ="Submicron Systems Architecture: Semiannual Technical Report", author = "Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A.", month = "November", year = "1993", doi = "https://doi.org/10.7907/Z9NS0RX7", url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26860, title ="Submicron Systems Architecture", author = "Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A.", month = "April", year = "1993", doi = "https://doi.org/10.7907/Z9SJ1HNZ", url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26779, title ="An Asynchronous Microprocessor in Gallium Arsenide", author = "Tierno, Jose A. and Martin, Alain J. and Borkovic, Drazen and Lee, Tak Kwan", month = "January", year = "1993", doi = "https://doi.org/10.7907/Z9BC3WJ5", url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-38", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26766, title ="Tomorrow's Digital Hardware will be Asynchronous and Verified", author = "Martin, Alain J.", month = "January", year = "1993", doi = "https://doi.org/10.7907/Z9125QPR", url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26759, title ="Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992", author = "Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A.", number = "92-17", month = "July", year = "1992", doi = "https://doi.org/10.7907/Z9WS8RF5", url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26749, title ="Delay-Insensitive Multiply-Accumulate Unit", author = "Nielsen, Christian D. and Martin, Alain J.", month = "January", year = "1992", doi = "https://doi.org/10.7907/Z9MG7MPP", url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-03", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26740, title ="Asynchronous Datapaths and the Design of an Asynchronous Adder", author = "Martin, Alain J.", month = "January", year = "1991", url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-08", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26746, title ="Synthesis of Asynchronous VLSI Circuits", author = "Martin, Alain J.", month = "January", year = "1991", url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-93-28", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26725, title ="Asynchronous Circuits for Token-Ring Mutual Exclusion", author = "Martin, Alain J.", month = "January", year = "1990", url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-09", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26721, title ="Limitations to Delay-Insensitivity in Asynchronous Circuits", author = "Martin, Alain J.", month = "January", year = "1990", url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-02", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26733, title ="Performance Analysis and Optimization of Asynchronous Circuits", author = "Burns, Steven M. and Martin, Alain J.", month = "January", year = "1990", url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-18", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26732, title ="Testing Delay-Insensitive Circuits", author = "Martin, Alain J. and Hazewindus, Pieter J.", month = "January", year = "1990", url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26899, title ="Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits", author = "Martin, Alain J.", month = "January", year = "1989", url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26709, title ="The Design of an Asynchronous Microprocessor", author = "Martin, Alain J.", month = "January", year = "1989", url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-02", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26713, title ="The First Aysnchronous Microprocessor: The Test Results", author = "Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J.", month = "January", year = "1989", url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26719, title ="Distributed Sorting", author = "Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A.", month = "January", year = "1989", url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26699, title ="A Message-Passing Model for Highly Concurrent Computation", author = "Martin, Alain J.", month = "January", year = "1988", url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-13", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26700, title ="Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits", author = "Burns, Steven M. and Martin, Alain J.", month = "January", year = "1988", url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26687, title ="A Synthesis Method for Self-Timed VLSI Circuits", author = "Martin, Alain J.", month = "January", year = "1987", url = "https://resolver.caltech.edu/CaltechCSTR:1987.5256-tr-87", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26677, title ="Submicron Systems Architecture: Semiannual Technical Report", author = "Seitz, Charles L. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin", month = "January", year = "1987", url = "https://resolver.caltech.edu/CaltechCSTR:1987.5240-tr-87", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26686, title ="Synthesis of Self-Timed Circuits by Program Transformation", author = "Burns, Steven M. and Martin, Alain J.", month = "January", year = "1987", url = "https://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26661, title ="Compiling Communicating Processes into Delay-Insensitive VLSI Circuits", author = "Martin, Alain J.", month = "January", year = "1986", url = "https://resolver.caltech.edu/CaltechCSTR:1986.5210-tr-86", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26900, title ="On Seitz' Arbiter", author = "Martin, Alain J.", month = "January", year = "1986", url = "https://resolver.caltech.edu/CaltechCSTR:1986.5212-tr-86", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26911, title ="Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits", author = "Martin, Alain J.", month = "January", year = "1986", url = "https://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26672, title ="Submicron Systems Architecture: Semiannual Technical Report", author = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin", month = "January", year = "1986", url = "https://resolver.caltech.edu/CaltechCSTR:1986.5235-tr-86", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26662, title ="Submicron Systems Architecture: Semiannual Technical Report", author = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin", month = "January", year = "1986", url = "https://resolver.caltech.edu/CaltechCSTR:1986.5220-tr-86", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26912, title ="The Sync Model: A Parallel Execution Method for Logic Programming", author = "Li, Peggy Pey-yun and Martin, Alain J.", month = "January", year = "1986", url = "https://resolver.caltech.edu/CaltechCSTR:1986.5221-tr-86", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26666, title ="Submicron Systems Architecture: Semiannual Technical Report", author = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin and Van Tilborg, Henk", month = "March", year = "1985", url = "https://resolver.caltech.edu/CaltechCSTR:1985.5178-tr-85", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26952, title ="A Delay-insensitive Fair Arbiter", author = "Martin, Alain J.", month = "January", year = "1985", url = "https://resolver.caltech.edu/CaltechCSTR:1985.5193-tr-85", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26950, title ="A New Generalization of Dekker's Algorithm for Mutual Exclusion", author = "Martin, Alain J.", month = "January", year = "1985", url = "https://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26668, title ="Submicron Systems Architecture: Semiannual Technical Report", author = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin", month = "January", year = "1985", url = "https://resolver.caltech.edu/CaltechCSTR:1985.5202-tr-85", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26992, title ="Distributed Mutual Exclusion on a Ring of Processes", author = "Martin, Alain J.", month = "January", year = "1984", url = "https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26972, title ="Fair Mutual Exclusion with Unfair P and V Operations", author = "Martin, Alain J. and Burch, Jerry R.", month = "January", year = "1984", url = "https://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26971, title ="Networks of Machines for Distributed Recursive Computations", author = "Martin, Alain J. and Van de Snepscheut, Jan L. A.", month = "January", year = "1984", url = "https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26965, title ="The Probe: An Addition to Communication Primitives", author = "Martin, Alain J.", month = "January", year = "1984", url = "https://resolver.caltech.edu/CaltechCSTR:1984.5124-tr-84", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26989, title ="A General Proof Rule for Procedures in Predicate Transformer Semantics", author = "Martin, Alain J", month = "January", year = "1983", url = "https://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26999, title ="The Design of a Self-timed Circuit for Distributed Mutual Exclusion", author = "Martin, Alain J.", month = "January", year = "1983", url = "https://resolver.caltech.edu/CaltechCSTR:1983.5097-tr-83", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27085, title ="The torus: an exercise in constructing a processing surface", author = "Martin, Alain J.", month = "January", year = "1982", url = "https://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82", } @techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/30168, title ="A Distributed Implementation Method for Parallel Programming", author = "Martin, A. J.", number = "1980.5045", month = "January", year = "1980", doi = "https://doi.org/10.7907/Z9QZ27X4", url = "https://resolver.caltech.edu/CaltechAUTHORS:20120418-114041991", }