Keller, Sean; 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; IEEE: Piscataway, NJ;
37-44; 10.1109/ASYNC.2015.15
Keller, Sean; Bhargav, Siddharth S.; et el. (2014) Quantifying
Near-Threshold CMOS Circuit Robustness ; 10.7907/Z9M043CG
Keller, Sean; 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); IEEE: Piscataway, NJ; 69-72; 10.1109/ICECS.2009.5410925
Keller, Sean; 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; IEEE
Computer Society: Los Alamitos, CA; 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; IEEE Computer Society: Los Alamitos, CA; 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
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; IEEE:
Piscataway, NJ; 7-11; 10.1109/VLSISOC.2006.313284
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; IEEE:
Los Alamitos, CA; 195-204; 10.1109/ASYNC.2006.27
Wong, Catherine G.; Martin, Alain J.; et el. (2003) An
Architecture for Asynchronous FPGAs
Wong, Catherine G.; 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; ACM: New York, NY; 508-513; 10.1145/775832.775962
Pénzes, Paul I.; 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; ACM: New
York, NY; 126-133; 10.1145/589411.589439
Martin, Alain J.; 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.; 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; ACM: New
York, NY; 104-111; 10.1145/505306.505330
Martin, Alain J.; Nyströem, Mika; et el. (2001) ET^2: A Metric
For Time and Energy Efficiency of Computation ; 10.7907/Z9K935JZ
Tierno, Jose A. and Martin, Alain J. (2001) Low-Energy
Asynchronous Memory Design ; 10.7907/Z9X9289S
Manohar, Rajit and Martin, Alain J. (2001) Quasi-Delay-Insensitive
Circuits are Turing-Complete ; 10.7907/Z9H70CV1
Seitz, Charles L.; Martin, Alain J.; et el. (2001) Submicron
Systems Architecture ; 10.7907/4fh9g-yr824
Tierno, Jose A.; Martin, Alain J.; et el. (2001) An
Asynchronous Microprocessor in Gallium Arsenide ; 10.7907/Z9BC3WJ5
Nielsen, Christian D. and Martin, Alain J. (2001) Delay-Insensitive
Multiply-Accumulate Unit ; 10.7907/Z9MG7MPP
Seitz, Charles L.; Martin, Alain J.; et el. (2001) Submicron
Systems Architecture Project : Semiannual Technical Report, 1 July
1992 ; 10.7907/Z9WS8RF5
Seitz, Charles L.; Martin, Alain J.; et el. (2001) Submicron
Systems Architecture: Semiannual Technical Report ; 10.7907/Z9NS0RX7
Martin, Alain J. (2001) Tomorrow’s
Digital Hardware will be Asynchronous and Verified ; 10.7907/Z9125QPR
Seitz, Charles L.; 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; Springer: Berlin, Heidelberg; 272-285; 10.1007/bfb0054295
Back, R. J. R.; 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.; Martin, A. J.; et el. (1995) An
action system specification of the Caltech asynchronous
microprocessor ; ISBN 9783540601173; Mathematics of Program
Construction; Springer: Berlin, Heidelberg; 159-179; 10.1007/3-540-60117-1_9
Tierno, José A.; 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; 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
Martin, Alain J. (1990) Limitations
to Delay-Insensitivity in Asynchronous Circuits ; 10.7907/gwkvs-p4122
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.; 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.; 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) Programming
in VLSI: From Communicating Processes to Delay-Insensitive Circuits ;
10.7907/zmy86-a1w29
Martin, Alain J. (1989) The
Design of an Asynchronous Microprocessor ; 10.7907/avec3-s7f02
Martin, Alain J.; 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; Springer Berlin Heidelberg: Berlin,
Heidelberg; 447-478; 10.1007/978-3-642-74884-4_13
Hofstee, H. Peter; 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; ACM: New York, NY; 520-527; 10.1145/62297.62360
Seitz, Charles L.; 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; ACM: New
York, NY; 33-37; 10.1145/62297.62302
Martin, Alain J. (1987) A
Synthesis Method for Self-Timed VLSI Circuits ; 10.7907/649ae-we761
Seitz, Charles L.; Martin, Alain J.; et el. (1987) Submicron
Systems Architecture: Semiannual Technical Report ; 10.7907/7cknj-w1w80
Burns, Steven M. and Martin, Alain J. (1987) Synthesis
of Self-Timed Circuits by Program Transformation ; 10.7907/cgpwa-2j421
Martin, Alain J. (1986) Compiling
Communicating Processes into Delay-Insensitive VLSI Circuits ; 10.7907/pnf93-qxd46
Martin, Alain J. (1986) On
Seitz’ Arbiter ; 10.7907/2gjaq-xex23
Martin, Alain J. (1986) Self-Timed
FIFO: An exercise in Compiling Programs into VLSI Circuits ; 10.7907/jssn5-rbp39
Seitz, Charles L.; Kajiya, James T.; et el. (1986) Submicron
Systems Architecture: Semiannual Technical Report ; 10.7907/my65t-e9565
Seitz, Charles L.; Kajiya, James T.; et el. (1986) Submicron
Systems Architecture: Semiannual Technical Report ; 10.7907/rzewj-csb10
Li, Peggy Pey-yun and Martin, Alain J. (1986) The Sync
Model: A Parallel Execution Method for Logic Programming ; 10.7907/brq3w-kj598
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
Seitz, Charles L.; Kajiya, James T.; et el. (1985) Submicron
Systems Architecture: Semiannual Technical Report ; 10.7907/mrh1j-cjp65
Martin, Alain J. (1984) Distributed
Mutual Exclusion on a Ring of Processes ; 10.7907/t0t4e-aq296
Martin, Alain J. and Burch, Jerry R. (1984) Fair
Mutual Exclusion with Unfair P and V Operations ; 10.7907/8nwds-15p23
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. (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