dblp.uni-trier.dewww.uni-trier.de

Alain J. Martin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
42EEPiyush Prakash, Alain J. Martin: Slack Matching Quasi Delay-Insensitive Circuits. ASYNC 2006: 195-204
41EEAlain J. Martin: Can Asynchronous Techniques Help the SoC Designer? VLSI-SoC 2006: 7-11
2005
40EEWonjin Jang, Alain J. Martin: SEU-Tolerant QDI Circuits. ASYNC 2005: 156-165
2004
39EEMika Nyström, Elaine Ou, Alain J. Martin: An Eight-Bit Divider Implemented in Asynchronous Pulse Logic. ASYNC 2004: 229-239
2003
38EEAlain 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
37EECatherine G. Wong, Alain J. Martin: High-level synthesis of asynchronous systems by data-driven decomposition. DAC 2003: 508-513
36EEAlain J. Martin, Mika Nyström, Catherine G. Wong: Three Generations of Asynchronous Microprocessors. IEEE Design & Test of Computers 20(6): 9-17 (2003)
2002
35EEPaul I. Pénzes, Alain J. Martin: Energy-delay efficiency of VLSI computations. ACM Great Lakes Symposium on VLSI 2002: 104-111
34EEPaul I. Pénzes, Alain J. Martin: An Energy Estimation Method for Asynchronous Circuits with Application to an Asynchronous Microprocessor. DATE 2002: 640-649
33EEPaul 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
32EERajit Manohar, Mika Nyström, Alain J. Martin: Precise Exceptions in Asynchronous Processors. ARVLSI 2001: 16-28
31EEAlain J. Martin: Towards an energy complexity of computation. Inf. Process. Lett. 77(2-4): 181-187 (2001)
1999
30EERajit Manohar, Tak-Kwan Lee, Alain J. Martin: Projection: A Synthesis Technique for Concurrent Systems. ASYNC 1999: 125-134
1998
29EERajit Manohar, Alain J. Martin: Slack Elasticity in Concurrent Computing. MPC 1998: 272-285
1997
28EEAlain 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
27 Alain J. Martin: A program transformation approach to asynchronous VLSI design. NATO ASI DPD 1996: 441-467
26 Ralph-Johan Back, Alain J. Martin, Kaisa Sere: Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26(1-3): 79-97 (1996)
1995
25 Ralph-Johan Back, Alain J. Martin, Kaisa Sere: An Action System Specification of the Caltech Asynchronous Microprocessor. MPC 1995: 159-179
1994
24EEJosé A. Tierno, Alain J. Martin, Drazen Borkovic, Tak-Kwan Lee: A 100-MIPS GaAs Asynchronous Microprocessor. IEEE Design & Test of Computers 11(2): 43-49 (1994)
1992
23 Alain J. Martin: Tomorrow's Digital Hardware will be Asynchronous and Verified. IFIP Congress (1) 1992: 684-695
22EEAlain J. Martin: Translating Concurrent Programs into VLSI Chips. PARLE 1992: 515-532
21 Alain J. Martin: Asynchronous Datapaths and the Design of an Asynchronous Adder. Formal Methods in System Design 1(1): 117-137 (1992)
1990
20 Alain J. Martin, Jan L. A. van de Snepscheut: An Interconnection Network for Distributed Recursive Computations. IEEE Trans. Computers 39(11): 1393-1395 (1990)
19 H. Peter Hofstee, Alain J. Martin, Jan L. A. van de Snepscheut: Distributed Sorting. Sci. Comput. Program. 15(2-3): 119-133 (1990)
1989
18EEAlain 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
17 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)
1986
16 Peyyun Peggy Li, Alain J. Martin: The Sneptree : A Versatile Interconnection Network. ICPP 1986: 20-27
15 Peyyun Peggy Li, Alain J. Martin: The Sync Model: A Parallel Execution Method for Logic Programming. SLP 1986: 223-234
14 Alain J. Martin: Compiling Communicating Processes Into Delay-Insensitive VLSI Circuits. Distributed Computing 1(4): 226-234 (1986)
13 Alain J. Martin: A New Generalization of Dekker's Algorithm for Mutual Exclusion. Inf. Process. Lett. 23(6): 295-297 (1986)
1985
12 Alain J. Martin: The Probe: An Addition to Communication Primitives. Inf. Process. Lett. 20(3): 125-130 (1985)
11 Alain J. Martin, Jerry R. Burch: Fair Mutual Exclusion with Unfair P and V Operations. Inf. Process. Lett. 21(2): 97-100 (1985)
10 Alain J. Martin: Distributed Mutual Exclusion on a Ring of Processes. Sci. Comput. Program. 5(3): 265-276 (1985)
1984
9 Alain J. Martin, Martin Rem: A Presentation of the Fibonacci Algorithm. Inf. Process. Lett. 19(2): 67-68 (1984)
1983
8 Alain J. Martin: A General Proof Rule for Procedures in Predicate Transformer Semantics. Acta Inf. 20: 301-313 (1983)
7 Alain J. Martin: Verteilte Ausführung rekursiver Algorithmen auf Gittern von Prozessoren. Elektronische Rechenanlagen 25(1): 12-19 (1983)
6EEK. Mani Chandy, Alain J. Martin: A Characterization of Product-Form Queuing Networks J. ACM 30(2): 286-299 (1983)
1981
5 Alain J. Martin: An Axiomatic Definition of Synchronization Primitives. Acta Inf. 16: 219-235 (1981)
1980
4 Alain J. Martin: A Distributed Implementation Method for Parallel Programming. IFIP Congress 1980: 309-314
1979
3 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
2 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
1 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

1Ralph-Johan Back [25] [26]
2Drazen Borkovic [24]
3Jerry R. Burch [11]
4K. Mani Chandy [6]
5Jonathan Chang [38]
6Uri Cummings [28]
7Edsger W. Dijkstra [1] [2]
8David Gries [17]
9H. Peter Hofstee [19]
10Wonjin Jang [40]
11Joep L. W. Kessels [3]
12Kevin S. Ko [38]
13Leslie Lamport [1] [2]
14Benjamin Lee [38]
15Tak-Kwan Lee [24] [30]
16Peyyun Peggy Li [15] [16]
17Andrew Lines [28]
18Rajit Manohar [28] [29] [30] [32]
19Mika Nyström [28] [32] [33] [36] [38] [39]
20Elaine Ou [38] [39]
21Karl Papadantonakis [38]
22Paul I. Pénzes [28] [33] [34] [35] [38]
23Piyush Prakash [38] [42]
24James Pugh [38]
25Martin Rem [9]
26Carel S. Scholten [1] [2]
27Kaisa Sere [25] [26]
28Jan L. A. van de Snepscheut [17] [19] [20]
29Robert Southworth [28]
30Elisabeth F. M. Steffens (Liesbeth Steffens) [1] [2]
31Eino-Ville Talvala [38]
32José A. Tierno [24]
33James T. Tong [38]
34Ahmet Tura [38]
35Jan Tijmen Udding [17]
36Catherine G. Wong [36] [37] [38]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)