Search results for "sequential consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Torrellas, J.-W. Lee, Xing Fang, Samuel P. Midkiff, David Wong	BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support.	MICRO	2009	DBLP DOI BibTeX RDF	atomic region, chunk-based architecture, compiler optimization, sequential consistency
3	Luis Ceze, James Tuck, Pablo Montesinos, Josep Torrellas	BulkSC: bulk enforcement of sequential consistency.	ISCA	2007	DBLP DOI BibTeX RDF	bulk, chip multiprocessors, programmability, sequential consistency, memory consistency models
3	Michel Raynal, K. Vidyasankar	A Distributed Implementation of Sequential Consistency with Multi-Object Operations.	ICDCS	2004	DBLP DOI BibTeX RDF	Shared Objects Memory Abstraction, Message Passing, Asynchronous Distributed System, Sequential Consistency, Object Manager, Multi-Object Operation
3	Jesse D. Bingham, Anne Condon, Alan J. Hu	Toward a decidable notion of sequential consistency.	SPAA	2003	DBLP DOI BibTeX RDF	shared memory systems, memory model, sequential consistency
3	Michel Raynal	Sequential consistency as lazy linearizability.	SPAA	2002	DBLP DOI BibTeX RDF	sequential consistency, linearizability
3	Anne Condon, Alan J. Hu	Automatable verification of sequential consistency.	SPAA	2001	DBLP DOI BibTeX RDF	model checking, memory model, sequential consistency
3	Rob Gerth	Sequential Consistency and the Lazy Caching Algorithm.	Distributed Computing	1999	DBLP DOI BibTeX RDF	Weak memory models, Parallel program verification, Cache coherency, Sequential consistency
3	Gavin Lowe, Jim Davies	Using CSP to Verify Sequential Consistency.	Distributed Computing	1999	DBLP DOI BibTeX RDF	Lazy caching protocol, Verification, Specification, CSP, Sequential consistency
2	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy	DRFX: a simple and efficient memory model for concurrent programming languages.	PLDI	2010	DBLP DOI BibTeX RDF	memory model exception, soft fences, memory models, data races, sequential consistency
2	Yuelu Duan, Xiaobing Feng 0002, Lei Wang 0004, Chao Zhang, Pen-Chung Yew	Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs.	CGO	2009	DBLP DOI BibTeX RDF	delay set, fence, Sequential consistency, data race detection, relaxed memory model
2	Hans-Juergen Boehm, Sarita V. Adve	Foundations of the C++ concurrency memory model.	PLDI	2008	DBLP DOI BibTeX RDF	trylock, c++, memory model, data race, sequential consistency, memory consistency
2	Edya Ladan-Mozes, Charles E. Leiserson	A consistency architecture for hierarchical shared caches.	SPAA	2008	DBLP DOI BibTeX RDF	mapping collision, message race, progressive protocol, memory hierarchy, deadlock, sequential consistency, cache consistency, shared caches, fat-tree
2	Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld	Sequentially consistent versus linearizable counting networks.	Distributed Computing	2008	DBLP DOI BibTeX RDF	Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
2	Lisa Higham, LillAnne Jackson, Jalal Kawash	Specifying memory consistency of write buffer multiprocessors.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Memory consistency framework, partial store order, relaxed memory order, sparc multiprocessors, total store order, write-buffer architectures, coherence, sequential consistency, alpha
2	Cristian Tapus, David A. Noblet, Vlad Grama, Jason Hickey	MojaveFS: Providing Sequential Consistency in a Distributed Objects System.	ISPDC	2006	DBLP DOI BibTeX RDF
2	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Sequential Consistency.	ISCA	2005	DBLP DOI BibTeX RDF
2	Amir Kamil, Jimmy Su, Katherine A. Yelick	Making Sequential Consistency Practical in Titanium.	SC	2005	DBLP DOI BibTeX RDF
2	Christiane V. Pousa, Luís Fabrício Wanderley Góes, Dulcinéia Oliveira da Penha, Carlos Augusto Paiva da Silva Martins	Reconfigurable Sequential Consistency Algorithm.	IPDPS	2005	DBLP DOI BibTeX RDF
2	Chaiyasit Manovit, Sudheendra Hangal	Efficient algorithms for verifying memory consistency.	SPAA	2005	DBLP DOI BibTeX RDF	multiprocessor verification, total store order, sequential consistency, memory consistency models, vector clocks
2	Lisa Higham, Jalal Kawash	Impact of Instruction Re-Ordering on the Correctness of Shared-Memory Programs.	ISPAN	2005	DBLP DOI BibTeX RDF	Instruction re-ordering, High-performance multiprocessors, Mutual exclusion, Sequential consistency, Critical Sections, Memory consistency models
2	Michel Raynal, Matthieu Roy	Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.	PaCT	2005	DBLP DOI BibTeX RDF	Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability
2	Vicent Cholvi, Antonio Fernández, Ernesto Jiménez, Michel Raynal	A Methodological Construction of an Efficient Sequential Consistency Protocol.	NCA	2004	DBLP DOI BibTeX RDF
2	Vadim Iosevich, Assaf Schuster	A comparison of sequential consistency with home-based lazy release consistency for software distributed shared memory.	ICS	2004	DBLP DOI BibTeX RDF	home-based lazy release consistency, sequencial consistency, distributed shared memory, consistency model
2	Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang	Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.	CAV	2004	DBLP DOI BibTeX RDF
2	Shaz Qadeer	Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking.	IEEE Trans. Parallel Distrib. Syst.	2003	DBLP DOI BibTeX RDF	specifying and verifying and reasoning about programs, model checking, verification, multiprocessors, Logic design
2	Anne Condon, Alan J. Hu	Automatable Verification of Sequential Consistency.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
2	Michel Raynal	Token-Based Sequential Consistency in Asynchronous Distributed Systems.	AINA	2003	DBLP DOI BibTeX RDF
2	Wei-Yu Chen, Arvind Krishnamurthy, Katherine A. Yelick	Polynomial-Time Algorithms for Enforcing Sequential Consistency in SPMD Programs with Arrays.	LCPC	2003	DBLP DOI BibTeX RDF
2	Michel Raynal	Sequential Consistency as Lazy Linearizability.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
2	Tamarah Arons	Using Timestamping and History Variables to Verify Sequential Consistency.	CAV	2001	DBLP DOI BibTeX RDF
2	Jaejin Lee, David A. Padua	Hiding Relaxed Memory Consistency with a Compiler.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	relaxed memory consistency, fence, compiler, synchronization, NP-hard, dominator, Sequential consistency
2	Gabriel Girard, Hon Fung Li	Evaluation of Two Optimized Protocols for Sequential Consistency. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF
2	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.	CAV	1999	DBLP DOI BibTeX RDF
2	Bengt Jonsson, Amir Pnueli, Camilla Rump	Proving Refinement Using Transduction.	Distributed Computing	1999	DBLP DOI BibTeX RDF	Delayed simulation, Verification, Specification, Temporal logic, Refinement, Sequential consistency, Transduction
2	Paul F. Reynolds Jr., Craig Williams, Raymond R. Wagner Jr.	Isotach Networks.	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	interprocess coordination, isochronicity, interconnection networks, concurrency control, multiprocessor systems, atomicity, sequential consistency, Logical time
2	Michel Raynal, André Schiper	From Causal Consistency to Sequential Consistency in Shared Memory Systems.	FSTTCS	1995	DBLP DOI BibTeX RDF
2	Hagit Attiya, Jennifer L. Welch	Sequential Consistency versus Linearizability.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF
1	Changhui Lin, Vijay Nagarajan, Rajiv Gupta	Efficient Sequential Consistency Using Conditional Fences.	International Journal of Parallel Programming	2012	DBLP DOI BibTeX RDF
1	Phan Hong Giang	Decision with Dempster-Shafer belief functions: Decision under ignorance and sequential consistency.	Int. J. Approx. Reasoning	2012	DBLP DOI BibTeX RDF
1	Changhui Lin, Vijay Nagarajan, Rajiv Gupta, Bharghava Rajaram	Efficient sequential consistency via conflict ordering.	ASPLOS	2012	DBLP DOI BibTeX RDF
1		Sequential Consistency.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, Koushik Sen, Christos Stergiou	Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.	TACAS	2011	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Silvia Bonomi, Michel Raynal	Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems.	Euro-Par	2010	DBLP DOI BibTeX RDF
1	Changhui Lin, Vijay Nagarajan, Rajiv Gupta	Efficient sequential consistency using conditional fences.	PACT	2010	DBLP DOI BibTeX RDF
1	Yoichi Hirai	An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
1	Ernie Cohen, Bert Schirmer	From Total Store Order to Sequential Consistency: A Practical Reduction Theorem.	ITP	2010	DBLP DOI BibTeX RDF
1	Michelle L. Goodstein, Evangelos Vlachos, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry	Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring.	ASPLOS	2010	DBLP DOI BibTeX RDF	dynamic program monitoring, parallel programming, static analysis, data flow analysis
1	Yunji Chen, Weiwu Hu, Tianshi Chen, Ruiyang Wu	LReplay: a pending period based deterministic replay scheme.	ISCA	2010	DBLP DOI BibTeX RDF	global clock, pending period, physical time order, multi-core processor, deterministic replay, dfd
1	Peter Sewell	Memory, an elusive abstraction.	ISMM	2010	DBLP DOI BibTeX RDF	semantics, relaxed memory models
1	Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley	PACER: proportional detection of data races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, sampling, data races, bugs
1	Cormac Flanagan, Stephen N. Freund	Adversarial memory for detecting destructive races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions, relaxed memory models
1	Christian Cachin, Idit Keidar, Alexander Shraer	Fork sequential consistency is blocking.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
1	Wolfgang Puffitsch	Data caching, garbage collection, and the Java memory model.	JTRES	2009	DBLP DOI BibTeX RDF	Java memory model, garbage collection, data cache
1	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	PODC	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
1	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	SPAA	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
1	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Software Transactional Memory on Relaxed Memory Models.	CAV	2009	DBLP DOI BibTeX RDF
1	Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang	Abstraction for Concurrent Objects.	ESOP	2009	DBLP DOI BibTeX RDF
1	Christian Cachin, Idit Keidar, Alexander Shraer	Fork Sequential Consistency is Blocking	CoRR	2008	DBLP BibTeX RDF
1	Beverly A. Sanders, KyungHee Kim	Assertional reasoning about data races in relaxed memory models.	PPOPP	2008	DBLP DOI BibTeX RDF	assertions, memory model, data race, sequential consistency
1	Guoping Long, Nan Yuan, Dongrui Fan	Location Consistency Model Revisited: Problem, Solution and Prospects.	PDCAT	2008	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Aarti Gupta	Efficient Modeling of Concurrent Systems in BMC.	SPIN	2008	DBLP DOI BibTeX RDF
1	Zusong Li, Dandan Huan, Weiwu Hu, Zhimin Tang	Chip Multithreaded Consistency Model.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	Godson-2, computer architecture, multithreading, memory consistency model, event ordering
1	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
1	Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun	A theory of memory models.	PPOPP	2007	DBLP DOI BibTeX RDF	weak model, memory model, sequential consistency
1	Thomas F. Wenisch, Anastassia Ailamaki, Babak Falsafi, Andreas Moshovos	Mechanisms for store-wait-free multiprocessors.	ISCA	2007	DBLP DOI BibTeX RDF	store buffer design, memory consistency models
1	Christian Cachin, Abhi Shelat, Alexander Shraer	Efficient fork-linearizable access to untrusted shared memory.	PODC	2007	DBLP DOI BibTeX RDF	arbitrary failures, fork-consistency, storage emulations
1	Mohit Gambhir, Edward F. Gehringer, Yan Solihin	Animations of important concepts in parallel computer architecture.	WCAE	2007	DBLP DOI BibTeX RDF
1	Liqun Cheng, John B. Carter, Donglai Dai	An Adaptive Cache Coherence Protocol Optimized for Producer-Consumer Sharing.	HPCA	2007	DBLP DOI BibTeX RDF
1	Marco Galluzzi, Enrique Vallejo, Adrián Cristal, Fernando Vallejo, Ramón Beivide, Per Stenström, James E. Smith, Mateo Valero	Implicit Transactional Memory in Kilo-Instruction Multiprocessors.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
1	Amir Kamil, Katherine A. Yelick	Hierarchical Pointer Analysis for Distributed Programs.	SAS	2007	DBLP DOI BibTeX RDF
1	Thuan Quang Huynh, Abhik Roychoudhury	Memory model sensitive bytecode verification.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Programming language memory models, Software model checking, Bytecode verification
1	Dan Grossman, Jeremy Manson, William Pugh	What do high-level memory models mean for transactions?	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
1	Min Xu, Mark D. Hill, Rastislav Bodík	A regulated transitive reduction (RTR) for longer memory race recording.	ASPLOS	2006	DBLP DOI BibTeX RDF	race recording, multithreading, determinism
1	Arun Kejariwal, Hideki Saito, Xinmin Tian, Milind Girkar, Wei Li 0015, Utpal Banerjee, Alexandru Nicolau, Constantine D. Polychronopoulos	Lightweight lock-free synchronization methods for multithreading.	ICS	2006	DBLP DOI BibTeX RDF
1	Cristian Tapus, David A. Noblet, Jason Hickey	MojaveComm: A Robust Group Communication Library for Grid Environments.	ICNS	2006	DBLP DOI BibTeX RDF
1	Ivan Frain, Abdelaziz Mzoughi, Jean Paul Bahsoun	How to Achieve High Throughput with Dynamic Tree-Structured Coterie.	ISPDC	2006	DBLP DOI BibTeX RDF
1	Lisa Higham, Jalal Kawash	Tight Bounds for Critical Sections in Processor Consistent Platforms.	IEEE Trans. Parallel Distrib. Syst.	2006	DBLP DOI BibTeX RDF	processor consistency, multiwriter/single-writer variables, mutual exclusion, Memory consistency models
1	Thuan Quang Huynh, Abhik Roychoudhury	A Memory Model Sensitive Checker for C#.	FM	2006	DBLP DOI BibTeX RDF
1	Wim H. Hesselink	Refinement verification of the lazy caching algorithm.	Acta Inf.	2006	DBLP DOI BibTeX RDF
1	Ali Sezgin, Ganesh Gopalakrishnan	On the definition of sequential consistency.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
1	Vadim Iosevich, Assaf Schuster	Software Distributed Shared Memory: a VIA-based implementation and comparison of sequential consistency with home-based lazy release consistency.	Softw., Pract. Exper.	2005	DBLP DOI BibTeX RDF
1	Francisco J. Torres-Rojas, Esteban Meneses	Applying Sequential Consistency to Web Caching.	PDPTA	2005	DBLP BibTeX RDF
1	Yuan Zhang, Weirong Zhu, Fei Chen, Ziang Hu, Guang R. Gao	Sequential Consistency Revisit: The Sufficient Condition and Method to Reason the Consistency Model of a Multiprocessor-on-a-Chip Architecture.	Parallel and Distributed Computing and Networks	2005	DBLP BibTeX RDF
1	Jeremy Manson, William Pugh, Sarita V. Adve	The Java memory model.	POPL	2005	DBLP DOI BibTeX RDF	Java, concurrency, multithreading, memory model
1	Zehra Sura, Xing Fang, Chi-Leung Wong, Samuel P. Midkiff, Jaejin Lee, David A. Padua	Compiler techniques for high performance sequentially consistent java programs.	PPOPP	2005	DBLP DOI BibTeX RDF	java, synchronization, multithread, memory consistency
1	Michel Raynal, Matthieu Roy, Ciprian Tutu	A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations.	AINA	2005	DBLP DOI BibTeX RDF
1	Zhiyuan Zhan, Mustaque Ahamad, Michel Raynal	Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users.	ICDCS	2005	DBLP DOI BibTeX RDF
1	Ali Sezgin, Ganesh Gopalakrishnan	On the decidability of shared memory consistency verification.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Alba Cristina Magalhaes Alves de Melo, Nilo S. B. Silva, Hammurabi C. Mendes, Diego F. Aranha	Obtaining possible execution histories on multiple memory consistency models.	SCCC	2005	DBLP DOI BibTeX RDF
1	Jason F. Cantin, Mikko H. Lipasti, James E. Smith	The Complexity of Verifying Memory Coherence and Consistency.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	design styles, nonnumerical algorithms and problems, sequencing and scheduling, fault-tolerance, reliability, testing, shared memory, Hardware, theory of computation, error-checking, memory structures
1	Liran Liss, Yitzhak Birk, Assaf Schuster	In-Kernel Integration of Operating System and Infiniband Functions for High Performance Computing Clusters: A DSM Example.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	parallel computing, distributed shared memory, high-speed networks, Hardware/software interfaces
1	Lisa Higham, Jalal Kawash	Can Out-of-Order Instruction Execution in Multiprocessors Be Made Sequentially Consistent?.	NPC	2005	DBLP DOI BibTeX RDF
1	Jerzy Brzezinski, Jacek Kobusinski, Dariusz Wawrzyniak	Multi-version Coherence Protocol for Replicated Shared Objects.	PPAM	2005	DBLP DOI BibTeX RDF
1	Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White	A Mechanism for Sequential Consistency in a Distributed Objects System.	ISCA PDCS	2004	DBLP BibTeX RDF
1	Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan	TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model.	ISCA	2004	DBLP DOI BibTeX RDF	Multiprocessor verification, Total Store Order, Sequential Consistency, Memory consistency models
1	Nasser Kalantery	The MultiLoop Programming Construct.	HIPS	2004	DBLP DOI BibTeX RDF
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind	Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak	From Session Causality to Causal Consistency.	PDP	2004	DBLP DOI BibTeX RDF	remote objects, shared objects, consistency models, session guarantees
1	Vadim Iosevich, Assaf Schuster	Distributed Shared Memory: To Relax or Not to Relax?	Euro-Par	2004	DBLP DOI BibTeX RDF
1	Amol Nayate, Michael Dahlin, Arun Iyengar	Transparent Information Dissemination.	Middleware	2004	DBLP DOI BibTeX RDF