Search results
From MaRDI portal
- Efficient integration of compiler-directed cache coherence and data prefetching 2002-07-04 Paper Maintaining cache coherence through compiler-directed data prefetching...10 bytes (18 words) - 08:44, 13 December 2023
- of nonisothermal viscoelastic flow 2001-01-11 Paper Verification of cache coherence protocols by aggregation of distributed transactions 1999-01-11 Paper...10 bytes (17 words) - 06:53, 9 December 2023
- of signal transition time on path delay computation 1994-02-07 Paper Cache coherence requirements for interprocess rendezvous 1990-01-01 Paper...10 bytes (18 words) - 22:10, 12 December 2023
- multiprocessor programs 1997-02-27 Paper Using write caches to improve performance of cache coherence protocols in shared-memory multiprocessors 1995-07-20...10 bytes (16 words) - 17:22, 12 December 2023
- Efficient integration of compiler-directed cache coherence and data prefetching 2002-07-04 Paper Maintaining cache coherence through compiler-directed data prefetching...10 bytes (19 words) - 12:54, 24 September 2023
- Publication Date of Publication Type Using belief to reason about cache coherence 2017-09-29 Paper https://portal.mardi4nfdi.de/entity/Q2906947 2012-09-05...10 bytes (19 words) - 01:32, 9 December 2023
- Paper ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols 2016-01-08 Paper ASSA-PBN: An Approximate Steady-State Analyser...10 bytes (17 words) - 04:37, 9 December 2023
- Publication Date of Publication Type Synchronization coherence: a transparent hardware mechanism for cache coherence and fine-grained synchronization 2012-07-26...10 bytes (17 words) - 05:35, 7 October 2023
- Publication Date of Publication Type Synchronization coherence: a transparent hardware mechanism for cache coherence and fine-grained synchronization 2012-07-26...10 bytes (16 words) - 05:35, 7 October 2023
- and KNL 2018-08-30 Paper Extending Magny-Cours Cache Coherence 2017-07-12 Paper Adaptive Selection of Cache Indexing Bits for Removing Conflict Misses 2017-05-16...10 bytes (18 words) - 02:29, 12 December 2023
- Publication Date of Publication Type Cache coherence requirements for interprocess rendezvous 1990-01-01 Paper...10 bytes (18 words) - 11:43, 7 October 2023
- Publication Date of Publication Type Cache coherence requirements for interprocess rendezvous 1990-01-01 Paper...10 bytes (18 words) - 11:43, 7 October 2023
- Publication Date of Publication Type Extending Magny-Cours Cache Coherence 2017-07-12 Paper...10 bytes (18 words) - 21:58, 26 December 2023
- Publication Date of Publication Type Adaptive Cache Coherence Mechanisms with Producer–Consumer Sharing Optimization for Chip Multiprocessors 2017-05-16...10 bytes (16 words) - 03:33, 25 September 2023
- Publication Date of Publication Type Adaptive Cache Coherence Mechanisms with Producer–Consumer Sharing Optimization for Chip Multiprocessors 2017-05-16...10 bytes (16 words) - 03:33, 25 September 2023
- Publication Date of Publication Type Using belief to reason about cache coherence 2017-09-29 Paper...10 bytes (18 words) - 12:37, 14 March 2024
- Date of Publication Type Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom 2015-12-17 Paper Specification...10 bytes (16 words) - 10:01, 6 October 2023
- Publication Date of Publication Type Software-Based Cache Coherence with Hardware-Assisted Selective Self-Invalidations Using Bloom Filters 2017-07-27...10 bytes (18 words) - 02:46, 28 December 2023
- Paper ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols 2016-01-08 Paper...10 bytes (16 words) - 12:21, 14 March 2024
- Effectiveness of Directory Caches by Avoiding the Tracking of Noncoherent Memory Blocks 2017-07-12 Paper Extending Magny-Cours Cache Coherence 2017-07-12 Paper...10 bytes (16 words) - 21:57, 26 December 2023