Author of the publication

Logic Machine Architecture: Kernel Funtions.

, , and . CADE, volume 138 of Lecture Notes in Computer Science, page 70-84. Springer, (1982)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using MPI: portable parallel programming with the message-passing interface, 2nd Edition., , and . Scientific and engineering computation series MIT Press, (1999)Non-Horn Problems., and . J. Autom. Reason., 1 (1): 103-114 (1985)Applications of the Aurora Parallel Prolog System to Computational Molecular Biology., , , and . ILPS, page 353-369. MIT Press, (1993)Optimizing Noncontiguous Accesses in MPI-IO, , and . CoRR, (2003)A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard., , , and . Parallel Comput., 22 (6): 789-828 (1996)An Interoperability Approach to System Software, Tools, and Libraries for Clusters., , , , and . Int. J. High Perform. Comput. Appl., 20 (3): 401-407 (2006)Slouching Towards Exascale.. Int. J. High Perform. Comput. Appl., 23 (4): 337-339 (2009)A Composition Environment for MPI Programs., , and . Int. J. High Perform. Comput. Appl., 21 (2): 166-173 (2007)Languages for High-Productivity Computing: the DARPA HPCS Language Project., and . Parallel Process. Lett., 17 (1): 89-102 (2007)Logic Machine Architecture: Kernel Funtions., , and . CADE, volume 138 of Lecture Notes in Computer Science, page 70-84. Springer, (1982)