Pugh - PDFSEARCH.IO - Document Search Engine

Pugh
Results: 440

#	Item
381	January 21, 2004, 1:51pm Proof sketch that Manson/Pugh allows reordering Consider a program P and the program P 0 that is obtained from P by reordering two adjacent statements x and y. Let x be the statement that comes Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-01-21 13:53:53 Constructible universe Expected value
382	August 29th: One Page Informal Description of Manson/Pugh model hb hb There is a happens-before relation → defined on actions i → j if i is before j in program Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-08-29 17:09:08 Lock Constructible universe Theoretical physics Science Philosophy Epistemology Econometrics Conditionals Causality Philosophy of science
383	Correct and Efficient Synchronization of ™ Java Technologybased Threads Doug Lea and William Pugh http://gee.cs.oswego.edu Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2000-07-28 17:02:46 Concurrency Thread Lock Mutual exclusion Synchronization Java programming language Java concurrency Java Memory Model Computing Concurrency control Concurrent computing
384	Informal Description of Manson/Pugh model February 6, 2004, 1:45pm Note: the issue of what it means for an action to occur in more than one execution is elided. hb hb Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-02-06 13:47:14 Concurrency control Lock Justification Constructible universe Variable Group action Christian theology Christianity Algebra
385	Almost One Page Informal Description of Manson/Pugh model October 23, 2003, 6:18pm Note: the issue of what it means for an action to occur in more than one execution is elided. hb hb Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-10-24 05:48:40 Group action Mathematics Concurrency control Lock Constructible universe
386	Fixing the Java Memory Model William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-06-23 15:16:39 Computer memory Transaction processing Concurrency control Compiler construction Java Memory Model Thread Memory model Consistency model Lock Computing Software engineering Java platform
387	The Semantics of Multithreaded Java William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-09-22 10:56:06 Computer memory Compiler construction Concurrency Programming language design Memory model Consistency model Java Memory Model Thread Lock Computing Software engineering Concurrency control
388	February 6, 2004, 1:46pm Proof sketch that Manson/Pugh allows reordering Consider a program P and the program P 0 that is obtained from P by reordering two adjacent statements x and y. Let x be the statement that comes Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-02-06 13:47:14 Expected value Constructible universe
389	Proof sketch that Manson/Pugh allows reordering August 4, 2003, 2:51pm Consider a program P and the program P 0 that is obtained from P by reordering two adjacent statements x and y. Let x be the statement that comes bef Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-08-04 14:52:12 2nd millennium BC Amarna Period Ay Year of birth unknown
390	(To appear in Concurrency: Practice and Experience) The Java Memory Model is Fatally Flawed William Pugh Dept. of Computer Science Univ. of Maryland, College Park Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2002-04-22 19:37:42 C programming language Java platform Data types Computer memory Struct Java Memory Model Memory barrier Java bytecode Java Computing Software engineering Cross-platform software

UPDATE