scientific article; zbMATH DE number 824665

MaRDI QIDQ4857967zbMATH OpenFDO

Authors Prithviraj Banerjee, Vijay Balasubramanian, Amber Roy-Chowdhury

Publication date 27 May 1996

zbMATH Keywords

compilerperfect benchmark suiteVLSI components

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Theory of compilers and interpreters (68N20)

Recommendations

• Designing programs that check their work
• Translation and run-time validation of loop transformations
• Synthesis of self-checking checkers for codes with addition
• Algorithm-based fault location and recovery for matrix computations on multiprocessor systems
• Designing checkers for programs that run in parallel

Cited in

(3)

• Designing checkers for programs that run in parallel
• A formal method for determining the state of processors in a multiprocessor system under testing
• Checking a Multithreaded Algorithm with  + CAL

Describes a project that uses

Uses Software

• EISPACK
• LINPACK

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4857967)