Edgar F. A. Lederer

Publication Activity (10 Years)

Years Active: 1993-2001
Publications (10 Years): 0

Publications

Edgar F. A. Lederer, Romeo A. Dumitrescu
Automatic Result Verification by Complete Run-Time Checking of Computations. Int. J. Found. Comput. Sci. 12 (1) (2001)
Romeo A. Dumitrescu, Edgar F. A. Lederer
Two-Stage Programming of Parallel and Distributed Applications. Applied Informatics (1999)
Romeo A. Dumitrescu, Edgar F. A. Lederer
Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model. SAC (1999)
Edgar F. A. Lederer, Romeo A. Dumitrescu
Specification-consistent coordination model for computations. SAC (1998)
Edgar F. A. Lederer, Romeo A. Dumitrescu
Two-Stage Programming. Fuji International Symposium on Functional and Logic Programming (1998)
Peter G. Kropf, Edgar F. A. Lederer, Thomas Steffen, Karl Guggisberg, Jean-Guy Schneider, Peter Schwab
SPINET: A Parallel Computing Approach to Spine Simulations. Sci. Program. 5 (1) (1996)
Edgar F. A. Lederer
David E Hudak and Santosh G Abraham , Compiling Parallel Loops for High Performance Computers: Partitioning, Data Assignment and Remapping, Kluwer Academic, Dordrecht, The Netherlands (1992) ISBN 0 7923 9283 3, p. 176 £37.25. Microprocess. Microsystems 17 (9) (1993)