![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Alain J. Martin
Person information
- affiliation: California Institute of Technology, Pasadena, CA, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [p1]Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens:
On-the-Fly Garbage Collection: An Exercise in Cooperation. Edsger Wybe Dijkstra 2022: 339-358
2010 – 2019
- 2015
- [c34]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: 37-44 - 2014
- [j26]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): 2041-2053 (2014)
2000 – 2009
- 2009
- [c33]Sean Keller, Michael Katelman, Alain J. Martin:
A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits. ASYNC 2009: 65-76 - [c32]Alain J. Martin:
Asynchronous logic for high variability nano-CMOS. ICECS 2009: 69-72 - 2008
- [c31]Alain J. Martin, Piyush Prakash:
Asynchronous Nano-Electronics: Preliminary Investigation. ASYNC 2008: 58-68 - 2007
- [c30]Alyssa B. Apsel, Rajit Manohar, Alain J. Martin:
Analog and asynchronous variation-aware circuits. ICECS 2007: 1 - 2006
- [j25]Alain J. Martin, Mika Nyström:
Asynchronous Techniques for System-on-Chip Design. Proc. IEEE 94(6): 1089-1120 (2006) - [c29]Piyush Prakash, Alain J. Martin:
Slack Matching Quasi Delay-Insensitive Circuits. ASYNC 2006: 195-204 - [c28]Alain J. Martin:
Can Asynchronous Techniques Help the SoC Designer? VLSI-SoC 2006: 7-11 - 2005
- [c27]Wonjin Jang, Alain J. Martin:
SEU-Tolerant QDI Circuits. ASYNC 2005: 156-165 - 2004
- [c26]Mika Nyström, Elaine Ou, Alain J. Martin:
An Eight-Bit Divider Implemented in Asynchronous Pulse Logic. ASYNC 2004: 229-239 - 2003
- [j24]Alain J. Martin, Mika Nyström, Catherine G. Wong:
Three Generations of Asynchronous Microprocessors. IEEE Des. Test Comput. 20(6): 9-17 (2003) - [c25]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: 14-23 - [c24]Catherine G. Wong, Alain J. Martin:
High-level synthesis of asynchronous systems by data-driven decomposition. DAC 2003: 508-513 - [c23]Catherine G. Wong, Alain J. Martin, Peter Thomas:
An architecture for asynchronous FPGAs. FPT 2003: 170-177 - 2002
- [c22]Paul I. Pénzes, Alain J. Martin:
An Energy Estimation Method for Asynchronous Circuits with Application to an Asynchronous Microprocessor. DATE 2002: 640-647 - [c21]Paul I. Pénzes, Alain J. Martin:
Energy-delay efficiency of VLSI computations. ACM Great Lakes Symposium on VLSI 2002: 104-111 - [c20]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: 126-133 - 2001
- [j23]Alain J. Martin:
Towards an energy complexity of computation. Inf. Process. Lett. 77(2-4): 181-187 (2001) - [c19]Rajit Manohar, Mika Nyström, Alain J. Martin:
Precise Exceptions in Asynchronous Processors. ARVLSI 2001: 16-28 - [c18]Catherine G. Wong, Alain J. Martin:
Data-driven process decomposition for circuit synthesis. ICECS 2001: 539-546
1990 – 1999
- 1999
- [c17]Rajit Manohar, Tak-Kwan Lee, Alain J. Martin:
Projection: A Synthesis Technique for Concurrent Systems. ASYNC 1999: 125-134 - 1998
- [c16]Rajit Manohar, Alain J. Martin:
Slack Elasticity in Concurrent Computing. MPC 1998: 272-285 - 1997
- [c15]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: 164-181 - 1996
- [j22]Ralph-Johan Back, Alain J. Martin, Kaisa Sere:
Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26(1-3): 79-97 (1996) - [c14]José A. Tierno, Rajit Manohar, Alain J. Martin:
The energy and entropy of VLSI computations. ASYNC 1996: 188-196 - [c13]Alain J. Martin:
A program transformation approach to asynchronous VLSI design. NATO ASI DPD 1996: 441-467 - 1995
- [c12]Ralph-Johan Back, Alain J. Martin, Kaisa Sere:
An Action System Specification of the Caltech Asynchronous Microprocessor. MPC 1995: 159-179 - 1994
- [j21]José A. Tierno, Alain J. Martin, Drazen Borkovic, Tak-Kwan Lee:
A 100-MIPS GaAs Asynchronous Microprocessor. IEEE Des. Test Comput. 11(2): 43-49 (1994) - [c11]Uri Cummings, Andrew Lines, Alain J. Martin:
An asynchronous pipelined lattice structure filter. ASYNC 1994: 126-133 - [c10]José A. Tierno, Alain J. Martin:
Low-energy asynchronous memory design. ASYNC 1994: 176-185 - 1993
- [j20]Christian D. Nielsen, Alain J. Martin:
Design of a delay-insensitive multiply-accumulate unit. Integr. 15(3): 291-311 (1993) - 1992
- [j19]Alain J. Martin:
Asynchronous Datapaths and the Design of an Asynchronous Adder. Formal Methods Syst. Des. 1(1): 117-137 (1992) - [c9]Alain J. Martin:
Tomorrow's Digital Hardware will be Asynchronous and Verified. IFIP Congress (1) 1992: 684-695 - [c8]Alain J. Martin:
Translating Concurrent Programs into VLSI Chips. PARLE 1992: 515-532 - 1990
- [j18]H. Peter Hofstee, Alain J. Martin, Jan L. A. van de Snepscheut:
Distributed Sorting. Sci. Comput. Program. 15(2-3): 119-133 (1990) - [j17]Alain J. Martin, Jan L. A. van de Snepscheut:
An Interconnection Network for Distributed Recursive Computations. IEEE Trans. Computers 39(11): 1393-1395 (1990)
1980 – 1989
- 1989
- [j16]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): 151-155 (1989) - [j15]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): 95-98 (1989) - [j14]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): 99-110 (1989) - [c7]Alain J. Martin:
The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation. Hardware Specification, Verification and Synthesis 1989: 244-259 - 1988
- [c6]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: 33-37 - [c5]Alain J. Martin:
A message-passing model for highly concurrent computation. C³P 1988: 520-527 - 1986
- [j13]Alain J. Martin:
Compiling Communicating Processes Into Delay-Insensitive VLSI Circuits. Distributed Comput. 1(4): 226-234 (1986) - [j12]Alain J. Martin:
A New Generalization of Dekker's Algorithm for Mutual Exclusion. Inf. Process. Lett. 23(6): 295-297 (1986) - [c4]Peyyun Peggy Li, Alain J. Martin:
The Sneptree : A Versatile Interconnection Network. ICPP 1986: 20-27 - [c3]Peyyun Peggy Li, Alain J. Martin:
The Sync Model: A Parallel Execution Method for Logic Programming. SLP 1986: 223-234 - 1985
- [j11]Alain J. Martin:
The Probe: An Addition to Communication Primitives. Inf. Process. Lett. 20(3): 125-130 (1985) - [j10]Alain J. Martin, Jerry R. Burch:
Fair Mutual Exclusion with Unfair P and V Operations. Inf. Process. Lett. 21(2): 97-100 (1985) - [j9]Alain J. Martin:
Distributed Mutual Exclusion on a Ring of Processes. Sci. Comput. Program. 5(3): 265-276 (1985) - 1984
- [j8]Alain J. Martin, Martin Rem:
A Presentation of the Fibonacci Algorithm. Inf. Process. Lett. 19(2): 67-68 (1984) - [j7]Alain J. Martin:
On David Gries's plateau problem. ACM SIGSOFT Softw. Eng. Notes 9(1): 29-30 (1984) - 1983
- [j6]Alain J. Martin:
A General Proof Rule for Procedures in Predicate Transformer Semantics. Acta Informatica 20: 301-313 (1983) - [j5]Alain J. Martin:
Verteilte Ausführung rekursiver Algorithmen auf Gittern von Prozessoren. Elektron. Rechenanlagen 25(1): 12-19 (1983) - [j4]K. Mani Chandy, Alain J. Martin:
A Characterization of Product-Form Queuing Networks. J. ACM 30(2): 286-299 (1983) - 1981
- [j3]Alain J. Martin:
An Axiomatic Definition of Synchronization Primitives. Acta Informatica 16: 219-235 (1981) - 1980
- [c2]Alain J. Martin:
A Distributed Implementation Method for Parallel Programming. IFIP Congress 1980: 309-314
1970 – 1979
- 1979
- [j2]Joep L. W. Kessels, Alain J. Martin:
Two Implementations of the Conditional Critical Region Using a Split Binary Semaphore. Inf. Process. Lett. 8(2): 67-71 (1979) - 1978
- [j1]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): 966-975 (1978) - 1975
- [c1]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: 43-56
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint