Alain J. Martin

Publication Activity (10 Years)

Years Active: 1975-2015
Publications (10 Years): 1

Top Topics

Metal Oxide Semiconductor

Top Venues

IEEE Trans. Very Large Scale Integr. Syst.

Publications

Sean Keller, Alain J. Martin, Chris Moore
DD1: A QDI, Radiation-Hard-by-Design, Near-Threshold 18uW/MIPS Microcontroller in 40nm Bulk CMOS. ASYNC (2015)
Sean Keller, David Money Harris, Alain J. Martin
A Compact Transregional Model for Digital CMOS Circuits Operating Near Threshold. IEEE Trans. Very Large Scale Integr. Syst. 22 (10) (2014)
Alain J. Martin
Asynchronous logic for high variability nano-CMOS. ICECS (2009)
Sean Keller, Michael Katelman, Alain J. Martin
A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits. ASYNC (2009)
Alain J. Martin, Piyush Prakash
Asynchronous Nano-Electronics: Preliminary Investigation. ASYNC (2008)
Alyssa B. Apsel, Rajit Manohar, Alain J. Martin
Analog and asynchronous variation-aware circuits. ICECS (2007)
Alain J. Martin
Can Asynchronous Techniques Help the SoC Designer? VLSI-SoC (2006)
Piyush Prakash, Alain J. Martin
Slack Matching Quasi Delay-Insensitive Circuits. ASYNC (2006)
Alain J. Martin, Mika Nyström
Asynchronous Techniques for System-on-Chip Design. Proc. IEEE 94 (6) (2006)
Wonjin Jang, Alain J. Martin
SEU-Tolerant QDI Circuits. ASYNC (2005)
Mika Nyström, Elaine Ou, Alain J. Martin
An Eight-Bit Divider Implemented in Asynchronous Pulse Logic. ASYNC (2004)
Catherine G. Wong, Alain J. Martin, Peter Thomas
An architecture for asynchronous FPGAs. FPT (2003)
Alain J. Martin, Mika Nyström, Karl Papadantonakis, Paul I. Pénzes, Piyush Prakash, Catherine G. Wong, Jonathan Chang, Kevin S. Ko, Benjamin Lee, Elaine Ou, James Pugh, Eino-Ville Talvala, James T. Tong, Ahmet Tura
The Lutonium: A Sub-Nanojoule Asynchronous 8051 Microcontroller. ASYNC (2003)
Catherine G. Wong, Alain J. Martin
High-level synthesis of asynchronous systems by data-driven decomposition. DAC (2003)
Alain J. Martin, Mika Nyström, Catherine G. Wong
Three Generations of Asynchronous Microprocessors. IEEE Des. Test Comput. 20 (6) (2003)
Paul I. Pénzes, Mika Nyström, Alain J. Martin
Transistor sizing of energy-delay--efficient circuits. Timing Issues in the Specification and Synthesis of Digital Systems (2002)
Paul I. Pénzes, Alain J. Martin
Energy-delay efficiency of VLSI computations. ACM Great Lakes Symposium on VLSI (2002)
Paul I. Pénzes, Alain J. Martin
An Energy Estimation Method for Asynchronous Circuits with Application to an Asynchronous Microprocessor. DATE (2002)
Alain J. Martin
Towards an energy complexity of computation. Inf. Process. Lett. 77 (2-4) (2001)
Catherine G. Wong, Alain J. Martin
Data-driven process decomposition for circuit synthesis. ICECS (2001)
Rajit Manohar, Mika Nyström, Alain J. Martin
Precise Exceptions in Asynchronous Processors. ARVLSI (2001)
Rajit Manohar, Tak-Kwan Lee, Alain J. Martin
Projection: A Synthesis Technique for Concurrent Systems. ASYNC (1999)
Rajit Manohar, Alain J. Martin
Slack Elasticity in Concurrent Computing. MPC (1998)
Alain J. Martin, Andrew Lines, Rajit Manohar, Mika Nyström, Paul I. Pénzes, Robert Southworth, Uri Cummings
The Design of an Asynchronous MIPS R3000 Microprocessor. ARVLSI (1997)
Alain J. Martin
A program transformation approach to asynchronous VLSI design. NATO ASI DPD (1996)
Ralph-Johan Back, Alain J. Martin, Kaisa Sere
Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26 (1-3) (1996)
José A. Tierno, Rajit Manohar, Alain J. Martin
The energy and entropy of VLSI computations. ASYNC (1996)
Ralph-Johan Back, Alain J. Martin, Kaisa Sere
An Action System Specification of the Caltech Asynchronous Microprocessor. MPC (1995)
José A. Tierno, Alain J. Martin
Low-energy asynchronous memory design. ASYNC (1994)
Uri Cummings, Andrew Lines, Alain J. Martin
An asynchronous pipelined lattice structure filter. ASYNC (1994)
José A. Tierno, Alain J. Martin, Drazen Borkovic, Tak-Kwan Lee
A 100-MIPS GaAs Asynchronous Microprocessor. IEEE Des. Test Comput. 11 (2) (1994)
Christian D. Nielsen, Alain J. Martin
Design of a delay-insensitive multiply-accumulate unit. Integr. 15 (3) (1993)
Alain J. Martin
Tomorrow's Digital Hardware will be Asynchronous and Verified. IFIP Congress (1) (1992)
Alain J. Martin
Translating Concurrent Programs into VLSI Chips. PARLE (1992)
Alain J. Martin
Asynchronous Datapaths and the Design of an Asynchronous Adder. Formal Methods Syst. Des. 1 (1) (1992)
H. Peter Hofstee, Alain J. Martin, Jan L. A. van de Snepscheut
Distributed Sorting. Sci. Comput. Program. 15 (2-3) (1990)
Alain J. Martin, Jan L. A. van de Snepscheut
An Interconnection Network for Distributed Recursive Computations. IEEE Trans. Computers 39 (11) (1990)
Alain J. Martin, Steven M. Burns, Tak-Kwan Lee, Drazen Borkovic, Pieter J. Hazewindus
The design of an asynchronous microprocessor. SIGARCH Comput. Archit. News 17 (4) (1989)
Alain J. Martin, Steven M. Burns, Tak-Kwan Lee, Drazen Borkovic, Pieter J. Hazewindus
The first asynchronous microprocessor: the test results. SIGARCH Comput. Archit. News 17 (4) (1989)
Alain J. Martin
The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation. Hardware Specification, Verification and Synthesis (1989)
David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding
An Algorithm for Transitive Reduction of an Acyclic Graph. Sci. Comput. Program. 12 (2) (1989)
Charles L. Seitz, William C. Athas, Charles M. Flaig, Alain J. Martin, Jakov N. Seizovic, Craig S. Steele, Wen-King Su
The architecture and programming of the Ametek series 2010 multicomputer. C³P (1988)
Alain J. Martin
A message-passing model for highly concurrent computation. C³P (1988)
Alain J. Martin
A New Generalization of Dekker's Algorithm for Mutual Exclusion. Inf. Process. Lett. 23 (6) (1986)
Alain J. Martin
Compiling Communicating Processes Into Delay-Insensitive VLSI Circuits. Distributed Comput. 1 (4) (1986)
Peyyun Peggy Li, Alain J. Martin
The Sync Model: A Parallel Execution Method for Logic Programming. SLP (1986)
Peyyun Peggy Li, Alain J. Martin
The Sneptree : A Versatile Interconnection Network. ICPP (1986)
Alain J. Martin, Jerry R. Burch
Fair Mutual Exclusion with Unfair P and V Operations. Inf. Process. Lett. 21 (2) (1985)
Alain J. Martin
The Probe: An Addition to Communication Primitives. Inf. Process. Lett. 20 (3) (1985)
Alain J. Martin
Distributed Mutual Exclusion on a Ring of Processes. Sci. Comput. Program. 5 (3) (1985)
Alain J. Martin
On David Gries's plateau problem. ACM SIGSOFT Softw. Eng. Notes 9 (1) (1984)
Alain J. Martin, Martin Rem
A Presentation of the Fibonacci Algorithm. Inf. Process. Lett. 19 (2) (1984)
Alain J. Martin
A General Proof Rule for Procedures in Predicate Transformer Semantics. Acta Informatica 20 (1983)
Alain J. Martin
Verteilte Ausführung rekursiver Algorithmen auf Gittern von Prozessoren. Elektron. Rechenanlagen 25 (1) (1983)
K. Mani Chandy, Alain J. Martin
A Characterization of Product-Form Queuing Networks J. ACM 30 (2) (1983)
Alain J. Martin
An Axiomatic Definition of Synchronization Primitives. Acta Informatica 16 (1981)
Alain J. Martin
A Distributed Implementation Method for Parallel Programming. IFIP Congress (1980)
Joep L. W. Kessels, Alain J. Martin
Two Implementations of the Conditional Critical Region Using a Split Binary Semaphore. Inf. Process. Lett. 8 (2) (1979)
Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens
On-the-Fly Garbage Collection: An Exercise in Cooperation. Commun. ACM 21 (11) (1978)
Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens
On-the-fly garbage collection: an exercise in cooperation. Language Hierarchies and Interfaces (1975)