Search results for "cache coherence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Shigeki Shibayama, Kazumasa Hamaguchi, Toshiyuki Fukui, Yoshiaki Sudo, Tomohiko Shimoyama, Shuichi Nakamura	An Optical Bus Computer Cluster with a deferred cache coherence protocol. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	Optical Bus Computer Cluster, deferred cache coherence protocol, optical star-coupler, one-hop simultaneous broadcasting, wavelength multiplexing, deferred cache coherence, coherence maintenance, protocols, wavelength-division multiplexing, optical interconnections, cache storage
4	R. Kattner, M. Eger, Christian Müller-Schloer	Modeling Cache Coherence Overhead with Geometric Objects.	CONPAR	1994	DBLP DOI BibTeX RDF	cache coherence verhead, cache coherence block size, modeling, Shared memory multiprocessor, geometric objects
4	Qing Yang, George Thangadurai, Laxmi N. Bhuyan	Design of an Adaptive Cache Coherence Protocol for Large Scale Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	adaptive cache coherence protocol, cache-based multiprocessor, cache coherence scheme, memoryarchitecture, protocols, multiprocessor interconnection networks, multistage interconnection network, buffer storage, hierarchical network
3	Bo Zhang, Binoy Ravindran	Brief announcement: queuing or priority queuing? on the design of cache-coherence protocols for distributed transactional memory.	PODC	2010	DBLP DOI BibTeX RDF	distributed queuing, transactional memory, cache-coherence protocols
3	Thuy Duong Vu, Li Zhang, Chris R. Jesshope	The Verification of the On-Chip COMA Cache Coherence Protocol.	AMAST	2008	DBLP DOI BibTeX RDF	on-chip COMA cache coherence protocol, location consistency, verification, Abstract State Machine
3	Carla Diacui Medeiros Berkenbrock, Celso Massaki Hirata	Supporting Cache Coherence in Mobile Cooperative Systems.	NCA	2008	DBLP DOI BibTeX RDF	Mobile Cooperative Work, Cache Coherence
3	Ehsan Atoofian, Amirali Baniasadi, Kaveh Aasaraai	Speculative supplier identification for reducing power of interconnects in snoopy cache coherence protocols.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	interconnect, power, SMP, cache coherence protocol
3	Mirko Loghi, Massimo Poncino, Luca Benini	Cache coherence tradeoffs in shared-memory MPSoCs.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	low power, multiprocessor, system-on-chip, Cache coherence
3	Hong Pan, Huimin Lin, Yi Lv	Model Checking Data Consistency for Cache Coherence Protocols.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	value-passing, symbolic transition graphs, model checking, concurrent systems, cache coherence protocols
3	Mirko Loghi, Martin Letis, Luca Benini, Massimo Poncino	Exploring the energy efficiency of cache coherence protocols in single-chip multi-processors.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	low power, multiprocessor, system-on-chip, cache coherence
3	Taeweon Suh, Daehyun Kim, Hsien-Hsin S. Lee	Cache coherence support for non-shared bus architecture on heterogeneous MPSoCs.	DAC	2005	DBLP DOI BibTeX RDF	heterogeneous, cache coherence, MPSoC, real-time and embedded systems, inter-processor communication
3	H. Sarojadevi, S. K. Nandy, S. Balakrishnan	On the Correctness of Program Execution When Cache Coherence Is Maintained Locally at Data-Sharing Boundaries in Distributed Shared Memory Multiprocessors.	International Journal of Parallel Programming	2004	DBLP DOI BibTeX RDF	programmer-centric framework, release consistency memory model, performance evaluation, cache coherence, Distributed shared-memory multiprocessor
3	Giorgio Delzanno	Constraint-Based Verification of Parameterized Cache Coherence Protocols.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	constraints, abstractions, symbolic model checking, cache coherence protocols
3	Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu	Checking Cache-Coherence Protocols with TLA+.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	TLC, model checking, cache coherence, TLA+
3	Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema	Model Checking a Cache Coherence Protocol for a Java DSM Implementation.	IPDPS	2003	DBLP DOI BibTeX RDF	µCRL, Java, model checking, distributed shared memory, cache coherence protocols
3	Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D. Hill, Milo M. K. Martin, David A. Wood	Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol.	IEEE Trans. Parallel Distrib. Syst.	2002	DBLP DOI BibTeX RDF	multicast snooping, Cache coherence, protocol verification, protocol specification, memory consistency
3	Lynn Choi, Pen-Chung Yew	Compiler Analysis for Cache Coherence: Interprocedural Array Data-Flow Analysis and Its Impact on Cache Performance.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	Compiler, shared-memory multiprocessors, data-flow analysis, cache coherence, interprocedural analysis
3	Lynn Choi, Pen-Chung Yew	Hardware and Compiler-Directed Cache Coherence in Large-Scale Multiprocessors: Design Considerations and Performance Study.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	performance evaluation, compiler, Computer architecture, shared-memory multiprocessors, cache coherence, memory systems
3	Hock-Beng Lim, Pen-Chung Yew	Efficient Integration of Compiler-Directed Cache Coherence and Data Prefetching. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF	Compiler-directed Cache Coherence, Shared-memory Multiprocessors, Data Prefetching, Memory System Design
3	Inês de Castro Dutra, Vítor Santos Costa, Ricardo Bianchini	The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems.	Computational Logic	2000	DBLP DOI BibTeX RDF	dsm architectures, performance evaluation, parallelism, logic programming, cache coherence protocols
3	Satish Chandra, Brad Richards, James R. Larus	Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	distributed systems, verification, Domain-specific languages, continuations, cache coherence
3	Hock-Beng Lim, Pen-Chung Yew	An Integrated Framework for Compiler-Directed Cache Coherence and Data Prefetching.	LCPC	1998	DBLP DOI BibTeX RDF	Compiler-directed Cache Coherence, Memory Latency Hiding, Shared-memory Multiprocessors, Data Prefetching
3	Jonas Skeppstedt, Per Stenström	Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	performance evaluation, cache coherence, dataflow analysis
3	Fong Pong, Michel Dubois	Verification Techniques for Cache Coherence Protocols.	ACM Comput. Surv.	1996	DBLP DOI BibTeX RDF	state representation and expansion, finite state machine, shared-memory multiprocessors, cache coherence, protocol verification
3	Fong Pong, Michel Dubois	A New Approach for the Verification of Cache Coherence Protocols.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF	symbolic expansion, formal verification, finite state machine, shared-memory multiprocessor, Cache coherence protocol
3	Ricardo Bianchini, Leonidas I. Kontothanassis	Algorithms for categorizing multiprocessor communication under invalidate and update-based coherence protocols.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	shared-memory multiprocessor communication, invalidate-based cache coherence protocols, update-based cache coherence protocols, reference patterns, sharing patterns, useless data traffic, data traffic categorization, parallel programming, parallel programs, virtual machines, transaction processing, shared memory systems, coherence, cache storage, telecommunication traffic, cache misses, simulation algorithms, update transactions, memory protocols
3	David J. Lilja, Pen-Chung Yew	Improving Memory Utilization in Cache Coherence Directories.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	memory utilization, cache coherence directories, large-scale shared memorymultiprocessors, software-directed schemes, compile-time memory disambiguation, dynamically tagged directory, high-level sharing information, configurationmanagement, discrete event simulation, compiler optimizations, program compilers, shared memory systems, trace-driven simulations, buffer storage, storage allocation, interprocedural analysis
3	Sang Lyul Min, Jean-Loup Baer	Design and Analysis of a Scalable Cache Coherence Scheme Based on Clocks and Timestamps.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	cache contents reuse, scalable cache coherence, multiple privatecaches, compile-time marking, hardware-based local incoherence detection, program flow, parallel programming, shared memory multiprocessors, storage management, clocks, trace-driven simulation, buffer storage, timestamps, references
3	Hoichi Cheong	Life span strategy - a compiler-based approach to cache coherence.	ICS	1992	DBLP DOI BibTeX RDF	compiler-based cache coherence, fast selective invalidation, inter-task-level temporal locality, life span strategy, parallel task execution, simple invalidation, time-stamp approach, version control, Doacross loop
3	Hoichi Cheong, Alexander V. Veidenbaum	A version control approach to Cache coherence.	ICS	1989	DBLP DOI BibTeX RDF	parallel task execution, software-directed cache coherence, version control
3	Claude Girault, C. Chatelain, Serge Haddad	Specification and properties of a cache coherence protocol model.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF	verification, Petri nets, protocols, specification, multiprocessors, memory hierarchy, cache coherence
2	Ricardo Fernández Pascual, José M. García, Manuel E. Acacio, José Duato	Dealing with Transient Faults in the Interconnection Network of CMPs at the Cache Coherence Level.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	fault tolerance, interconnection network, cache coherence, transient faults
2	John H. Kelm, Daniel R. Johnson, William Tuohy, Steven S. Lumetta, Sanjay J. Patel	Cohesion: a hybrid memory model for accelerators.	ISCA	2010	DBLP DOI BibTeX RDF	computer architecture, cache coherence, accelerator
2	Arrvindh Shriraman, Sandhya Dwarkadas	Sentry: light-weight auxiliary memory access control.	ISCA	2010	DBLP DOI BibTeX RDF	sentry, access control, multiprocessors, safety, cache coherence, memory protection, protection domains
2	Bo Zhang, Binoy Ravindran	Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory.	OPODIS	2009	DBLP DOI BibTeX RDF
2	Huandong Wang, Dan Tang, Xiang Gao, Yunji Chen	An Enhanced HyperTransport Controller with Cache Coherence Support for Multiple-CMP.	NAS	2009	DBLP DOI BibTeX RDF
2	Frank E. B. Ophelders, Marco Bekooij, Henk Corporaal	A tuneable software cache coherence protocol for heterogeneous MPSoCs.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	performance, design, reliability
2	Jason Zebchuk, Vijayalakshmi Srinivasan, Moinuddin K. Qureshi, Andreas Moshovos	A tagless coherence directory.	MICRO	2009	DBLP DOI BibTeX RDF	directory coherence, cache coherence, Bloom filters
2	Ricardo Fernández Pascual, José M. García, Manuel E. Acacio, José Duato	Extending the TokenCMP Cache Coherence Protocol for Low Overhead Fault Tolerance in CMP Architectures.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF
2	Xiangrong Zhou, Chenjie Yu, Alokika Dash, Peter Petrov	Application-aware snoop filtering for low-power cache coherence in embedded multiprocessors.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	snoop filtering, Cache coherence, low-power embedded systems, embedded multiprocessors
2	Ricardo Fernández Pascual, José M. García, Manuel E. Acacio, José Duato	Fault-Tolerant Cache Coherence Protocols for CMPs: Evaluation and Trade-Offs.	HiPC	2008	DBLP DOI BibTeX RDF
2	Demid Borodin, Ben H. H. Juurlink	A Low-Cost Cache Coherence Verification Method for Snooping Systems.	DSD	2008	DBLP DOI BibTeX RDF
2	Hongbo Zeng, Jun Wang, Ge Zhang, Weiwu Hu	An interconnect-aware power efficient cache coherence protocol for CMPs.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Ricardo Fernández Pascual, José M. García, Manuel E. Acacio, José Duato	A fault-tolerant directory-based cache coherence protocol for CMP architectures.	DSN	2008	DBLP DOI BibTeX RDF
2	Natalie D. Enright Jerger, Li-Shiuan Peh, Mikko H. Lipasti	Virtual tree coherence: Leveraging regions and in-network multicast trees for scalable cache coherence.	MICRO	2008	DBLP DOI BibTeX RDF
2	Andrew DeOrio, Adam Bauserman, Valeria Bertacco	Post-silicon verification for cache coherence.	ICCD	2008	DBLP DOI BibTeX RDF
2	Konstantinos Aisopos, Chien-Chun Chou, Li-Shiuan Peh	Extending open core protocol to support system-level cache coherence.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	coherence extensions, ocp, open core protocol, specification, mpsocs
2	Blas Cuesta, Antonio Robles, José Duato	Improving Token Coherence by Multicast Coherence Messages.	PDP	2008	DBLP DOI BibTeX RDF	Token Cohence, protocol races, multicast, Cache coherence, SMP
2	Jaydeep Marathe, Frank Mueller	Source-Code-Correlated Cache Coherence Characterization of OpenMP Benchmarks.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	simulation, Cache memories, SMPs, program instrumentation, coherence protocols, dynamic binary rewriting
2	Kyueun Yi, Jean-Luc Gaudiot	Architectural Implications of Cache Coherence Protocols with Network Applications on Chip MultiProcessors.	NPC	2007	DBLP DOI BibTeX RDF
2	Ehsan Atoofian, Amirali Baniasadi	A Power-Aware Prediction-Based Cache Coherence Protocol for Chip Multiprocessors.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Hongbo Zeng, Kun Huang, Ming Wu, Weiwu Hu	Concerning with On-Chip Network Features to Improve Cache Coherence Protocols for CMPs.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
2	Albert Meixner, Daniel J. Sorin	Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures.	HPCA	2007	DBLP DOI BibTeX RDF
2	Chenjie Yu, Peter Petrov	Aggressive snoop reduction for synchronized producer-consumer communication in energy-efficient embedded multi-processors.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	low-power multiprocessor system, embedded systems, cache coherence
2	Gustavo Girão, Bruno Cruz de Oliveira, Rodrigo Soares, Ivan Saraiva Silva	Cache coherency communication cost in a NoC-based MPSoC platform.	SBCCI	2007	DBLP DOI BibTeX RDF	cache coherence, MPSoC, NoC, directory
2	Shuvendu K. Lahiri, Randal E. Bryant	Predicate abstraction with indexed predicates.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
2	Jaydeep Marathe, Frank Mueller, Bronis R. de Supinski	Analysis of cache-coherence bottlenecks with hybrid hardware/software techniques.	TACO	2006	DBLP DOI BibTeX RDF	SMPs, program instrumentation, coherence protocols, Hardware performance monitoring, cache analysis, dynamic binary rewriting
2	Noel Eisley, Li-Shiuan Peh, Li Shang	In-network cache coherence.	Computer Architecture Letters	2006	DBLP DOI BibTeX RDF
2	Noel Eisley, Li-Shiuan Peh, Li Shang	In-Network Cache Coherence.	MICRO	2006	DBLP DOI BibTeX RDF
2	Rana Ejaz Ahmed	Energy-Aware Cache Coherence Protocol for Chip-Multiprocessors.	CCECE	2006	DBLP DOI BibTeX RDF
2	Alberto Ros, Manuel E. Acacio, José M. García	An efficient cache design for scalable glueless shared-memory multiprocessors.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	L2, directory structure, glueless shared-memory multiprocessors, cache, cache coherence, memory wall
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	Nirav Dave, Man Cheuk Ng, Arvind	Automatic synthesis of cache-coherence protocol processors using Bluespec.	MEMOCODE	2005	DBLP DOI BibTeX RDF
2	Carla Diacui Medeiros Berkenbrock, Mario A. R. Dantas	Investigation of Cache Coherence Strategies in a Mobile Client/Server Environment.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
2	Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan	Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification.	CHARME	2005	DBLP DOI BibTeX RDF
2	Jaydeep Marathe, Frank Mueller, Bronis R. de Supinski	A hybrid hardware/software approach to efficiently determine cache coherence Bottlenecks.	ICS	2005	DBLP DOI BibTeX RDF	SMPs, program instrumentation, coherence protocols, hardware performance monitoring, cache analysis, dynamic binary rewriting
2	Mirko Loghi, Massimo Poncino	Exploring Energy/Performance Tradeoffs in Shared Memory MPSoCs: Snoop-Based Cache Coherence vs. Software Solutions.	DATE	2005	DBLP DOI BibTeX RDF
2	J. Gregory Steffan, Christopher B. Colohan, Antonia Zhai, Todd C. Mowry	The STAMPede approach to thread-level speculation.	ACM Trans. Comput. Syst.	2005	DBLP DOI BibTeX RDF	cache coherence, automatic parallelization, Thread-level speculation, chip-multiprocessing
2	Taeweon Suh, Hsien-Hsin S. Lee, Douglas M. Blough	Integrating Cache Coherence Protocols for Heterogeneous Multiprocessor Systems, Part 2.	IEEE Micro	2004	DBLP DOI BibTeX RDF
2	Mainak Chaudhuri, Mark Heinrich	Exploring Virtual Network Selection Algorithms in DSM Cache Coherence Protocols.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF
2	Félix García Carballeira, Jesús Carretero, Alejandro Calderón, José María Pérez, José Daniel García	An Adaptive Cache Coherence Protocol Specification for Parallel Input/Output Systems.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF
2	Ghassan Chehaibar	Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.	FORTE	2004	DBLP DOI BibTeX RDF
2	Kai Baukus, Ron van der Meyden	A Knowledge Based Analysis of Cache Coherence.	ICFEM	2004	DBLP DOI BibTeX RDF
2	Jie Tao, Wolfgang Karl	Impact of Cache Coherence Models on Performance of OpenMP Applications.	Euro-Par	2004	DBLP DOI BibTeX RDF
2	Ying Chen, Dennis Abts, David J. Lilja	State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
2	Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park	A Simple Method for Parameterized Verification of Cache Coherence Protocols.	FMCAD	2004	DBLP DOI BibTeX RDF
2	Anca-Andreea Ivan, Vijay Karamcheti	Flecc: A Flexible Cache Coherence Protocol for Dynamic Component-Based Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
2	John P. Sustersic, Ali R. Hurson	A Quality of Service (QoS) Implementation of Internet Cache Coherence.	AINA	2004	DBLP DOI BibTeX RDF
2	Jaydeep Marathe, Anita Nagarajan, Frank Mueller	Detailed cache coherence characterization for OpenMP benchmarks.	ICS	2004	DBLP DOI BibTeX RDF	SMPs, program instrumentation, coherence protocols, cache analysis, dynamic binary rewriting
2	Ozcan Ozturk, Mahmut T. Kandemir, Mary Jane Irwin, Ibrahim Kolcu	Tuning data replication for improving behavior of MPSoC applications.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	power consumption, cache coherence, MPSoC, data replication, optimizing compiler
2	Daehyun Kim, Mainak Chaudhuri, Mark Heinrich, Evan Speight	Architectural Support for Uniprocessor and Multiprocessor Active Memory Systems.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Active memory systems, address remapping, flexible memory controller architecture, distributed shared memory, cache coherence protocol
2	Ahmed Louri, Avinash Karanth Kodi	An Optical Interconnection Network and a Modified Snooping Protocol for the Design of Large-Scale Symmetric Multiprocessors (SMPs).	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF	parallel optical interconnects, scalable optical networks, cache coherence, SMPs
2	Diana Keen, Mark Oskin, Justin Hensley, Frederic T. Chong	Cache Coherence in Intelligent Memory Systems.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Intelligent memory, merged DRAM logic, cache coherence
2	E. Allen Emerson, Vineet Kahlon	Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.	TACAS	2003	DBLP DOI BibTeX RDF
2	Mahadevan Subramaniam	Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL.	IPDPS	2003	DBLP DOI BibTeX RDF
2	E. Allen Emerson, Vineet Kahlon	Exact and Efficient Verification of Parameterized Cache Coherence Protocols.	CHARME	2003	DBLP DOI BibTeX RDF
2	Sangman Moh, Jae-Hong Shim, Yang-Dong Lee, Jeong-A. Lee, Beom-Joon Cho	Design and Evaluation of a Cache Coherence Adapter for the SMP Nodes Interconnected via Xcent-Net.	ISCIS	2003	DBLP DOI BibTeX RDF
2	H. Sarojadevi, S. K. Nandy, S. Balakrishnan	Enforcing Cache Coherence at Data Sharing Boundaries without Global Control: A Hardware-Software Approach (Research Note).	Euro-Par	2002	DBLP DOI BibTeX RDF
2	Carla Osthoff, Cristiana Bentes, Daniel Ariosto, Marta Mattoso, Claudio Luis de Amorim	Evaluating the DSMIO Cache-Coherence Algorithm in Cluster-Based Parallel ODBMS.	OOIS	2002	DBLP DOI BibTeX RDF
2	Daehyun Kim, Mainak Chaudhuri, Mark Heinrich	Leveraging cache coherence in active memory systems.	ICS	2002	DBLP DOI BibTeX RDF	active memory, address re-mapping, cache coherence
2	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.	VMCAI	2002	DBLP DOI BibTeX RDF
2	Tao Li, Lizy Kurian John	ADir_pNB: A Cost-Effective Way to Implement Full Map Directory-Based Cache Coherence Protocols.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	directory protocols, computer architecture, shared memory multiprocessors, Cache coherence
2	Kenneth L. McMillan	Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
2	Joseph E. Stoy, Xiaowei Shen, Arvind	Proofs of Correctness of Cache-Coherence Protocols.	FME	2001	DBLP DOI BibTeX RDF
2	L. Ivanov, R. Nunna	Modeling and verification of cache coherence protocols.	ISCAS	2001	DBLP DOI BibTeX RDF
2	Kevin M. Lepak, Gordon B. Bell, Mikko H. Lipasti	Silent Stores and Store Value Locality.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	store optimization, cache coherence, value prediction, false sharing, Value locality
2	T. N. Vijaykumar, Sridhar Gopal, James E. Smith, Gurindar S. Sohi	Speculative Versioning Cache.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	Speculative memory, snooping cache coherence protocols, speculative versioning, memory disambiguation
2	Fong Pong, Michel Dubois	Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	relaxed memory consistency models, delayed consistency, symbolic state model, verification, Shared-memory multiprocessor
2	Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk	A methodology for formal design of hardware control with application to cache coherence protocols.	DAC	2000	DBLP DOI BibTeX RDF
2	Siddhartha V. Tambat, Sriram Vajapeyam	Non-Strict Cache Coherence: Exploiting Data-Race Tolerance in Emerging Applications. (PDF / PS)	ICPP	2000	DBLP DOI BibTeX RDF