Keller, Sean; Martin, Alain J. et al. (2015) DD1: A QDI, Radiation-Hard-by-Design, Near-Threshold 18uW/MIPS Microcontroller in 40nm Bulk CMOS In: Asynchronous Circuits and Systems (ASYNC), 2015; In: 21st IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 4-6 May 2015, Mountain View, CA https://doi.org/10.1109/ASYNC.2015.15
Keller, Sean; Harris, David Money et al. (2014) A Compact Transregional Model for Digital CMOS Circuits Operating Near Threshold IEEE Transactions on Very Large Scale Integration (VLSI) Systems; Vol. 22; No. 10; https://doi.org/10.1109/TVLSI.2013.2282316
Martin, Alain J. (2014) 25 Years Ago: The First Asynchronous Microprocessor Series Computer Science Technical Reports, 2014.001. https://doi.org/10.7907/Z9QR4V3H
Keller, Sean; Bhargav, Siddharth S. et al. (2014) Quantifying Near-Threshold CMOS Circuit Robustness Series Computer Science Technical Reports, 2014.002. https://doi.org/10.7907/Z9M043CG
Martin, Alain J. (2009) Asynchronous logic for high variability nano-CMOS In: 16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009); In: 16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009), December 13-16, 2009, Yasmine Hammamet, Tunisia https://doi.org/10.1109/ICECS.2009.5410925
Keller, Sean; Katelmany, Michael et al. (2009) A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits In: 15th International Symposium on Advanced Research in Asynchronous Circuits and Systems : (ASYNC 2009) : proceedings : 17-19 May 2009 Chapel Hill, North Carolina, USA; In: 15th IEEE International Symposium on Asynchronous Circuits and Systems , May 17-20, 2009, Chapel Hill, NC https://doi.org/10.1109/ASYNC.2009.27
Martin, Alain J.; Prakash, Piyush (2008) Asynchronous Nano-Electronics: Preliminary Investigation In: 14th IEEE International Symposium on Asynchronous Circuits and Systems : ASYNC 2008; In: 14th IEEE International Symposium on Asynchronous Circuits and Systems, Apr. 07-10, 2008, Newcastle upon Tyne, England https://doi.org/10.1109/ASYNC.2008.22
Martin, Alain J.; Nyström, Mika (2006) Asynchronous techniques for system-on-chip design Proceedings of the IEEE; Vol. 94; No. 6; https://doi.org/10.1109/JPROC.2006.875789
Martin, Alain J. (2006) Can asynchronous techniques help the SoC designer? In: IFIP VLSI-SoC 2006: IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration & System-on-Chip; In: International Conference on Very Large Scale Integration and System-on-Chip , Oct. 16-18, 2006, Nice, France https://doi.org/10.1109/VLSISOC.2006.313284
Prakash, Piyush; Martin, Alain J. (2006) Slack Matching Quasi Delay-Insensitive Circuits In: 12th IEEE International Symposium on Asynchronous Circuits and Systems; Series Proceedings-International Symposium on Advanced Research in Asynchronous Circuits and Systems; In: 12th International Symposium on Asynchronous Circuits and Systems, March 13-15, 2006, Grenoble, France https://doi.org/10.1109/ASYNC.2006.27
Wong, Catherine G.; Martin, Alain J. (2003) High-level synthesis of asynchronous systems by data-driven decomposition In: DAC '03 Proceedings of the 40th annual Design Automation Conference; In: DAC'03 2003 40th Annual Design Automation Conference, June 2-6, 2003, Anaheim, CA https://doi.org/10.1145/775832.775962
Wong, Catherine G.; Martin, Alain J. et al. (2003) An Architecture for Asynchronous FPGAs Proceedings of the IEEE International Conference on Field-Programmable Technology, 2003; https://resolver.caltech.edu/CaltechCSTR:2003.006a
Wong, Catherine G.; Martin, Alain J. et al. (2003) An Architecture for Asynchronous FPGAs https://doi.org/10.7907/Z9X9288B
Pénzes, Paul I.; Nyström, Mika et al. (2002) Transistor sizing of energy-delay-efficient circuits In: TAU '02 Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems; In: TAU '02 International Workshop on Timing Issues in the Specifications and Synthesis of Digital Systems, December 2-3, 2002, Monterey, CA https://doi.org/10.1145/589411.589439
Pénzes, Paul I.; Martin, Alain J. (2002) Energy-Delay Efficiency of VLSI Computations In: GLSVLSI '02 Proceedings of the 12th ACM Great Lakes symposium on VLSI; In: GLSVLSI '02 Great Lakes Symposium on VLSI, April 18-19, 2002, New York, NY https://doi.org/10.1145/505306.505330
Pénzes, Paul I.; Nyströem, Mika et al. (2002) Transistor Sizing of Energy-Delay-Efficient Circuits https://doi.org/10.7907/Z9ZG6Q7T
Martin, Alain J.; Nyström, Mika et al. (2001) Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor https://doi.org/10.7907/Z99S1P11
Martin, Alain J.; Nyströem, Mika et al. (2001) ET^2: A Metric For Time and Energy Efficiency of Computation Power-Aware Computing; https://doi.org/10.7907/Z9K935JZ
Pénzes, Paul I.; Martin, Alain J. (2001) Global and local properties of asynchronous circuits optimized for energy efficiency https://doi.org/10.7907/Z9FJ2DSS
Manohar, Rajit; Martin, Alain J. (1998) Slack elasticity in concurrent computing In: Mathematics of Program Construction; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 1422; In: 4th International Conference on Mathematics of Program Construction (MPC'98), 15-17 June 1998, Marstrand, Sweden https://doi.org/10.1007/bfb0054295
Back, R. J. R.; Martin, A. J. et al. (1996) Specifying the Caltech asynchronous microprocessor Science of Computer Programming; Vol. 26; No. 1-3; https://doi.org/10.1016/0167-6423(95)00023-2
Manohar, Rajit; Martin, Alain J. (1995) Quasi-Delay-Insensitive Circuits are Turing-Complete Series Computer Science Technical Reports. https://doi.org/10.7907/Z9H70CV1
Back, R. J. R.; Martin, A. J. et al. (1995) An action system specification of the Caltech asynchronous microprocessor In: Mathematics of Program Construction; Lecture Notes in Computer Science; Series Lecture Notes in Computer Science; No. 947; In: Third International Conference on Mathematics of Program Construction, 17-21 July 1995, Kloster Irsee, Germany https://doi.org/10.1007/3-540-60117-1_9
Tierno, José A.; Martin, Alain J. et al. (1994) A 100-MIPS GaAs asynchronous microprocessor IEEE Design and Test of Computers; Vol. 11; No. 2; https://doi.org/10.1109/54.282444
Tierno, Jose A.; Martin, Alain J. (1994) Low-Energy Asynchronous Memory Design Series Computer Science Technical Reports. https://doi.org/10.7907/Z9X9289S
Seitz, Charles L.; Martin, Alain J. et al. (1993) Submicron Systems Architecture: Semiannual Technical Report https://doi.org/10.7907/Z9NS0RX7
Seitz, Charles L.; Martin, Alain J. et al. (1993) Submicron Systems Architecture Series Computer Science Technical Reports. https://doi.org/10.7907/Z9SJ1HNZ
Tierno, Jose A.; Martin, Alain J. et al. (1993) An Asynchronous Microprocessor in Gallium Arsenide https://doi.org/10.7907/Z9BC3WJ5
Martin, Alain J. (1993) Tomorrow's Digital Hardware will be Asynchronous and Verified Series Computer Science Technical Reports. https://doi.org/10.7907/Z9125QPR
Seitz, Charles L.; Martin, Alain J. et al. (1992) Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992 Series Computer Science Technical Reports, 92-17. https://doi.org/10.7907/Z9WS8RF5
Nielsen, Christian D.; Martin, Alain J. (1992) Delay-Insensitive Multiply-Accumulate Unit Series Computer Science Technical Reports. https://doi.org/10.7907/Z9MG7MPP
Martin, Alain J. (1991) Asynchronous Datapaths and the Design of an Asynchronous Adder https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-08
Martin, Alain J. (1991) Synthesis of Asynchronous VLSI Circuits https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-93-28
Hofstee, H. Peter; Martin, Alain J. et al. (1990) Distributed sorting Science of Computer Programming; Vol. 15; No. 2-3; https://doi.org/10.1016/0167-6423(90)90081-N
Martin, Alain J. (1990) Asynchronous Circuits for Token-Ring Mutual Exclusion https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-09
Martin, Alain J. (1990) Limitations to Delay-Insensitivity in Asynchronous Circuits https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-02
Burns, Steven M.; Martin, Alain J. (1990) Performance Analysis and Optimization of Asynchronous Circuits https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-18
Martin, Alain J.; Hazewindus, Pieter J. (1990) Testing Delay-Insensitive Circuits https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17
Martin, Alain J.; Burns, Steven M. et al. (1989) The design of an asynchronous microprocessor ACM SIGARCH Computer Architecture News; Vol. 17; No. 4; https://resolver.caltech.edu/CaltechAUTHORS:20161130-144153368
Martin, Alain J.; Burns, Steven M. et al. (1989) The first asynchronous microprocessor: the test results ACM SIGARCH Computer Architecture News; Vol. 17; No. 4; https://doi.org/10.1145/71317.71324
Martin, Alain J. (1989) Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01
Martin, Alain J. (1989) The Design of an Asynchronous Microprocessor https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-02
Martin, Alain J.; Burns, Steven M. et al. (1989) The First Aysnchronous Microprocessor: The Test Results https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06
Martin, Alain J.; Van de Snepscheut, Jan L. A. (1989) Design of Synchronization Algorithms In: Constructive Methods in Computing Science; Series NATO ASI Series. Series F; No. 55; In: NATO Advanced Study Institute on Constructive Methods in Computing Science, 24 July-5 August 1988, Marktoberdorf, Germany https://doi.org/10.1007/978-3-642-74884-4_13
Hofstee, H. Peter; Martin, Alain J. et al. (1989) Distributed Sorting https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06
Martin, Alain J. (1988) A Message-Passing Model for Highly Concurrent Computation https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-13
Burns, Steven M.; Martin, Alain J. (1988) Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14
Martin, Alain J. (1988) A message-passing model for highly concurrent computation In: C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues; Vol. 1; In: SIGARCH Third Conference on Hypercube Concurrent Computers and Applications, January 19-20, 1988, Pasadena, CA https://doi.org/10.1145/62297.62360
Seitz, Charles L.; Athas, William C. et al. (1988) The architecture and programming of the Ametek series 2010 multicomputer In: Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues; Vol. 1; In: SIGARCH Third Conference on Hypercube Concurrent Computers and Applications, January 19-20, 1988, Pasadena, CA https://resolver.caltech.edu/CaltechAUTHORS:20161215-172443490
Martin, Alain J. (1987) A Synthesis Method for Self-Timed VLSI Circuits https://resolver.caltech.edu/CaltechCSTR:1987.5256-tr-87
Seitz, Charles L.; Martin, Alain J. et al. (1987) Submicron Systems Architecture: Semiannual Technical Report https://resolver.caltech.edu/CaltechCSTR:1987.5240-tr-87
Burns, Steven M.; Martin, Alain J. (1987) Synthesis of Self-Timed Circuits by Program Transformation https://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87
Martin, Alain J. (1986) Compiling Communicating Processes into Delay-Insensitive VLSI Circuits https://resolver.caltech.edu/CaltechCSTR:1986.5210-tr-86
Martin, Alain J. (1986) On Seitz' Arbiter https://resolver.caltech.edu/CaltechCSTR:1986.5212-tr-86
Martin, Alain J. (1986) Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits https://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86
Seitz, Charles L.; Kajiya, James T. et al. (1986) Submicron Systems Architecture: Semiannual Technical Report https://resolver.caltech.edu/CaltechCSTR:1986.5235-tr-86
Seitz, Charles L.; Kajiya, James T. et al. (1986) Submicron Systems Architecture: Semiannual Technical Report https://resolver.caltech.edu/CaltechCSTR:1986.5220-tr-86
Li, Peggy Pey-yun; Martin, Alain J. (1986) The Sync Model: A Parallel Execution Method for Logic Programming https://resolver.caltech.edu/CaltechCSTR:1986.5221-tr-86
Seitz, Charles L.; Kajiya, James T. et al. (1985) Submicron Systems Architecture: Semiannual Technical Report https://resolver.caltech.edu/CaltechCSTR:1985.5178-tr-85
Martin, Alain J. (1985) A Delay-insensitive Fair Arbiter https://resolver.caltech.edu/CaltechCSTR:1985.5193-tr-85
Martin, Alain J. (1985) A New Generalization of Dekker's Algorithm for Mutual Exclusion https://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85
Seitz, Charles L.; Kajiya, James T. et al. (1985) Submicron Systems Architecture: Semiannual Technical Report https://resolver.caltech.edu/CaltechCSTR:1985.5202-tr-85
Martin, Alain J. (1984) Distributed Mutual Exclusion on a Ring of Processes https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83
Martin, Alain J.; Burch, Jerry R. (1984) Fair Mutual Exclusion with Unfair P and V Operations https://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84
Martin, Alain J.; Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84
Martin, Alain J. (1984) The Probe: An Addition to Communication Primitives https://resolver.caltech.edu/CaltechCSTR:1984.5124-tr-84
Martin, Alain J. (1984) On David Gries's plateau problem ACM SIGSOFT Software Engineering Notes; Vol. 9; No. 1; https://doi.org/10.1145/1005968.1005974
Chandy, K. M.; Martin, A. J. (1983) A Characterization of Product-Form Queuing Networks Journal of the ACM; Vol. 30; No. 2; https://doi.org/10.1145/322374.322378
Martin, Alain J (1983) A General Proof Rule for Procedures in Predicate Transformer Semantics https://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83
Martin, Alain J. (1983) The Design of a Self-timed Circuit for Distributed Mutual Exclusion https://resolver.caltech.edu/CaltechCSTR:1983.5097-tr-83
Martin, Alain J. (1982) The torus: an exercise in constructing a processing surface https://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82
Martin, Alain J. (1981) An Axiomatic Definition of Synchronization Primitives Acta Informatica; Vol. 16; No. 2; https://doi.org/10.1007/BF00261260
Martin, A. J. (1980) A Distributed Implementation Method for Parallel Programming Series Computer Science Technical Memorandum, 1980.5045. https://doi.org/10.7907/Z9QZ27X4