scientific article; zbMATH DE number 1091202

zbMATH Open0888.68043MaRDI QIDQ4366989FDOQ4366989

Authors: Monica Ciaca, Alexandru Vancea 

Publication date: 25 November 1997

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (9)

• Methods for controlled execution of nondeterministic communicating programs
• Efficient execution of nondeterministic parallel programs on asynchronous systems
• Programming Languages and Systems
• Fast Detection of Stable and Count Predicates in Parallel Computations
• 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
• Title not available (Why is that?)

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)