| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alain J. Martin |
Asynchronous logic for high variability nano-CMOS.  |
ICECS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
Can Asynchronous Techniques Help the SoC Designer? |
VLSI-SoC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piyush Prakash, Alain J. Martin |
Slack Matching Quasi Delay-Insensitive Circuits. |
ASYNC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wonjin Jang, Alain J. Martin |
SEU-Tolerant QDI Circuits. |
ASYNC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Nyström, Elaine Ou, Alain J. Martin |
An Eight-Bit Divider Implemented in Asynchronous Pulse Logic. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin, Mika Nyström, Catherine G. Wong |
Three Generations of Asynchronous Microprocessors. |
IEEE Design & Test of Computers |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine G. Wong, Alain J. Martin |
High-level synthesis of asynchronous systems by data-driven decomposition. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
asynchronous VLSI, high-level synthesis |
| 1 | Paul I. Pénzes, Alain J. Martin |
Energy-delay efficiency of VLSI computations. |
ACM Great Lakes Symposium on VLSI |
2002 |
DBLP DOI BibTeX RDF |
energy-delay optimization, transistor sizing |
| 1 | Paul I. Pénzes, Alain J. Martin |
An Energy Estimation Method for Asynchronous Circuits with Application to an Asynchronous Microprocessor. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
energy-delay optimization, transistor sizing |
| 1 | Alain J. Martin |
Towards an energy complexity of computation. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajit Manohar, Mika Nyström, Alain J. Martin |
Precise Exceptions in Asynchronous Processors. |
ARVLSI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajit Manohar, Tak-Kwan Lee, Alain J. Martin |
Projection: A Synthesis Technique for Concurrent Systems. |
ASYNC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajit Manohar, Alain J. Martin |
Slack Elasticity in Concurrent Computing. |
MPC |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph-Johan Back, Alain J. Martin, Kaisa Sere |
Specifying the Caltech Asynchronous Microprocessor. |
Sci. Comput. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
A program transformation approach to asynchronous VLSI design. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ralph-Johan Back, Alain J. Martin, Kaisa Sere |
An Action System Specification of the Caltech Asynchronous Microprocessor. |
MPC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | José A. Tierno, Alain J. Martin, Drazen Borkovic, Tak-Kwan Lee |
A 100-MIPS GaAs Asynchronous Microprocessor. |
IEEE Design & Test of Computers |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
Asynchronous Datapaths and the Design of an Asynchronous Adder. |
Formal Methods in System Design |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
Translating Concurrent Programs into VLSI Chips. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
Tomorrow's Digital Hardware will be Asynchronous and Verified. |
IFIP Congress |
1992 |
DBLP BibTeX RDF |
|
| 1 | H. Peter Hofstee, Alain J. Martin, Jan L. A. van de Snepscheut |
Distributed Sorting. |
Sci. Comput. Program. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin, Jan L. A. van de Snepscheut |
An Interconnection Network for Distributed Recursive Computations. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
A New Generalization of Dekker's Algorithm for Mutual Exclusion. |
Inf. Process. Lett. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
Compiling Communicating Processes Into Delay-Insensitive VLSI Circuits. |
Distributed Computing |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Peyyun Peggy Li, Alain J. Martin |
The Sneptree : A Versatile Interconnection Network. |
ICPP |
1986 |
DBLP BibTeX RDF |
|
| 1 | Peyyun Peggy Li, Alain J. Martin |
The Sync Model: A Parallel Execution Method for Logic Programming. |
SLP |
1986 |
DBLP BibTeX RDF |
|
| 1 | Alain J. Martin, Jerry R. Burch |
Fair Mutual Exclusion with Unfair P and V Operations. |
Inf. Process. Lett. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
The Probe: An Addition to Communication Primitives. |
Inf. Process. Lett. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
Distributed Mutual Exclusion on a Ring of Processes. |
Sci. Comput. Program. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin, Martin Rem |
A Presentation of the Fibonacci Algorithm. |
Inf. Process. Lett. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
A General Proof Rule for Procedures in Predicate Transformer Semantics. |
Acta Inf. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Alain J. Martin |
A Characterization of Product-Form Queuing Networks |
J. ACM |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
Verteilte Ausführung rekursiver Algorithmen auf Gittern von Prozessoren. |
Elektronische Rechenanlagen |
1983 |
DBLP BibTeX RDF |
|
| 1 | Alain J. Martin |
An Axiomatic Definition of Synchronization Primitives. |
Acta Inf. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain J. Martin |
A Distributed Implementation Method for Parallel Programming. |
IFIP Congress |
1980 |
DBLP BibTeX RDF |
|
| 1 | Joep L. W. Kessels, Alain J. Martin |
Two Implementations of the Conditional Critical Region Using a Split Binary Semaphore. |
Inf. Process. Lett. |
1979 |
DBLP DOI BibTeX RDF |
|
| 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. |
Commun. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")