Search results for "cache coherence protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	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	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	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	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
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	Kyueun Yi, Jean-Luc Gaudiot	Architectural Implications of Cache Coherence Protocols with Network Applications on Chip MultiProcessors.	NPC	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	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
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	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
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	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	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+
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	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	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
2	David Brooks, Margaret Martonosi	Implementing Application-Specific Cache-Coherence Protocols in Configurable Hardware.	CANPC	1999	DBLP DOI BibTeX RDF
2	Mark Heinrich, Vijayaraghavan Soundararajan, John L. Hennessy, Anoop Gupta	A Quantitative Analysis of the Performance and Scalability of Distributed Shared Memory.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	flexible node controller, bitvector, dynamic pointer allocation, controller occupancy, distributed shared memory, performance comparison, FLASH, Cache coherence protocols, MAGIC, COMA, SCI, scalable multiprocessors
2	Craig S. Steele, Jeffrey T. Draper, Jeff Koller, C. LaCour	A Bus-Efficient Low-Latency Network Interface for the PDSS Multicomputer. (PDF / PS)	HPDC	1997	DBLP DOI BibTeX RDF	bus-efficient low-latency network interface, PDSS multicomputer, unprivileged code, cache-to-cache communications, distributed barrier-synchronization mechanism, single-chip implementation, commodity processor, routing, multiprocessor interconnection networks, interconnect, cache coherence protocols
2	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
2	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
2	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
2	Doug Burger, David A. Wood	Accuracy vs. performance in parallel simulation of interconnection networks. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	Wisconsin Wind Tunnel, cache-coherent shared-memory machines, network simulation models, high network loads, nonuniform traffic patterns, performance evaluation, performance, parallel computers, interconnection networks, parallel architectures, virtual machines, multiprocessor interconnection networks, accuracy, shared memory systems, parallel simulation, parallel applications, cache-coherence protocols, network contention
2	Jonas Skeppstedt, Per Stenström	Simple Compiler Algorithms to Reduce Ownership Operhead in Cache Coherence Protocols.	ASPLOS	1994	DBLP DOI BibTeX RDF
2	Kun-Lung Wu, W. Kent Fuchs, Janak H. Patel	Error Recovery in Shared Memory Multiprocessors Using Private Caches.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	processor transient faults, user-transparent checkpointing, checkpointed computation state, recovery stacks, rollback propagation, rapidrecovery, fault tolerance, fault tolerant computing, multiprocessor interconnection networks, multiprocessing systems, shared memory multiprocessors, system recovery, buffer storage, cache coherence protocols, performance degradation, processor utilization, private caches, error latency
2	Qing Yang, Laxmi N. Bhuyan, Bao-Chyn Liu	Analysis and Comparison of Cache Coherence Protocols for a Packet-Switched Multiprocessor.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	packet-switched multiprocessor, Write-Once, Write-Through, Berkeley, Illinois, Firefly, Dragon, invalidation signals, write-back, protocols, queueing theory, packet switching, multiprocessing systems, analytical models, cache coherence protocols, queuing networks, mean value analysis, Synapse
1	Xiaoke Qin, Prabhat Mishra	Automated generation of directed tests for transition coverage in cache coherence protocols.	DATE	2012	DBLP BibTeX RDF
1	Konstantinos Aisopos, Li-Shiuan Peh	A systematic methodology to develop resilient cache coherence protocols.	MICRO	2011	DBLP DOI BibTeX RDF
1	Antonio García-Guirado, Ricardo Fernández Pascual, Alberto Ros, José M. García	Energy-Efficient Cache Coherence Protocols in Chip-Multiprocessors for Server Consolidation.	ICPP	2011	DBLP DOI BibTeX RDF
1	Dana Vantrease, Mikko H. Lipasti, Nathan L. Binkert	Atomic Coherence: Leveraging nanophotonics to build race-free cache coherence protocols.	HPCA	2011	DBLP DOI BibTeX RDF
1	Tales Marchesan Chaves, Everton Alceu Carara, Fernando Gehm Moraes	Exploiting multicast messages in cache-coherence protocols for NoC-based MPSoCs.	ReCoSoC	2011	DBLP DOI BibTeX RDF
1	Pierre Guironnet de Massas, Frédéric Pétrot	Evaluation of the implementation cost of cache coherence protocols using omniscient actions.	Design Autom. for Emb. Sys.	2010	DBLP DOI BibTeX RDF
1	Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou	Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols.	Formal Methods in System Design	2010	DBLP DOI BibTeX RDF
1	Seth H. Pugsley, Josef B. Spjut, David W. Nellans, Rajeev Balasubramonian	SWEL: hardware cache coherence protocols to map shared data onto shared caches.	PACT	2010	DBLP DOI BibTeX RDF
1	Antonio García-Guirado, Ricardo Fernández Pascual, José M. García	Analyzing Cache Coherence Protocols for Server Consolidation.	SBAC-PAD	2010	DBLP DOI BibTeX RDF
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	Andrei V. Klimov	A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols.	Ershov Memorial Conference	2009	DBLP DOI BibTeX RDF
1	Bo Zhang, Binoy Ravindran	Location-Aware Cache-Coherence Protocols for Distributed Transactional Contention Management in Metric-Space Networks.	SRDS	2009	DBLP DOI BibTeX RDF
1	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
1	John W. O'Leary, Murali Talupur, Mark R. Tuttle	Protocol verification using flows: An industrial experience.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Hong Pan, Yi Lv, Huimin Lin	Environment Abstraction with State Clustering and Parameter Truncating.	TASE	2009	DBLP DOI BibTeX RDF
1	Alberto Ros, Manuel E. Acacio, José M. García	Dealing with Traffic-Area Trade-Off in Direct Coherence Protocols for Many-Core CMPs.	APPT	2009	DBLP DOI BibTeX RDF
1	Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer	Pervasive Theory of Memory.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF
1	WanXia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang	Efficient Verification of Parameterized Cache Coherence Protocols.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Demid Borodin, Ben H. H. Juurlink	A Low-Cost Cache Coherence Verification Method for Snooping Systems.	DSD	2008	DBLP DOI BibTeX RDF
1	Andrew DeOrio, Adam Bauserman, Valeria Bertacco	Post-silicon verification for cache coherence.	ICCD	2008	DBLP DOI BibTeX RDF
1	Alberto Ros, Manuel E. Acacio, José M. García	DiCo-CMP: Efficient cache coherency in tiled CMP architectures.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Samuel Rodrigo, Jose Flich, José Duato, Mark Hummel	Efficient unicast and multicast support for CMPs.	MICRO	2008	DBLP DOI BibTeX RDF
1	Blas Cuesta, Antonio Robles, José Duato	Switch-Based Packing Technique for Improving Token Coherence Scalability.	PDCAT	2008	DBLP DOI BibTeX RDF
1	David L. Dill	A Retrospective on Murphi.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.	TACAS	2008	DBLP DOI BibTeX RDF
1	Mahadevan Subramaniam, Patrick Conway	A methodology for early validation of cache coherence protocols based on relational databases.	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF
1	Yongjian Li	Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.	SAC	2007	DBLP DOI BibTeX RDF	parameterized verification, theorem proving, symmetry
1	Amit Kumar, Ram Huggahalli	Impact of Cache Coherence Protocols on the Processing of Network Traffic.	MICRO	2007	DBLP DOI BibTeX RDF
1	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
1	Alexei Lisitsa, Andrei P. Nemytykh	A Note on Specialization of Interpreters.	CSR	2007	DBLP DOI BibTeX RDF	program verification, cache coherence protocols, Program specialization, supercompilation
1	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
1	Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy	Aggregating changes to efficiently check consistency.	IWPSE	2007	DBLP DOI BibTeX RDF
1	Mrinmoy Ghosh, Hsien-Hsin S. Lee	Virtual Exclusion: An architectural approach to reducing leakage energy in caches for multiprocessor systems.	ICPADS	2007	DBLP DOI BibTeX RDF
1	Lakshmana Rao Vittanala, Mainak Chaudhuri	Integrating Memory Compression and Decompression with Coherence Protocols in Distributed Shared Memory Multiprocessors.	ICPP	2007	DBLP DOI BibTeX RDF
1	Manhee Lee, Minseon Ahn, Eun Jung Kim	I2SEMS: Interconnects-Independent Security Enhanced Shared Memory Multiprocessor Systems.	PACT	2007	DBLP DOI BibTeX RDF
1	Ehsan Atoofian, Amirali Baniasadi	A Power-Aware Prediction-Based Cache Coherence Protocol for Chip Multiprocessors.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Yi Lv, Huimin Lin, Hong Pan	Computing Invariants for Parameter Abstraction.	MEMOCODE	2007	DBLP DOI BibTeX RDF
1	Sandip Ray, Rob Sumners	Combining Theorem Proving with Model Checking through Predicate Abstraction.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	model checking, formal verification, theorem proving, predicate abstraction, ACL2
1	Alberto Ros, Manuel E. Acacio, José M. García	Direct Coherence: Bringing Together Performance and Scalability in Shared-Memory Multiprocessors.	HiPC	2007	DBLP DOI BibTeX RDF
1	Guoteng Pan, Qiang Dou, Lunguo Xie	A Two-Level Directory Organization Solution for CC-NUMA Systems.	ICA3PP	2007	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine	Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).	TACAS	2007	DBLP DOI BibTeX RDF
1	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
1	Rana Ejaz Ahmed	Energy-Aware Cache Coherence Protocol for Chip-Multiprocessors.	CCECE	2006	DBLP DOI BibTeX RDF
1	Arvind, Jan-Willem Maessen	Memory Model = Instruction Reordering + Store Atomicity.	ISCA	2006	DBLP DOI BibTeX RDF
1	Michael R. Marty, Mark D. Hill	Coherence Ordering for Ring-based Chip Multiprocessors.	MICRO	2006	DBLP DOI BibTeX RDF
1	Noel Eisley, Li-Shiuan Peh, Li Shang	In-network cache coherence.	Computer Architecture Letters	2006	DBLP DOI BibTeX RDF
1	Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan	Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications.	SPIN	2006	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Environment Abstraction for Parameterized Verification.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Rita Mahajan, Rupali Verma	Memory Overhead for Directory-Based Cache Coherence Protocols in Multiprocessor Systems.	ISCA PDCS	2005	DBLP BibTeX RDF
1	Milo M. K. Martin	Formal Verification and its Impact on the Snooping versus Directory Protocol Debate.	ICCD	2005	DBLP DOI BibTeX RDF
1	Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan	Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification.	CHARME	2005	DBLP DOI BibTeX RDF
1	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
1	Taeweon Suh, Hsien-Hsin S. Lee, Douglas M. Blough	Integrating Cache Coherence Protocols for Heterogeneous Multiprocessor Systems, Part 1.	IEEE Micro	2004	DBLP DOI BibTeX RDF
1	Ghassan Chehaibar	Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.	FORTE	2004	DBLP DOI BibTeX RDF
1	Lance Hammond, Vicky Wong, Michael K. Chen, Brian D. Carlstrom, John D. Davis, Ben Hertzberg, Manohar K. Prabhu, Honggo Wijaya, Christos Kozyrakis, Kunle Olukotun	Transactional Memory Coherence and Consistency.	ISCA	2004	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Jie Tao, Wolfgang Karl	Impact of Cache Coherence Models on Performance of OpenMP Applications.	Euro-Par	2004	DBLP DOI BibTeX RDF
1	Mahadevan Subramaniam, Parvathi Chundi	An Approach to Preserve Protocol Consistency and Executability Across Updates.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Abhik Roychoudhury, I. V. Ramakrishnan	Inductively Verifying Invariant Properties of Parameterized Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	induction proofs, logic programming, program transformations, concurrent systems, unfolding, folding, parameterized systems
1	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
1	Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park	Experience with Applying Formal Methods to Protocol Specification and System Architecture.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	rule-based checking of tables, minimal deadlock-free wormhole routing schemes, fault-tolerant link initialization, formal verification, cache coherence protocols, sliding window protocols
1	Daehyun Kim, Mainak Chaudhuri, Mark Heinrich	Active Memory Techniques for ccNUMA Multiprocessors.	IPDPS	2003	DBLP DOI BibTeX RDF
1	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
1	Amir Pnueli, Lenore D. Zuck	Model-Checking and Abstraction to the Aid of Parameterized Systems.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Ratan Nalumasu, Ganesh Gopalakrishnan	Deriving Efficient Cache Coherence Protocols Through Refinement.	Formal Methods in System Design	2002	DBLP DOI BibTeX RDF
1	Marcelo H. Cintra, Josep Torrellas	Speculative Multithreading Eliminating Squashes through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors.	HPCA	2002	DBLP DOI BibTeX RDF	Shared-Memory Multiprocessors, Speculative Parallelization
1	Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood	Bandwidth Adaptive Snooping.	HPCA	2002	DBLP DOI BibTeX RDF	adaptive, shared-memory multiprocessors, coherence protocols, snooping
1	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
1	Joseph E. Stoy, Xiaowei Shen, Arvind	Proofs of Correctness of Cache-Coherence Protocols.	FME	2001	DBLP DOI BibTeX RDF