메뉴 건너뛰기




Volumn 2860, Issue , 2003, Pages 81-95

Analyzing the Intel Itanium memory ordering rules using logic programming and SAT

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER PROGRAMMING LANGUAGES; DESIGN; FORMAL LOGIC; PROGRAM PROCESSORS; SEMANTICS;

EID: 0142214509     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39724-3_9     Document Type: Article
Times cited : (17)

References (21)
  • 8
    • 0018518477 scopus 로고
    • How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
    • Leslie Lamport: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, 28(9): 690-691 (1979)
    • (1979) IEEE Transactions on Computers , vol.28 , Issue.9 , pp. 690-691
    • Lamport, L.1
  • 10
    • 35248844825 scopus 로고    scopus 로고
    • through personal communication
    • Yuan Yu, through personal communication
    • Yu, A.1
  • 11
    • 84855630973 scopus 로고    scopus 로고
    • Simplify, http://research.compaq.com/SRC/esc/Simplify.html
    • Simplify
  • 12
    • 84855627139 scopus 로고    scopus 로고
    • TLA+, http://research.microsoft.com/users/lamport/tla/tla.html
    • TLA+
  • 13
  • 18
  • 21
    • 0042134797 scopus 로고    scopus 로고
    • A Hybrid SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions
    • June
    • Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant: A Hybrid SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions. 40th Design Automation Conference (DAC), pages 425-430 (June 2003)
    • (2003) 40th Design Automation Conference (DAC) , pp. 425-430
    • Seshia, S.A.1    Lahiri, S.K.2    Bryant, R.E.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.