Alain J. Martin

61 papers A* 1A 1B 3C 1Journal 26Unranked 28

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