scientific article; zbMATH DE number 1091202

MaRDI QIDQ4366989zbMATH OpenFDO

Authors Monica Ciaca, Alexandru Vancea

Publication date 25 November 1997

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Efficient detection of determinacy races in cilk programs
• scientific article; zbMATH DE number 5198953
• Encapsulating non-determinacy in an abstract data type with determinate semantics
• On nondeterminism in parallel computation

Cited in

(9)

• scientific article; zbMATH DE number 1755936 (Why is no real title available?)
• Methods for controlled execution of nondeterministic communicating programs
• Efficient execution of nondeterministic parallel programs on asynchronous systems
• Fast Detection of Stable and Count Predicates in Parallel Computations
• Programming Languages and Systems
• A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
• Local Nontermination Detection for Parallel C++ Programs
• Detection of parallel executable steps for programs with arrays
• Non-determinism analyses in a parallel-functional language

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