Amanote Research
Register
Sign In
R-Shim: Deterministic Concurrency With Recursion and Shared Variables
doi 10.1109/memcod.2006.1695931
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
O. Tardieu
S.A. Edwards
Publisher
IEEE
Related search
Scalable Concurrency Control and Recovery for Shared Storage Arrays
Recursion and Double Recursion
Bulletin of the American Mathematical Society
Computer Performance Microscopy With Shim
A Sound and Complete Shared-Variable Concurrency Model for Multi-Threaded Java Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling Concurrency With Geometry
Concurrency Debugging With MaxSMT
Proceedings of the AAAI Conference on Artificial Intelligence
Optimistic Concurrency With OPTIK
ACM SIGPLAN Notices
Computer Science
Iteration and Recursion
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Expressing Environment Assumptions and Real-Time Requirements for a Distributed Embedded System With Shared Variables
IFIP – The International Federation for Information Processing
