Martin, Alain

Combined from CaltechAUTHORS

• Keller, Sean and Martin, Alain J., et el. (2015) DD1: A QDI, Radiation-Hard-by-Design, Near-Threshold 18uW/MIPS Microcontroller in 40nm Bulk CMOS; ISBN 978-1-4799-8716-0; Asynchronous Circuits and Systems (ASYNC), 2015; 37-44; 10.1109/ASYNC.2015.15
• Keller, Sean and Bhargav, Siddharth S., et el. (2014) Quantifying Near-Threshold CMOS Circuit Robustness; 10.7907/Z9M043CG
• Keller, Sean and Harris, David Money, et el. (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; 2041-2053; 10.1109/TVLSI.2013.2282316
• Martin, Alain J. (2014) 25 Years Ago: The First Asynchronous Microprocessor; 10.7907/Z9QR4V3H
• Martin, A. J. (2012) A Distributed Implementation Method for Parallel Programming; 10.7907/c1h76-gdn90
• Martin, Alain J. (2009) Asynchronous logic for high variability nano-CMOS; ISBN 978-1-4244-5090-9; 16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009); 69-72; 10.1109/ICECS.2009.5410925
• Keller, Sean and Katelmany, Michael, et el. (2009) A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits; ISBN 9781424439331; 15th International Symposium on Advanced Research in Asynchronous Circuits and Systems : (ASYNC 2009) : proceedings : 17-19 May 2009 Chapel Hill, North Carolina, USA; 65-76; 10.1109/ASYNC.2009.27
• Martin, Alain J. and Prakash, Piyush (2008) Asynchronous Nano-Electronics: Preliminary Investigation; ISBN 978-0-7695-3107-6; 14th IEEE International Symposium on Asynchronous Circuits and Systems : ASYNC 2008; 58-68; 10.1109/ASYNC.2008.22
• Martin, Alain J. and Nyström, Mika (2006) Asynchronous techniques for system-on-chip design; Proceedings of the IEEE; Vol. 94; No. 6; 1089-1120; 10.1109/JPROC.2006.875789
• Prakash, Piyush and Martin, Alain J. (2006) Slack Matching Quasi Delay-Insensitive Circuits; ISBN 0-7695-2498-2; 12th IEEE International Symposium on Asynchronous Circuits and Systems; 195-204; 10.1109/ASYNC.2006.27
• Martin, Alain J. (2006) Can asynchronous techniques help the SoC designer?; ISBN 978-3-901882-19-7; IFIP VLSI-SoC 2006: IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration & System-on-Chip; 7-11; 10.1109/VLSISOC.2006.313284
• Wong, Catherine G. and Martin, Alain J., et el. (2003) An Architecture for Asynchronous FPGAs
• Wong, Catherine G. and Martin, Alain J., et el. (2003) An Architecture for Asynchronous FPGAs; 10.7907/Z9X9288B
• Wong, Catherine G. and Martin, Alain J. (2003) High-level synthesis of asynchronous systems by data-driven decomposition; ISBN 1-58113-688-9; DAC '03 Proceedings of the 40th annual Design Automation Conference; 508-513; 10.1145/775832.775962
• Pénzes, Paul I. and Nyström, Mika, et el. (2002) Transistor sizing of energy-delay-efficient circuits; ISBN 1-58113-526-2; TAU '02 Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems; 126-133; 10.1145/589411.589439
• Martin, Alain J. and Nyström, Mika, et el. (2002) Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor; 10.7907/Z99S1P11
• Pénzes, Paul I. and Martin, Alain J. (2002) Global and local properties of asynchronous circuits optimized for energy efficiency; 10.7907/Z9FJ2DSS
• Pénzes, Paul I. and Nyströem, Mika, et el. (2002) Transistor Sizing of Energy-Delay-Efficient Circuits; 10.7907/Z9ZG6Q7T
• Pénzes, Paul I. and Martin, Alain J. (2002) Energy-Delay Efficiency of VLSI Computations; ISBN 1-58113-462-2; GLSVLSI '02 Proceedings of the 12th ACM Great Lakes symposium on VLSI; 104-111; 10.1145/505306.505330
• Martin, Alain J. and Nyströem, Mika, et el. (2001) ET^2: A Metric For Time and Energy Efficiency of Computation; 10.7907/Z9K935JZ
• Seitz, Charles L. and Martin, Alain J., et el. (2001) Submicron Systems Architecture; 10.7907/4fh9g-yr824
• Manohar, Rajit and Martin, Alain J. (2001) Quasi-Delay-Insensitive Circuits are Turing-Complete; 10.7907/Z9H70CV1
• Tierno, Jose A. and Martin, Alain J. (2001) Low-Energy Asynchronous Memory Design; 10.7907/Z9X9289S
• Nielsen, Christian D. and Martin, Alain J. (2001) Delay-Insensitive Multiply-Accumulate Unit; 10.7907/Z9MG7MPP
• Martin, Alain J. (2001) Tomorrow's Digital Hardware will be Asynchronous and Verified; 10.7907/Z9125QPR
• Tierno, Jose A. and Martin, Alain J., et el. (2001) An Asynchronous Microprocessor in Gallium Arsenide; 10.7907/Z9BC3WJ5
• Seitz, Charles L. and Martin, Alain J., et el. (2001) Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992; 10.7907/Z9WS8RF5
• Seitz, Charles L. and Martin, Alain J., et el. (2001) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/Z9NS0RX7
• Seitz, Charles L. and Kajiya, James T., et el. (2001) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/7fbb9-smt37
• Manohar, Rajit and Martin, Alain J. (1998) Slack elasticity in concurrent computing; ISBN 9783540645917; Mathematics of Program Construction; 272-285; 10.1007/bfb0054295
• Back, R. J. R. and Martin, A. J., et el. (1996) Specifying the Caltech asynchronous microprocessor; Science of Computer Programming; Vol. 26; No. 1-3; 79-97; 10.1016/0167-6423(95)00023-2
• Back, R. J. R. and Martin, A. J., et el. (1995) An action system specification of the Caltech asynchronous microprocessor; ISBN 9783540601173; Mathematics of Program Construction; 159-179; 10.1007/3-540-60117-1_9
• Tierno, José A. and Martin, Alain J., et el. (1994) A 100-MIPS GaAs asynchronous microprocessor; IEEE Design and Test of Computers; Vol. 11; No. 2; 43-49; 10.1109/54.282444
• Martin, Alain J. (1991) Asynchronous Datapaths and the Design of an Asynchronous Adder; 10.7907/j14fv-twh92
• Martin, Alain J. (1991) Synthesis of Asynchronous VLSI Circuits; 10.7907/b9wzv-xrc02
• Hofstee, H. Peter and Martin, Alain J., et el. (1990) Distributed sorting; Science of Computer Programming; Vol. 15; No. 2-3; 119-133; 10.1016/0167-6423(90)90081-N
• Martin, Alain J. (1990) Asynchronous Circuits for Token-Ring Mutual Exclusion; 10.7907/47710-bts58
• Burns, Steven M. and Martin, Alain J. (1990) Performance Analysis and Optimization of Asynchronous Circuits; 10.7907/b11q2-j0d17
• Martin, Alain J. and Hazewindus, Pieter J. (1990) Testing Delay-Insensitive Circuits; 10.7907/8274b-29b89
• Martin, Alain J. (1990) Limitations to Delay-Insensitivity in Asynchronous Circuits; 10.7907/gwkvs-p4122
• Martin, Alain J. and Burns, Steven M., et el. (1989) The design of an asynchronous microprocessor; ACM SIGARCH Computer Architecture News; Vol. 17; No. 4; 99-110
• Martin, Alain J. and Burns, Steven M., et el. (1989) The first asynchronous microprocessor: the test results; ACM SIGARCH Computer Architecture News; Vol. 17; No. 4; 95-98; 10.1145/71317.71324
• Martin, Alain J. (1989) The Design of an Asynchronous Microprocessor; 10.7907/avec3-s7f02
• Martin, Alain J. (1989) Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits; 10.7907/zmy86-a1w29
• Martin, Alain J. and Burns, Steven M., et el. (1989) The First Aysnchronous Microprocessor: The Test Results; 10.7907/bsky8-c6128
• Martin, Alain J. and Van de Snepscheut, Jan L. A. (1989) Design of Synchronization Algorithms; ISBN 9783642748868; Constructive Methods in Computing Science; 447-478; 10.1007/978-3-642-74884-4_13
• Hofstee, H. Peter and Martin, Alain J., et el. (1989) Distributed Sorting; 10.7907/zaevr-tmm71
• Martin, Alain J. (1988) A Message-Passing Model for Highly Concurrent Computation; 10.7907/3sb8a-cvh96
• Burns, Steven M. and Martin, Alain J. (1988) Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits; 10.7907/585wz-fra78
• Martin, Alain J. (1988) A message-passing model for highly concurrent computation; ISBN 0-89791-278-0; C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues; 520-527; 10.1145/62297.62360
• Seitz, Charles L. and Athas, William C., et el. (1988) The architecture and programming of the Ametek series 2010 multicomputer; ISBN 0-89791-278-0; Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues; 33-37; 10.1145/62297.62302
• Burns, Steven M. and Martin, Alain J. (1987) Synthesis of Self-Timed Circuits by Program Transformation; 10.7907/cgpwa-2j421
• Seitz, Charles L. and Martin, Alain J., et el. (1987) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/7cknj-w1w80
• Martin, Alain J. (1987) A Synthesis Method for Self-Timed VLSI Circuits; 10.7907/649ae-we761
• Seitz, Charles L. and Kajiya, James T., et el. (1986) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/my65t-e9565
• Martin, Alain J. (1986) Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits; 10.7907/jssn5-rbp39
• Martin, Alain J. (1986) Compiling Communicating Processes into Delay-Insensitive VLSI Circuits; 10.7907/pnf93-qxd46
• Seitz, Charles L. and Kajiya, James T., et el. (1986) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/rzewj-csb10
• Martin, Alain J. (1986) On Seitz' Arbiter; 10.7907/2gjaq-xex23
• Li, Peggy Pey-yun and Martin, Alain J. (1986) The Sync Model: A Parallel Execution Method for Logic Programming; 10.7907/brq3w-kj598
• Seitz, Charles L. and Kajiya, James T., et el. (1985) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/mrh1j-cjp65
• Martin, Alain J. (1985) A Delay-insensitive Fair Arbiter; 10.7907/cchf5-w1g63
• Martin, Alain J. (1985) A New Generalization of Dekker's Algorithm for Mutual Exclusion; 10.7907/0qedb-76g96
• Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations; 10.7907/abxcf-t3r94
• Martin, Alain J. (1984) The Probe: An Addition to Communication Primitives; 10.7907/w8azk-3fk36
• Martin, Alain J. and Burch, Jerry R. (1984) Fair Mutual Exclusion with Unfair P and V Operations; 10.7907/8nwds-15p23
• Martin, Alain J. (1984) Distributed Mutual Exclusion on a Ring of Processes; 10.7907/t0t4e-aq296
• Martin, Alain J. (1984) On David Gries's plateau problem; ACM SIGSOFT Software Engineering Notes; Vol. 9; No. 1; 29-30; 10.1145/1005968.1005974
• Chandy, K. M. and Martin, A. J. (1983) A Characterization of Product-Form Queuing Networks; Journal of the ACM; Vol. 30; No. 2; 286-299; 10.1145/322374.322378
• Martin, Alain J (1983) A General Proof Rule for Procedures in Predicate Transformer Semantics; 10.7907/desx8-jhv04
• Martin, Alain J. (1983) The Design of a Self-timed Circuit for Distributed Mutual Exclusion; 10.7907/b2dbm-s0762
• Martin, Alain J. (1982) The torus: an exercise in constructing a processing surface; 10.7907/cazcq-6fz54
• Martin, Alain J. (1981) An Axiomatic Definition of Synchronization Primitives; Acta Informatica; Vol. 16; No. 2; 219-235; 10.1007/BF00261260