Alain J. Martin
19 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Alain J. Martin
Alain J. Martin, Caltech: a full programme from method to limit to silicon - a delay-insensitive fair arbiter, compiling CSP into DI circuits, the limits of delay-insensitivity, and QDI circuits shown Turing-complete.
CHP and CHPsim: A language and simulator for fine-grain distributed computation
Alain J. Martin and others (2011) · California Institute of Technology Department of Computer Science
Projection: a synthesis technique for concurrent systems
Rajit Manohar and others (1999) · IEEE Comput. Soc
Slack elasticity in concurrent computing
Rajit Manohar and others (1998) · Lecture notes in computer science · Springer Science+Business Media
The design of an asynchronous MIPS R3000 microprocessor
Alain J. Martin and others (1997)
Quasi-delay-insensitive circuits are Turing-complete
Rajit Manohar and others (1995) · California Institute of Technology
Tomorrow's Digital Hardware will be Asynchronous and Verified
Alain J. Martin (1993) · California Institute of Technology
Performance analysis and optimization of asynchronous circuits
Steven M. Burns and others (1991) · Advanced Research in VLSI 1991: Proceedings of the University of California, Santa Cruz, Conference
Synthesis of asynchronous VLSI circuits
Alain J. Martin (1991) · Course Notes, VLSI 91, Edinburgh, August
The Limitations to Delay-Insensitivity in Asynchronous Circuits
Alain J. Martin (1990) · Proceedings of the 6th MIT Conference on Advanced Research in VLSI · California Institute of Technology
The limitations to delay-insensitivity in asynchronous circuits
Alain J. Martin (1990) · Sixth MIT Conference on Advanced Research in VLSI · MIT Press
The design of an asynchronous microprocessor
Alain J. Martin and others (1989) · SIGARCH Comput. Archit. News
The design of a delay-insensitive microprocessor: An example of circuit synthesis by program transformation
Alain J. Martin (1989) · Hardware Specification, Verification and Synthesis: Mathematical Aspects
Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits
Alain J. Martin (1989) · CaltechAUTHORS (California Institute of Technology) · California Institute of Technology
Programming in VLSI: From communicating processes to delayinsensitive circuits
Alain J. Martin (1989) · UT Year of Programming Institute on Concurrent Programming · Addison-Wesley
Syntax-directed Translation of Concurrent Programs into Self-timed Circuits
Steven M. Burns and others (1988) · Advanced Research in VLSI · The MIT Press
Synthesis of Self-Timed Circuits by Program Transformation
Steven M. Burns and others (1987) · California Institute of Technology
A synthesis method for self-timed VLSI circuits
Alain J. Martin (1987) · Proceedings of the IEEE International Conference on Computer Design (ICCD)
Compiling Communicating Processes into Delay-Insensitive VLSI Circuits
Alain J. Martin (1986) · Distributed Computing · California Institute of Technology
A Delay-Insensitive Fair Arbiter
Alain J. Martin (1985) · California Institute of Technology