The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alain J. Martin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.905secs, Finished in 0.907secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002