scientific article; zbMATH DE number 2013195

MaRDI QIDQ4436362zbMATH OpenFDO

Authors Manuel Hermenegildo

Publication date 4 December 2003

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Descriptive complexity and finite models (68Q19)

Recommendations

• scientific article; zbMATH DE number 4052998
• scientific article; zbMATH DE number 125108
• scientific article; zbMATH DE number 1855971
• Formal methods of parallel software design automation
• PARAFRASE-2: AN ENVIRONMENT FOR PARALLELIZING, PARTITIONING, SYNCHRONIZING, AND SCHEDULING PROGRAMS ON MULTIPROCESSORS

Cited in

(3)

• ParForCE
• PARAFRASE-2: AN ENVIRONMENT FOR PARALLELIZING, PARTITIONING, SYNCHRONIZING, AND SCHEDULING PROGRAMS ON MULTIPROCESSORS
• scientific article; zbMATH DE number 4052998 (Why is no real title available?)

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 Q4436362)