Keller, Sean; Martin, Alain J. et al. (2015) DD1: A QDI, Radiation-Hard-by-Design, Near-Threshold 18uW/MIPS Microcontroller in 40nm Bulk CMOS Asynchronous Circuits and Systems (ASYNC), 2015; 21st IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 4-6 May 2015 , Mountain View, CA
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;
Martin, Alain J. (2014) 25 Years Ago: The First Asynchronous Microprocessor Series.Computer Science Technical Reports; No. 2014.001;
Keller, Sean; Bhargav, Siddharth S. et al. (2014) Quantifying Near-Threshold CMOS Circuit Robustness Series.Computer Science Technical Reports; No. 2014.002;
Martin, Alain J. (2009) Asynchronous logic for high variability nano-CMOS 16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009); 16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009), December 13-16, 2009 , Yasmine Hammamet, Tunisia
Keller, Sean; Katelmany, Michael et al. (2009) A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits 15th International Symposium on Advanced Research in Asynchronous Circuits and Systems : (ASYNC 2009) : proceedings : 17-19 May 2009 Chapel Hill, North Carolina, USA; 15th IEEE International Symposium on Asynchronous Circuits and Systems , May 17-20, 2009 , Chapel Hill, NC
Martin, Alain J.; Prakash, Piyush (2008) Asynchronous Nano-Electronics: Preliminary Investigation 14th IEEE International Symposium on Asynchronous Circuits and Systems : ASYNC 2008; 14th IEEE International Symposium on Asynchronous Circuits and Systems, Apr. 07-10, 2008 , Newcastle upon Tyne, England
Martin, Alain J.; Nyström, Mika (2006) Asynchronous techniques for system-on-chip design Proceedings of the IEEE; Vol. 94; No. 6;
Martin, Alain J. (2006) Can asynchronous techniques help the SoC designer? IFIP VLSI-SoC 2006: IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration & System-on-Chip; International Conference on Very Large Scale Integration and System-on-Chip , Oct. 16-18, 2006 , Nice, France
Prakash, Piyush; Martin, Alain J. (2006) Slack Matching Quasi Delay-Insensitive Circuits 12th IEEE International Symposium on Asynchronous Circuits and Systems; Series.Proceedings-International Symposium on Advanced Research in Asynchronous Circuits and Systems; 12th International Symposium on Asynchronous Circuits and Systems, March 13-15, 2006 , Grenoble, France
Wong, Catherine G.; Martin, Alain J. (2003) High-level synthesis of asynchronous systems by data-driven decomposition DAC '03 Proceedings of the 40th annual Design Automation Conference; DAC'03 2003 40th Annual Design Automation Conference, June 2-6, 2003 , Anaheim, CA
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;
Wong, Catherine G.; Martin, Alain J. et al. (2003) An Architecture for Asynchronous FPGAs
Pénzes, Paul I.; Nyström, Mika et al. (2002) Transistor sizing of energy-delay-efficient circuits TAU '02 Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems; TAU '02 International Workshop on Timing Issues in the Specifications and Synthesis of Digital Systems, December 2-3, 2002 , Monterey, CA
Pénzes, Paul I.; Martin, Alain J. (2002) Energy-Delay Efficiency of VLSI Computations GLSVLSI '02 Proceedings of the 12th ACM Great Lakes symposium on VLSI; GLSVLSI '02 Great Lakes Symposium on VLSI, April 18-19, 2002 , New York, NY
Pénzes, Paul I.; Nyströem, Mika et al. (2002) Transistor Sizing of Energy-Delay-Efficient Circuits
Martin, Alain J.; Nyström, Mika et al. (2001) Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor
Martin, Alain J.; Nyströem, Mika et al. (2001) ET^2: A Metric For Time and Energy Efficiency of Computation Power-Aware Computing;
Pénzes, Paul I.; Martin, Alain J. (2001) Global and local properties of asynchronous circuits optimized for energy efficiency
Manohar, Rajit; Martin, Alain J. (1998) Slack elasticity in concurrent computing Mathematics of Program Construction; Lecture Notes in Computer Science; Series.Lecture Notes in Computer Science; No. 1422; 4th International Conference on Mathematics of Program Construction (MPC'98), 15-17 June 1998 , Marstrand, Sweden
Back, R. J. R.; Martin, A. J. et al. (1996) Specifying the Caltech asynchronous microprocessor Science of Computer Programming; Vol. 26; No. 1-3;
Manohar, Rajit; Martin, Alain J. (1995) Quasi-Delay-Insensitive Circuits are Turing-Complete Series.Computer Science Technical Reports;
Back, R. J. R.; Martin, A. J. et al. (1995) An action system specification of the Caltech asynchronous microprocessor Mathematics of Program Construction; Lecture Notes in Computer Science; Series.Lecture Notes in Computer Science; No. 947; Third International Conference on Mathematics of Program Construction, 17-21 July 1995 , Kloster Irsee, Germany
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;
Tierno, Jose A.; Martin, Alain J. (1994) Low-Energy Asynchronous Memory Design Series.Computer Science Technical Reports;
Seitz, Charles L.; Martin, Alain J. et al. (1993) Submicron Systems Architecture: Semiannual Technical Report
Seitz, Charles L.; Martin, Alain J. et al. (1993) Submicron Systems Architecture Series.Computer Science Technical Reports;
Tierno, Jose A.; Martin, Alain J. et al. (1993) An Asynchronous Microprocessor in Gallium Arsenide
Martin, Alain J. (1993) Tomorrow's Digital Hardware will be Asynchronous and Verified Series.Computer Science Technical Reports;
Seitz, Charles L.; Martin, Alain J. et al. (1992) Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992 Series.Computer Science Technical Reports; No. 92-17;
Nielsen, Christian D.; Martin, Alain J. (1992) Delay-Insensitive Multiply-Accumulate Unit Series.Computer Science Technical Reports;
Martin, Alain J. (1991) Asynchronous Datapaths and the Design of an Asynchronous Adder
Martin, Alain J. (1991) Synthesis of Asynchronous VLSI Circuits
Hofstee, H. Peter; Martin, Alain J. et al. (1990) Distributed sorting Science of Computer Programming; Vol. 15; No. 2-3;
Martin, Alain J. (1990) Asynchronous Circuits for Token-Ring Mutual Exclusion
Martin, Alain J. (1990) Limitations to Delay-Insensitivity in Asynchronous Circuits
Burns, Steven M.; Martin, Alain J. (1990) Performance Analysis and Optimization of Asynchronous Circuits
Martin, Alain J.; Hazewindus, Pieter J. (1990) Testing Delay-Insensitive Circuits
Martin, Alain J.; Burns, Steven M. et al. (1989) The design of an asynchronous microprocessor ACM SIGARCH Computer Architecture News; Vol. 17; No. 4;
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;
Martin, Alain J. (1989) Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits
Martin, Alain J. (1989) The Design of an Asynchronous Microprocessor
Martin, Alain J.; Burns, Steven M. et al. (1989) The First Aysnchronous Microprocessor: The Test Results
Martin, Alain J.; Van de Snepscheut, Jan L. A. (1989) Design of Synchronization Algorithms Constructive Methods in Computing Science; Series.NATO ASI Series. Series F; No. 55; NATO Advanced Study Institute on Constructive Methods in Computing Science, 24 July-5 August 1988 , Marktoberdorf, Germany
Hofstee, H. Peter; Martin, Alain J. et al. (1989) Distributed Sorting
Martin, Alain J. (1988) A Message-Passing Model for Highly Concurrent Computation
Burns, Steven M.; Martin, Alain J. (1988) Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits
Martin, Alain J. (1988) A message-passing model for highly concurrent computation C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues; Vol. 1; SIGARCH Third Conference on Hypercube Concurrent Computers and Applications, January 19-20, 1988 , Pasadena, CA
Seitz, Charles L.; Athas, William C. et al. (1988) The architecture and programming of the Ametek series 2010 multicomputer Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues; Vol. 1; SIGARCH Third Conference on Hypercube Concurrent Computers and Applications, January 19-20, 1988 , Pasadena, CA
Martin, Alain J. (1987) A Synthesis Method for Self-Timed VLSI Circuits
Seitz, Charles L.; Martin, Alain J. et al. (1987) Submicron Systems Architecture: Semiannual Technical Report
Burns, Steven M.; Martin, Alain J. (1987) Synthesis of Self-Timed Circuits by Program Transformation
Martin, Alain J. (1986) Compiling Communicating Processes into Delay-Insensitive VLSI Circuits
Martin, Alain J. (1986) On Seitz' Arbiter
Martin, Alain J. (1986) Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits
Seitz, Charles L.; Kajiya, James T. et al. (1986) Submicron Systems Architecture: Semiannual Technical Report
Seitz, Charles L.; Kajiya, James T. et al. (1986) Submicron Systems Architecture: Semiannual Technical Report
Li, Peggy Pey-yun; Martin, Alain J. (1986) The Sync Model: A Parallel Execution Method for Logic Programming
Seitz, Charles L.; Kajiya, James T. et al. (1985) Submicron Systems Architecture: Semiannual Technical Report
Martin, Alain J. (1985) A Delay-insensitive Fair Arbiter
Martin, Alain J. (1985) A New Generalization of Dekker's Algorithm for Mutual Exclusion
Seitz, Charles L.; Kajiya, James T. et al. (1985) Submicron Systems Architecture: Semiannual Technical Report
Martin, Alain J. (1984) Distributed Mutual Exclusion on a Ring of Processes
Martin, Alain J.; Burch, Jerry R. (1984) Fair Mutual Exclusion with Unfair P and V Operations
Martin, Alain J.; Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations
Martin, Alain J. (1984) The Probe: An Addition to Communication Primitives
Martin, Alain J. (1984) On David Gries's plateau problem ACM SIGSOFT Software Engineering Notes; Vol. 9; No. 1;
Chandy, K. M.; Martin, A. J. (1983) A Characterization of Product-Form Queuing Networks Journal of the ACM; Vol. 30; No. 2;
Martin, Alain J (1983) A General Proof Rule for Procedures in Predicate Transformer Semantics
Martin, Alain J. (1983) The Design of a Self-timed Circuit for Distributed Mutual Exclusion
Martin, Alain J. (1982) The torus: an exercise in constructing a processing surface
Martin, Alain J. (1981) An Axiomatic Definition of Synchronization Primitives Acta Informatica; Vol. 16; No. 2;
Martin, A. J. (1980) A Distributed Implementation Method for Parallel Programming Series.Computer Science Technical Memorandum; No. 1980.5045;