Reliable and efficient matrix processing with the specification-consistent coordination model

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Reliable and efficient matrix processing with the specification-consistent coordination model

Full text

Pdf (380 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1999 ACM symposium on Applied computing table of contents

San Antonio, Texas, United States

Pages: 191 - 193

Year of Publication: 1999

ISBN:1-58113-086-4

Authors

Romeo A. Dumitrescu	Institut für Informatik, Universität Basel, Mittlere Strasse 142, CH-4056 Basel, Switzerland
Edgar F. A. Lederer	Institut für Informatik, Universität Basel, Mittlere Strasse 142, CH-4056 Basel, Switzerland

Sponsors

SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 5, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/298151.298239 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Michael R. Lyu, Handbook of software reliability and system reliability, McGraw-Hill, Inc., Hightstown, NJ, 1996
	2	Edgar F. A. Lederer , Romeo A. Dumitrescu, Specification-consistent coordination model for computations, Proceedings of the 1998 ACM symposium on Applied Computing, p.122-129, February 27-March 01, 1998, Atlanta, Georgia, United States [doi>10.1145/330560.330659]
	3	E. F. A. Lederer and IL A. Dumitreacu. Two-Stage Programming. In Proceedings of the Third Fuji international posium on Functional and Logic Programming (FLOPS'98), pages 296-311, Kyoto, JAPAN, 1998.
	4	Robert Sedgewick, Algorithms in C, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	5	Vipin Kumar , Ananth Grama , Anshul Gupta , George Karypis, Introduction to parallel computing: design and analysis of algorithms, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1994
	6	Hal Wasserman , Manuel Blum, Software reliability via run-time result-checking, Journal of the ACM (JACM), v.44 n.6, p.826-849, Nov. 1997 [doi>10.1145/268999.269003]
	7	Lawrence C. Paulson, ML for the working programmer (2nd ed.), Cambridge University Press, New York, NY, 1996