Back to Results
First PageMeta Content
Computer memory / Assembly languages / Low-level programming language / MOV / X86 / Spinlock / Memory barrier / Memory ordering / Parallel computing / Computer architecture / Computing / X86 architecture


The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1
Add to Reading List

Document Date: 2008-11-13 18:04:35

Open Document

File Size: 285,42 KB

Share Result on Facebook

City

Savannah / /

Company

AMD / Intel / /

Country

United States / /

Currency

pence / USD / /

Event

FDA Phase / /

Facility

Total Store / /

IndustryTerm

software transactional memory / particular processors / cache coherency protocol / later processors / actual hardware / machinery / particular devices / concurrent systems / x86sem tool / actual processors / particular processor / litmus tool / sample devices / software verification / /

Person

Stream Architectures (Multiprocessors) / Francesco Zappa / /

/

Position

model for future software verification / HOL proof assistant / General / programmer / /

Product

Intel 64 / to / /

ProvinceOrState

ยง3.3 / Georgia / /

Technology

one processor / cache coherency protocol / 4 processors / particular processor / 4 processor / two processors / particular processors / same processor / Sequential Consistency / shared memory / issuing processor / CMP / /

URL

http /

SocialTag