Edgar F. A. Lederer

According to our database, Edgar F. A. Lederer authored at least 7 papers between 1993 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Automatic Result Verification by Complete Run-Time Checking of Computations.

Edgar F. A. Lederer, Romeo A. Dumitrescu

Int. J. Found. Comput. Sci., 2001

1999

Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model.

Romeo A. Dumitrescu, Edgar F. A. Lederer

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Two-Stage Programming of Parallel and Distributed Applications.

Romeo A. Dumitrescu, Edgar F. A. Lederer

Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1998

Specification-consistent coordination model for computations.

Edgar F. A. Lederer, Romeo A. Dumitrescu

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

Two-Stage Programming.

Edgar F. A. Lederer, Romeo A. Dumitrescu

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1996

SPINET: A Parallel Computing Approach to Spine Simulations.

Peter G. Kropf, Edgar F. A. Lederer, Thomas Steffen, Karl Guggisberg, Jean-Guy Schneider, Peter Schwab

Sci. Program., 1996

1993

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.

Edgar F. A. Lederer

Microprocess. Microsystems, 1993