"Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Sequential Models of Mathematical Physics	Simon Serovajsky	2019	Routledge
Consistency Problems for Heath-Jarrow-Morton Interest Rate Models	Damir Filipovic	2001	Springer Berlin Heidelberg
Attention and Memory-Augmented Networks for Dual-View Sequential Learning	Yong He, Cheng Wang, Nan Li, Zhenyu Zeng	2020	Association for Computing Machinery
A primer on memory consistency and cache coherence	Daniel J. Sorin	2011	Morgan & Claypool
Fearless flying: the complete program for relaxed air travel	Albert G. Forgione	1980	Houghton Mifflin
Fearless flying: the complete program for relaxed air travel	Albert G. Forgione	1980	Houghton Mifflin
The Sound of memory	Bonnemere, Eddie,; Redman, Don.	[19--?]	Roost Records,
Connectionist Models of Memory and Language (PLE: Memory)	Joseph P. Levy; Dimitrios Bairaktaris; John Bullinaria; Paul Cairns	1995	Routledge
Goble & Shea's complete wedding planner: for the organized and relaxed bride	Kathleen Goble	1999	Multnomah Publishers
Models of Wave Memory	Serguey Kashchenko	1st ed. 2015	Springer International Publishing
Models of Human Memory	Donald A. Norman	1970	Academic Press
Cognitive models of memory /	Conway, Martin A.,	1997.	MIT Press,
Connectionist models of memory and language /	Levy, Joseph P.,	1995.	UCL Press,
The role of limit pricing in sequential entry models	Jeffrey Church	1991	Institute for Economic Research, Queen's University
Models and Measures in Measurements and Monitoring	Vitaliy P. Babak; Serhii V. Babak; Volodymyr S. Eremenko; Yurii V. Kuts; Mykhailo V. Myslovych; Leonid M. Scherbak; Artur O. Zaporozhets	1st ed. 2021	Springer International Publishing
TLB consistency on highly-parallel shared-memory multiprocessors	Patricia J. Teller	1987	Courant Institute of Mathematical Sciences, New York University
A Primer on Memory Consistency and Cache Coherence, Second Edition	Vijay Nagarajan; Daniel J. Sorin; Mark D. Hill; David A. Wood		Springer International Publishing
Models Of Short-Term Memory	Susan E. Gathercole	1996	Routledge
Models of short-term memory /	Gathercole, Susan E.	[1996], ©1996.	Psychology Press,
Parallel models of associative memory	Anderson, James A.	1981	Lawrence Erlbaum Associates
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models	Jabob Burnim; Koushik Sen; Christos Stergiou	Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings	Parosh Aziz Abdulla; K. Rustan M. Leino	2011	Springer Berlin Heidelberg
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models		Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceedings	Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)	2013	Springer Nature.
Relaxed Memory Consistency Models		Encyclopedia of Parallel Computing	David Padua	2011	Springer US
91 Relaxed Memory Consistency Models		Parallel Computer Architecture: A Hardware/Software Approach	Culler, David E.; Singh, Jaswinder Pal	1998;1999	Morgan Kaufmann Publishers
Relaxed Memory Consistency	Vijay Nagarajan; Daniel J. Sorin; Mark D. Hill; David A. Wood	A Primer on Memory Consistency and Cache Coherence, Second Edition	Vijay Nagarajan; Daniel J. Sorin; Mark D. Hill; David A. Wood		Springer International Publishing
Relaxed Memory Consistency		A Primer on Memory Consistency and Cache Coherence: Second Edition (Synthesis Lectures on Computer Architecture)	Vijay Nagarajan, Daniel J. Sorin, Mark D. Hill	2020	MORGAN & CLAYPOOL
Relaxed Memory Consistency		Using OpenCL: Programming Massively Parallel Computers	J. Kowalik, T. Puzniakowski	2012	IOS Press
5. Relaxed memory consistency		A primer on memory consistency and cache coherence	Daniel J. Sorin	2011	Morgan & Claypool
B71 Relaxed Memory Consistency		The Art of Multiprocessor Programming, Revised Reprint	Maurice Herlihy, Nir Shavit	2012	Morgan Kaufmann
Memory Consistency Motivation and Sequential Consistency	Vijay Nagarajan; Daniel J. Sorin; Mark D. Hill; David A. Wood	A Primer on Memory Consistency and Cache Coherence, Second Edition	Vijay Nagarajan; Daniel J. Sorin; Mark D. Hill; David A. Wood		Springer International Publishing
Memory Consistency Motivation and Sequential Consistency		A Primer on Memory Consistency and Cache Coherence: Second Edition (Synthesis Lectures on Computer Architecture)	Vijay Nagarajan, Daniel J. Sorin, Mark D. Hill	2020	MORGAN & CLAYPOOL
Modeling relaxed memory consistency protocols	Christoph Lindemann; Friedrich Schön	Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools ' 95, 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB ' 95Heidelberg, Germany, Septem	Heinz Beilner; Falko Bause	1995	Springer Berlin Heidelberg
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models	Tatsuya Abe; Toshiyuki Maeda	Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings	Atsushi Igarashi	1st ed. 2016	Springer International Publishing
Relaxed Consistency Models: The Basics		Computer Architecture: A Quantitative Approach	John L. Hennessy, David A. Patterson	2011	Elsevier
3. Memory consistency motivation and sequential consistency		A primer on memory consistency and cache coherence	Daniel J. Sorin	2011	Morgan & Claypool
Relaxed Consistency Models: The Basics and Release Consistency		Computer architecture: a quantitative approach	Hennessy, John L.; Patterson, David A	2017;2019	Morgan Kaufmann Publishers; Elsevier : MK
Memory Consistency Models	Yan Solihin	Fundamentals of Parallel MULTICORE Architecture	Yan Solihin	2015	Routledge
Memory Consistency Models		Encyclopedia of Parallel Computing	David Padua	2011	Springer US
Memory Consistency Models		Concurrent Programming on Windows	Joe Duffy	2008	Addison-Wesley Professional
Predicate Abstraction for Relaxed Memory Models	Andrei Marian Dan; Yuri Meshman; Martin Vechev; Eran Yahav	Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings	Francesco Logozzo; Manuel Fähndrich	2013	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models" - similar Books and Chapters