Referenced Items are not available for this document.
A multiprocess program executing on a modern multiprocessor must issue explicit commands to synchronize memory accesses. A method is proposed for deriving the necessary commands from a correctness proof of the underlying algorithm in a formalism based on temporal relations among operation executions
Published in:
Computers, IEEE Transactions on
(Volume:46
,
Issue:
7
)
Date of Publication: Jul 1997
- Page(s):
- 779 - 782
- ISSN :
- 0018-9340
- INSPEC Accession Number:
- 5667994
- Digital Object Identifier :
- 10.1109/12.599898
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 06 August 2002
- Issue Date :
- Jul 1997
- Sponsored by :
- IEEE Computer Society
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
