UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

The Semantics of x86-CC Multiprocessor Machine Code

Sarkar, S; Sewell, P; Nardelli, FZ; Owens, S; Ridge, T; Braibant, T; Myreen, MO; (2009) The Semantics of x86-CC Multiprocessor Machine Code. In: (pp. pp. 379-391). ASSOC COMPUTING MACHINERY

Full text not available from this repository.
Type: Proceedings paper
Title: The Semantics of x86-CC Multiprocessor Machine Code
DOI: 10.1145/1480881.1480929
Keywords: Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Documentation, Reliability, Standardization, Theory, Verification, Relaxed Memory Models, Semantics, SHARED-MEMORY, MODELS
URI: http://discovery.ucl.ac.uk/id/eprint/1366417
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item