Search results for "memory consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Robert C. Steinke, Gary J. Nutt	A unified theory of shared memory consistency.	J. ACM	2004	DBLP DOI BibTeX RDF	memory consistency model lattice, memory consistency models, Distributed shared memory systems
3	Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin	Specifying and dynamically verifying address translation-aware memory consistency.	ASPLOS	2010	DBLP DOI BibTeX RDF	virtual memory, memory consistency, address translation, dynamic verification
3	Surender Baswana, Shashank K. Mehta, Vishal Powar	Implied Set Closure and Its Application to Memory Consistency Verification.	CAV	2008	DBLP DOI BibTeX RDF	Memory consistency model verification, Incremental transitive closure, Total store order, Shared memory multi-processor
3	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
3	Lisa Higham, LillAnne Jackson, Jalal Kawash	Programmer-Centric Conditions for Itanium Memory Consistency.	ICDCN	2006	DBLP DOI BibTeX RDF	Programmer-centric memory consistency, Itanium multiprocessor
3	Lisa Higham, LillAnne Jackson, Jalal Kawash	Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture.	DISC	2006	DBLP DOI BibTeX RDF	Multiprocessor memory consistency, register and control dependency, process coordination, Itanium
3	Lisa Higham, LillAnne Jackson	Translating between itanium and sparc memory consistency models.	SPAA	2006	DBLP DOI BibTeX RDF	multiprocessors, program transformations, memory consistency models, sparc, itanium
3	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
3	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
3	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
3	Kathi Fisler, Claude Girault	Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.	ICATPN	1998	DBLP DOI BibTeX RDF	Protocol design and verification, model checking, distributed shared memory, high level Petri nets, memory consistency
3	Lisa Higham, Jalal Kawash	Java: Memory Consistency and Process Coordination.	DISC	1998	DBLP DOI BibTeX RDF	process coordination, critical section problem, producer/consumer problem, non-terminating systems, Java, Java Virtual Machine, memory consistency models
3	Yong-Kim Chong, Kai Hwang	Performance Analysis of Four Memory Consistency Models for Multithreaded Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF	latency hiding techniques, performance evaluation, Distributed shared memory, stochastic Petri nets, multithreaded processors, memory consistency models, context switching, scalable multiprocessors
3	Daniel H. Linder, James C. Harden	Access Graphs: A Model for Investigating Memory Consistency.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	access pipelining, synchronization, caches, computer architecture, computer architectures, synchronisation, shared memory systems, memory consistency, massively parallel systems
2	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.	IEEE Trans. Dependable Sec. Comput.	2009	DBLP DOI BibTeX RDF
2		Strong Memory Consistency.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2		Weak Memory Consistency.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2		Memory Consistency.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen, Haihua Shen, Pengyu Wang, Hong Pan	Fast complete memory consistency verification.	HPCA	2009	DBLP DOI BibTeX RDF
2	Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch	InvisiFence: performance-transparent memory ordering in conventional multiprocessors.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, memory consistency
2	Ayon Basumallik, Rudolf Eigenmann	Incorporation of OpenMP Memory Consistency into Conventional Dataflow Analysis.	IWOMP	2008	DBLP DOI BibTeX RDF
2	H'sien J. Wong, Jie Cai, Alistair P. Rendell, Peter E. Strazdins	Micro-benchmarks for Cluster OpenMP Implementations: Memory Consistency Costs.	IWOMP	2008	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Frédéric Pétrot, Alain Greiner, Pascal Gomez	On Cache Coherency and Memory Consistency Issues in NoC Based Shared Memory Multiprocessor SoC Architectures.	DSD	2006	DBLP DOI BibTeX RDF
2	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.	DSN	2006	DBLP DOI BibTeX RDF
2	Amitabha Roy 0002, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang	Fast and Generalized Polynomial Time Memory Consistency Verification.	CAV	2006	DBLP DOI BibTeX RDF
2	Chaiyasit Manovit, Sudheendra Hangal	Completely verifying memory consistency of test program executions.	HPCA	2006	DBLP DOI BibTeX RDF
2	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
2	Artemis A. Christopoulou, Eleftherios D. Polychronopoulos	Reducing Communication Overhead and Page Faults in SDSM Platforms.	Euro-Par	2006	DBLP DOI BibTeX RDF	Software DSM Systems, Clusters, Grids, Cache Coherence Protocols, Memory Consistency Models
2	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
2	Salvador Petit, Julio Sahuquillo, Ana Pont	A Comparison Study of the HLRC-DU Protocol versus a HLRC Hardware Assisted Protocol.	PDP	2005	DBLP DOI BibTeX RDF	Shared Virtual Memory Systems, Memory Consistency Protocols, Asyncrhonous Communication, Memory Consistency Models
2	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
2	Liang Peng, Weng-Fai Wong, Chung-Kwong Yuen	The Performance Model of SilkRoad - A Multithreaded DSM System for Clusters.	CCGRID	2003	DBLP DOI BibTeX RDF	theoretical performance model, memory consistency models, Software Distributed Shared Memory
2	Prosenjit Chatterjee, Ganesh Gopalakrishnan	A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols.	FMCAD	2002	DBLP DOI BibTeX RDF
2	Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan	Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking.	CAV	2002	DBLP DOI BibTeX RDF
2	Moritz Wende, Michael Schöttner, Ralph Göckelmann, T. Bindhammer, Peter Schulthess	Optimistic Synchronization and Transactional Consistency.	CCGRID	2002	DBLP DOI BibTeX RDF	Operating Systems, Transactions, Distributed Shared Memory, Memory Consistency
2	Liang Peng, Weng-Fai Wong, Chung-Kwong Yuen	SilkRoad II: A Multi-Paradigm Runtime System for Cluster Computing.	CLUSTER	2002	DBLP DOI BibTeX RDF	memory consistency models, parallel programming paradigm, Software DSM
2	Salvador Petit, Julio Sahuquillo, Ana Pont	Characterizing Parallel Workloads to Reduce Multiple Writer Overhead in Shared Virtual Memory Systems.	PDP	2002	DBLP DOI BibTeX RDF	shared virtual memory systems, memory consistency protocols, workload characterization
2	Mihai Surdeanu, Dan I. Moldovan	Design and Performance Analysis of a Distributed Java Virtual Machine.	IEEE Trans. Parallel Distrib. Syst.	2002	DBLP DOI BibTeX RDF	Object-oriented distributed shared memory, memory consistency protocols, performance analysis, Java Virtual Machine, consistency models
2	Robert C. Steinke, Gary J. Nutt	A Lattice Based Framework of Shared Memory Consistency Models.	ICDCS	2001	DBLP DOI BibTeX RDF
2	Lisa Higham, Jalal Kawash	Memory Consistency and Process Coordination for SPARC Multiprocessors.	HiPC	2000	DBLP DOI BibTeX RDF
2	Jaejin Lee, David A. Padua	Hiding Relaxed Memory Consistency with Compilers.	IEEE PACT	2000	DBLP DOI BibTeX RDF
2	Rajnish Ghughal, Ganesh Gopalakrishnan	Verification Methods for Weaker Shared Memory Consistency Models.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
2	Jalal Kawash, Lisa Higham	Memory consistency and process coordination for SPARC v8 multiprocessors (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF	SPARC
2	Guang R. Gao, Vivek Sarkar	Location Consistency-A New Memory Model and Cache Consistency Protocol.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	location consistency, cache consistency protocols, Memory consistency
2	Alba Cristina Magalhaes Alves de Melo	Defining Uniform and Hybrid Memory Consistency Models on a Unified Framework. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF
2	Alba Cristina Magalhaes Alves de Melo, Simone Cintra Chagas	Visual-MCM: Visualising Execution Histories on Multiple Memory Consistency Models.	ACPC	1999	DBLP DOI BibTeX RDF
2	Harjinder S. Sandhu	An Extensible Framework for Coherence in Distributed Shared Data Systems.	ISPAN	1999	DBLP DOI BibTeX RDF	parallel processing, distributed shared memory, memory consistency
2	Weisong Shi, Weiwu Hu, Zhimin Tang	An Interaction of Coherence Protocols and Memory Consistency Models in DSM Systems.	Operating Systems Review	1997	DBLP DOI BibTeX RDF
2	Jerry James, Ambuj K. Singh	Fault Tolerance Bounds for Memory Consistency.	WDAG	1997	DBLP DOI BibTeX RDF
2	Lisa Higham, Jalal Kawash	Critical Sections and Producer/Consumer Queues in Weak Memory Systems.	ISPAN	1997	DBLP DOI BibTeX RDF	critical section problem, producer/consumer problem, non-sequential systems, TSO, distributed shared memory, PSO, memory consistency models
2	Vijay S. Pai, Parthasarathy Ranganathan, Sarita V. Adve, Tracy Harton	An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors.	ASPLOS	1996	DBLP DOI BibTeX RDF
2	Christoph Lindemann, Friedrich Schön	Modeling Relaxed Memory Consistency Protocols.	MMB	1995	DBLP DOI BibTeX RDF
1	Weiwu Hu, Yunji Chen, Tianshi Chen, Cheng Qian, Lei Li	Linear Time Memory Consistency Verification.	IEEE Trans. Computers	2012	DBLP DOI BibTeX RDF
1	Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos	On ESL verification of memory consistency for system-on-chip multiprocessing.	DATE	2012	DBLP BibTeX RDF
1	Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin	Address Translation Aware Memory Consistency.	IEEE Micro	2011	DBLP DOI BibTeX RDF
1	Lisa Higham, Jalal Kawash, Abhijeet Pareek Pareek	Programmer-Centric Memory Consistency Modeling.	Bulletin of the EATCS	2011	DBLP BibTeX RDF
1		Memory Consistency Models.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1		Relaxed Memory Consistency Models.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Daniel J. Sorin, Mark D. Hill, David A. Wood	A Primer on Memory Consistency and Cache Coherence		2011	DOI RDF
1	Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin	Litmus tests for comparing memory consistency models: how long do they need to be?	DAC	2011	DBLP DOI BibTeX RDF
1	Abdul Naeem, Xiaowen Chen, Zhonghai Lu, Axel Jantsch	Realization and performance comparison of sequential and weak memory consistency models in network-on-chip based multi-core systems.	ASP-DAC	2011	DBLP DOI BibTeX RDF
1	Zheng Lv, Hao Chen, Feng Chen, Yi Lv	Fast Verification of Memory Consistency for Chip Multi-Processor.	CIS	2011	DBLP DOI BibTeX RDF
1	Lei Li, Tianshi Chen, Yunji Chen, Ling Li, Cheng Qian, Weiwu Hu	Brief announcement: program regularization in verifying memory consistency.	SPAA	2011	DBLP DOI BibTeX RDF
1	Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos	Automatic generation of memory consistency tests for chip multiprocessing.	ICECS	2011	DBLP DOI BibTeX RDF
1	Amitabha Roy 0002, Steven Hand, Timothy L. Harris	Weak atomicity under the x86 memory consistency model.	PPOPP	2011	DBLP DOI BibTeX RDF
1	Øystein Thorsen, Charles Wallace	Understanding relaxed memory consistency through interactive visualization.	SOFTVIS	2010	DBLP DOI BibTeX RDF
1	Anders Gidenstam, Håkan Sundell, Philippas Tsigas	Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency.	OPODIS	2010	DBLP DOI BibTeX RDF
1	Luke Dalessandro, Michael L. Scott, Michael F. Spear	Transactions as the Foundation of a Memory Consistency Model.	DISC	2010	DBLP DOI BibTeX RDF
1	Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin	Generating Litmus Tests for Contrasting Memory Consistency Models.	CAV	2010	DBLP DOI BibTeX RDF
1	Aaron Sterling	Memory Consistency Conditions for Self-Assembly Programming.	ICS	2010	DBLP BibTeX RDF
1	Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm	Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races.	ISCA	2010	DBLP DOI BibTeX RDF	multicores, threads, data-races, memory consistency models, bug detection
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	Aaron Sterling	Memory Consistency Conditions for Self-Assembly Programming	CoRR	2009	DBLP BibTeX RDF
1	Nikola Vujic, Lluc Alvarez, Marc González Tallada, Xavier Martorell, Eduard Ayguadé	Adaptive and Speculative Memory Consistency Support for Multi-core Architectures with On-Chip Local Memories.	LCPC	2009	DBLP DOI BibTeX RDF
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	Guoping Long, Dongrui Fan, Junchao Zhang	Architectural support for cilk computations on many-core architectures.	PPOPP	2009	DBLP DOI BibTeX RDF	parallel programming, many-core, memory consistency, cilk
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	Andreas Hansson, Kees Goossens	An on-chip interconnect and protocol stack for multiple communication paradigms and programming models.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	system on chip, network on chip, programming model, protocol stack
1	Joseph W. Lyles Jr.	Vertical Reuse Strategy for Testbench Components Supporting Memory Consistency Checking of an SMP-Capable AMD64 Processor.	MTV	2008	DBLP DOI BibTeX RDF
1	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
1	Theo Kluter, Philip Brisk, Paolo Ienne, Edoardo Charbon	Speculative DMA for architecturally visible storage in instruction set extensions.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	architecturally visible storage, speculative direct memory access, instruction set extensions, application-specific processors
1	Jaejin Lee, Sangmin Seo, Chihun Kim, Junghyun Kim, Posung Chun, Zehra Sura, Jungwon Kim, Sangyong Han	COMIC: a coherent shared memory interface for cell be.	PACT	2008	DBLP DOI BibTeX RDF	heterogeneous multicores, software shared virtual memory, OpenMP, software distributed shared memory, Cell BE
1	Liqun Cheng, John B. Carter	Extending CC-NUMA systems to support write update optimizations.	SC	2008	DBLP DOI BibTeX RDF
1	Victor Luchangco	Against lock-based semantics for transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	semantics, transactional memory, locks
1	Lei Gao, Ming-che Lai, Zhenghu Gong	Exploiting the Thread-Level Parallelism for BGP on Multi-core.	CNSR	2008	DBLP DOI BibTeX RDF	parallelism, multi-core, BGP
1	Kaiyu Chen, Sharad Malik, Priyadarsan Patra	Runtime validation of memory ordering using constraint graph checking.	HPCA	2008	DBLP DOI BibTeX RDF
1	Guoping Long, Nan Yuan, Dongrui Fan	Location Consistency Model Revisited: Problem, Solution and Prospects.	PDCAT	2008	DBLP DOI BibTeX RDF
1	Rainer Buchty, Oliver Mattes, Wolfgang Karl	Self-aware Memory: Managing Distributed Memory in an Autonomous Multi-master Environment.	ARCS	2008	DBLP DOI BibTeX RDF
1	Lei Gao, Zhenghu Gong, Yaping Liu, Ming-che Lai, Wei Peng	A TLP approach for BGP based on local speculation.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	local speculation, parallelism, multi-core, BGP
1	Lisa Higham, LillAnne Jackson, Jalal Kawash	What is Itanium Memory Consistency from the Programmer's Point of View?	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Hoeseok Yang, Sungchan Kim, Hae-woo Park, Jinwoo Kim, Soonhoi Ha	Performance evaluation and optimization of dual-port SDRAM architecture for mobile embedded systems.	CASES	2007	DBLP DOI BibTeX RDF	dual-port SDRAM, mobile embedded system, memory architecture
1	Mohit Gambhir, Edward F. Gehringer, Yan Solihin	Animations of important concepts in parallel computer architecture.	WCAE	2007	DBLP DOI BibTeX RDF
1	Jan Willem van den Brand, Marco Bekooij	Streaming consistency: a model for efficient MPSoC design.	DSD	2007	DBLP DOI BibTeX RDF
1	Todd J. Foster, Dennis L. Lastor, Padmaraj Singh	First Silicon Functional Validation and Debug of Multicore Microprocessors.	IEEE Trans. VLSI Syst.	2007	DBLP DOI BibTeX RDF
1	Lei Huang, Girija Sethuraman, Barbara M. Chapman	Parallel Data Flow Analysis for OpenMP Programs.	IWOMP	2007	DBLP DOI BibTeX RDF
1	Amitabha Roy 0002, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang	Fast and Generalized Polynomial Time Memory Consistency Verification	CoRR	2006	DBLP BibTeX RDF
1	Salvador Petit, Julio Sahuquillo, Ana Pont, David R. Kaeli	Addressing a workload characterization study to the design of consistency protocols.	The Journal of Supercomputing	2006	DBLP DOI BibTeX RDF	Memory consistency protocols, Performance evaluation, Workload characterization, Asynchronous communication, Shared virtual memory