First Page | Document Content | |
---|---|---|
![]() Date: 2009-12-09 12:25:29Computer memory Concurrency control Concurrency Compiler construction Parallel computing Memory model Java memory model Memory barrier OpenMP Thread Synchronization Stream processing | Add to Reading List |
![]() | Understanding POWER Multiprocessors Susmit Sarkar1 1 Peter Sewell1DocID: 1rpAG - View Document |
![]() | University of London Imperial College London of Science, Technology and Medicine Department of Computing Soft Real-time Garbage Collection for Dynamic Dispatch LanguagesDocID: 1rlOP - View Document |
![]() | The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1DocID: 1r4yz - View Document |
![]() | Review of last lecture Architecture case studies Memory performance is often the bottleneck Parallelism grows with compute performanceDocID: 1qSE1 - View Document |
![]() | Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3DocID: 1qKim - View Document |