scientific article; zbMATH DE number 1760165

MaRDI QIDQ4537169zbMATH OpenFDO

Authors Antonio J. Nebro, Ernesto Pimentel, J. M. Troya

Publication date 25 June 2002

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Programmer-centric memory consistency modelling
• Observation-based concurrent program logic for relaxed memory consistency models
• Specifying concurrent object-oriented systems
• scientific article; zbMATH DE number 1479623
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Leveraging access mode declarations in a model for memory consistency in heterogeneous systems

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