Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sara Royuela
OpenMP Tasking Model for Ada: Safety and Correctness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Community Safety Through Partnership Tasking
Injury Prevention
Environmental
Public Health
Occupational Health
2015 ADA: CV Safety, Diabetes Self-Management and Support
Pharmacy Today
Expressing the Formal Semantics of CSP and CP or ADA Tasking With the Temporal Logic Language XYZ/E.
Predicate Extension of Symbolic Memory Graphs for Analysis of Memory Safety Correctness
Proceedings of the Institute for System Programming of the RAS
Ensuring Correctness of Model Transformations While Remaining Decidable
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Evaluation Transformer Model of Reduction and Its Correctness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Transactional Memory for OpenMP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
General Correctness: A Unification of Partial and Total Correctness
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Ada Unseen // Invisible Ada
Ecozon@: European Journal of Literature, Culture and Environment
