JADE - PDFSEARCH.IO - Document Search Engine

JADE
Results: 1374

#	Item
121	Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01
122	Fences in Weak Memory Models Jade Alglave1 , Luc Maranget1 , Susmit Sarkar2 , and Peter Sewell2 1 INRIA Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:00
123	An Axiomatic Memory Model for POWER Multiprocessors Sela Mador-Haim1 Luc Maranget2 Susmit Sarkar3 Kayvan Memarian3 Jade Alglave4 Scott Owens3 Rajeev Alur1 Milo M.K. Martin1 Peter Sewell3 Derek Williams5 1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-04-30 12:09:43
124	Weakness is a virtue Position paper proposed to EC2 2013 Jade Alglave University College London Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2013-10-17 16:32:42
125	Noname manuscript No. (will be inserted by the editor) Fences in Weak Memory Models (Extended Version) Jade Alglave1,3 · Luc Maranget1 · Susmit Sarkar2 · Peter Sewell2 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01
126	In Kooperation mit: Jade Hochschule Hochschule Emden/Leer Aufruf zur Einreichung von Konferenzbeiträgen Add to Reading List Source URL: www.wissnet.de Language: German - Date: 2015-07-07 15:05:06
127	Form Methods Syst Des:178–210 DOIs10703A formal hierarchy of weak memory models Jade Alglave Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01
128	Call for papers Excellence for everybody!? Citizen Science, Universities and Science Shops – looking ahead! Oldenburg, 06. and 07. November 2015 Venue: Jade University of Applied Sciences, Oldenburg Organiser: Science Add to Reading List Source URL: www.wissnet.de Language: English - Date: 2015-07-02 03:17:22
129	Stability in Weak Memory Models Jade Alglave1,2 and Luc Maranget2 1 Oxford University 2 INRIA Add to Reading List Source URL: offence.inria.fr Language: English - Date: 2011-04-25 10:30:03
130	Post-Car World: Why Laugh at Change? Definitions of the Car and Potential Changes Alexandre Rigal, CEAT, EPFL Jade Rudler, Chôros, EPFL Translated by Annette Stomp Add to Reading List Source URL: www.strc.ch Language: English - Date: 2014-05-01 09:59:08 Sustainable transport Car Mobility cole Polytechnique Fdrale de Lausanne

UPDATE