Stem coher$ (all stems)

177 papers:

DATE-2015-DuongNXWTBYWW #analysis

Coherent crosstalk noise analyses in ring-based optical interconnects (LHKD, MN, JX, ZW, YT, SLB, PY, XW, ZW), pp. 501–506.

DATE-2015-GiefersPH #kernel

Accelerating arithmetic kernels with coherent attached FPGA coprocessors (HG, RP, CH), pp. 1072–1077.

DATE-2015-LaerEMWJ #multi #predict

Coherence based message prediction for optically interconnected chip multiprocessors (AVL, CE, MRM, PMW, TMJ), pp. 613–616.

DATE-2015-YaoWGMCZ #architecture #manycore #named

SelectDirectory: a selective directory for cache coherence in many-core architectures (YY, GW, ZG, TM, WC, NZ), pp. 175–180.

TACAS-2015-KriouileS #formal method #using #verification

Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip (AK, WS), pp. 708–722.

STOC-2015-SunW #canonical #performance

Faster Canonical Forms for Primitive Coherent Configurations: Extended Abstract (XS, JW), pp. 693–702.

ECIR-2015-Arguello

Improving Aggregated Search Coherence (JA), pp. 25–36.

RecSys-2015-JannachLK #continuation #generative #music

Beyond “Hitting the Hits”: Generating Coherent Music Playlist Continuations with the Right Tracks (DJ, LL, IK), pp. 187–194.

HPCA-2015-MenezoPG #energy #hybrid #performance #protocol #scalability

Flask coherence: A morphable hybrid coherence protocol to balance energy, performance and scalability (LGM, VP, JÁG), pp. 198–209.

HPCA-2015-RosDK #classification #clustering #performance

Hierarchical private/shared classification: The key to simple and efficient coherence for clustered cache hierarchies (AR, MD, SK), pp. 186–197.

HPDC-2015-KaxirasKNRS #approach #distributed #execution #memory management #scalability

Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory (SK, DK, MN, AR, KFS), pp. 3–14.

TLCA-2015-BiernackiP #logic #type system

Logical Relations for Coherence of Effect Subtyping (DB, PP), pp. 107–122.

DATE-2014-Huang14a #manycore #network #performance #predict

Leveraging on-chip networks for efficient prediction on multicore coherence (LH), pp. 1–4.

DATE-2014-JaksicC #energy #how #protocol

DRAM-based coherent caches and how to take advantage of the coherence protocol to reduce the refresh energy (ZJ, RC), pp. 1–4.

CIKM-2014-ArguelloC #behaviour #rank

The Effects of Vertical Rank and Border on Aggregated Search Coherence and Search Behavior (JA, RGC), pp. 539–548.

ICML-c1-2014-ChenBSW #matrix

Coherent Matrix Completion (YC, SB, SS, RW), pp. 674–682.

ICML-c1-2014-YangSX #classification

The Coherent Loss Function for Classification (WY, MS, HX), pp. 37–45.

ICPR-2014-PuZ #algorithm #segmentation #video

Sandwich Cut: An Algorithm for Temporally-Coherent Video Bilayer Segmentation (SP, HZ), pp. 1061–1066.

ICPR-2014-WuK #geometry #image #invariant #retrieval #scalability

Image Retrieval Based on Anisotropic Scaling and Shearing Invariant Geometric Coherence (XW, KK), pp. 3951–3956.

KDIR-2014-SaiaBC #modelling #recommendation #semantics

Semantic Coherence-based User Profile Modeling in the Recommender Systems Context (RS, LB, SC), pp. 154–161.

KEOD-2014-AzaiezA #analysis #how #question #towards

How to Guarantee Analysis Results Coherence after Data Warehouse Schema Changes Propagation towards Data Marts? (NA, JA), pp. 428–435.

POPL-2014-EhrhardTP #probability

Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.

SAC-2014-HuangYKYLYGFQ #analysis #clustering #self

Diffusion-based clustering analysis of coherent X-ray scattering patterns of self-assembled nanoparticles (HH, SY, KK, KGY, FL, DY, OG, AF, HQ), pp. 85–90.

ASPLOS-2014-LinWZ #mobile #named #operating system

K2: a mobile operating system for heterogeneous coherence domains (FXL, ZW, LZ), pp. 285–300.

ASPLOS-2014-VoskuilenV

High-performance fractal coherence (GV, TNV), pp. 701–714.

HPCA-2014-DemetriadesC #manycore #scalability

Stash directory: A scalable directory for many-core coherence (SD, SC), pp. 177–188.

HPCA-2014-ElverN #consistency #named

TSO-CC: Consistency directed cache coherence for TSO (ME, VN), pp. 165–176.

HPCA-2014-ZhangBES #design #named #protocol #scalability #verification

PVCoherence: Designing flat coherence protocols for scalable verification (MZ, JDB, JE, DJS), pp. 392–403.

ISMM-2014-ZakkakP #architecture #java #memory management #named

JDMM: a java memory model for non-cache-coherent memory architectures (FSZ, PP), pp. 83–92.

DATE-2013-LiSLXCX #adaptation

Cache coherence enabled adaptive refresh for volatile STT-RAM (JL, LS, QL, CJX, YC, YX), pp. 1247–1250.

CHI-2013-LetondalHLVC #design

Flights in my hands: coherence concerns in designing strip’tic, a tangible space for air traffic controllers (CL, CH, RL, JLV, SC), pp. 2175–2184.

CIKM-2013-ChenMLHCG #topic #using

Discovering coherent topics using general knowledge (ZC, AM, BL, MH, MC, RG), pp. 209–218.

HPCA-2013-BeuPHC #performance #verification

High-speed formal verification of heterogeneous coherence hierarchies (JGB, JAP, ERH, TMC), pp. 566–577.

HPCA-2013-SinghSFOA #architecture #gpu

Cache coherence for GPU architectures (IS, AS, WWLF, MO, TMA), pp. 578–590.

HPDC-2013-RamosH #case study #communication #modelling

Modeling communication in cache-coherent SMP systems: a case-study with Xeon Phi (SR, TH), pp. 97–108.

CSL-2013-Mellies #game studies #on the

On dialogue games and coherent strategies (PAM), pp. 540–562.

RTA-2013-GuiraudMM #monad #topic

A Homotopical Completion Procedure with Applications to Coherence of Monoids (YG, PM, SM), pp. 223–238.

DAC-2012-ZhaoJDZKI #design #hybrid #multi #optimisation

A hybrid NoC design for cache coherence optimization for chip multiprocessors (HZ, OJ, WD, YZ, MTK, MJI), pp. 834–842.

DATE-2012-QinM #automation #generative #protocol #testing

Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.

WRLA-J-2010-DuranM12 #on the #order

On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (FD, JM), pp. 816–850.

CIKM-2012-ArguelloC #behaviour

The effect of aggregated search coherence on search behavior (JA, RC), pp. 1293–1302.

CIKM-2012-CuiMWGL #image #keyword #semantics

Semantically coherent image annotation with a learning-based keyword propagation strategy (CC, JM, SW, SG, TL), pp. 2423–2426.

CIKM-2012-DaiZLP #mining #web

Mining coherent anomaly collections on web data (HD, FZ, EPL, HP), pp. 1557–1561.

ICML-2012-MahoneyDMW #approximate #matrix #performance #statistics

Fast approximation of matrix coherence and statistical leverage (MWM, PD, MMI, DPW), p. 137.

ICPR-2012-DufourZWK #classification

Classification of drusen positions in optical coherence tomography data from patients with age-related macular degeneration (PAD, SDZ, UWS, JK), pp. 2067–2070.

KDD-2012-BodenGHS #graph #mining #multi

Mining coherent subgraphs in multi-layer graphs with edge labels (BB, SG, HH, TS), pp. 1258–1266.

HPCA-2012-SanchezK #encoding #flexibility #named #scalability #set

SCD: A scalable coherence directory with flexible sharer set encoding (DS, CK), pp. 129–140.

DATE-2011-FuWT #approach #manycore #performance #simulation

A shared-variable-based synchronization approach to efficient cache coherence simulation for multi-core systems (CYF, MHW, RST), pp. 347–352.

PLDI-2011-KupersteinVY #abstraction #memory management #modelling

Partial-coherence abstractions for relaxed memory models (MK, MTV, EY), pp. 187–198.

ICML-2011-FlachHR #classification #performance

A Coherent Interpretation of AUC as a Measure of Aggregated Classification Performance (PAF, JHO, CFR), pp. 657–664.

SIGIR-2011-WangSE #retrieval #video

Words-of-interest selection based on temporal motion coherence for video retrieval (LW, DS, EE), pp. 1197–1198.

HPCA-2011-VantreaseLB #protocol

Atomic Coherence: Leveraging nanophotonics to build race-free cache coherence protocols (DV, MHL, NLB), pp. 132–143.

LICS-2011-EhrhardPT #probability

The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.

WRLA-2010-DuranM10a #maude #order

A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (FD, JM), pp. 86–103.

ICSM-2010-Steinbruckner

Coherent Software Cities (FS), pp. 1–2.

PASTE-2010-IslamKBH #clustering #dependence

Coherent dependence clusters (SSI, JK, DB, MH), pp. 53–60.

HPCA-2010-RomanescuLSB #protocol

UNified Instruction/Translation/Data (UNITD) coherence: One protocol to rule them all (BFR, ARL, DJS, AB), pp. 1–12.

DAC-2009-ChouCWCCWW #3d #manycore

No cache-coherence: a single-cycle ring interconnection for multi-core L1-NUCA sharing on 3D chips (SHC, CCC, CNW, YCC, TFC, CCW, JSW), pp. 587–592.

DATE-2009-ZuoFQWJNLYB #manycore

Group-caching for NoC based multicore cache coherent systems (ZW, FS, QZ, WJ, JL, ND, LX, YAT, BQ), pp. 755–760.

MSR-2009-LinsteadB #debugging #gnome #mining #modelling #statistics #topic

Mining the coherence of GNOME bug reports with statistical topic models (EL, PB), pp. 99–102.

CHI-2009-BenfordGKR #case study #design #experience #interactive #user interface

From interaction to trajectories: designing coherent journeys through user experiences (SB, GG, BK, TR), pp. 709–718.

DHM-2009-MihalyiDA #framework #modelling

A Contribution to Integrated Driver Modeling: A Coherent Framework for Modeling Both Non-routine and Routine Elements of the Driving Task (AM, BD, TA), pp. 433–442.

HCI-NIMT-2009-WhangWK #research

The Research on EEG Coherence Around Central Area of Left Hemisphere According to Grab Movement of Right Hand (MCW, JW, JK), pp. 636–642.

ICML-2009-DeodharGGCD #clustering #framework #scalability #semistructured data

A scalable framework for discovering coherent co-clusters in noisy data (MD, GG, JG, HC, ISD), pp. 241–248.

ICML-2009-MobahiCW #learning #video

Deep learning from temporal coherence in video (HM, RC, JW), pp. 737–744.

KEOD-2009-AbrusciRF #framework #information management #integration #representation

Knowledge Representation through Coherence Spaces — A Theoretical Framework for the Integration of Knowledge Representations (VMA, MR, CF), pp. 220–225.

KEOD-2009-SassiJG #approach #how #maintenance #ontology

How to Evolve Ontology and Maintain Its Coherence — A Corrective Operations-based Approach (NS, WJ, FG), pp. 384–387.

SAC-2009-PesquitaFC #biology #database

Measuring coherence between electronic and manual annotations in biological databases (CP, DF, FMC), pp. 806–807.

ASPLOS-2009-RamaniGD #architecture #named

StreamRay: a stream filtering architecture for coherent ray tracing (KR, CPG, AD), pp. 325–336.

HPCA-2009-AgarwalPJ

In-Network Snoop Ordering (INSO): Snoopy coherence on unordered interconnects (NA, LSP, NKJ), pp. 67–78.

TestCom-FATES-2009-Gecse #automation #framework #generative #towards

Towards Automatic Generation of a Coherent TTCN-3 Template Framework (RG), pp. 223–228.

CASE-2008-StirlingN #coordination #nash

Rational coordination under risk: Coherence and the Nash bargain (WCS, MSN), pp. 122–127.

DATE-2008-MassasP #comparison #manycore #memory management #policy

Comparison of memory write policies for NoC based Multicore Cache Coherent Systems (PGdM, FP), pp. 997–1002.

GT-VMT-2006-BottoniPPT08 #distributed #eclipse #maintenance #modelling

Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse (PB, FPP, SP, GT), pp. 87–98.

ECIR-2008-HeLR #metric #predict #query #using

Using Coherence-Based Measures to Predict Query Difficulty (JH, ML, MdR), pp. 689–694.

HPCA-2008-FenschC #hardware

An OS-based alternative to full hardware coherence on tiled CMPs (CF, MC), pp. 355–366.

CASE-2007-XiongLCMS #coordination #effectiveness #modelling

Coherent Modeling and Effective Coordination for Building Emergency Evacuation (BX, PBL, SCC, LDM, AS), pp. 670–677.

DAC-2007-ChuKCCG #embedded #multi #programming #thread

An Embedded Coherent-Multithreading Multimedia Processor and Its Programming Model (JCC, WCK, SHC, TFC, JIG), pp. 652–657.

DHM-2007-ZhangWXWY

Mechanism of Bifurcation-Dependent Coherence Resonance of Excitable Neuron Model (GJZ, JW, JXX, XBW, HY), pp. 757–766.

SAC-2007-Li #abstraction #parametricity #protocol #proving #verification

Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols (YL), pp. 1534–1535.

HPCA-2007-ChengCD #adaptation #protocol

An Adaptive Cache Coherence Protocol Optimized for Producer-Consumer Sharing (LC, JBC, DD), pp. 328–339.

HPCA-2007-MeixnerS #detection #fault #online

Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures (AM, DJS), pp. 145–156.

HPCA-2007-PascualGAD #architecture #fault tolerance #protocol

A Low Overhead Fault Tolerant Coherence Protocol for CMP Architectures (RFP, JMG, MEA, JD), pp. 157–168.

CIKM-2006-ZhangW #array #mining

Mining coherent patterns from heterogeneous microarray data (XZ, WW), pp. 838–839.

ICPR-v2-2006-WangZC #locality #performance #using

Efficient Topological Localization Using Orientation Adjacency Coherence Histograms (JW, HZ, RC), pp. 271–274.

ICPR-v4-2006-FengL #clustering #graph #self

Self-Validated and Spatially Coherent Clustering with Net-Structured MRF and Graph Cuts (WF, ZQL), pp. 37–40.

KDD-2006-ZengWZK #clique #database #graph #scalability

Coherent closed quasi-clique discovery from large dense graph databases (ZZ, JW, LZ, GK), pp. 797–802.

CSL-2006-Pagani #exponential #linear #logic #multi

Acyclicity and Coherence in Multiplicative Exponential Linear Logic (MP), pp. 531–545.

CASE-2005-LuhMSYSXJC

Coherent configuration and operation of building transportation systems (PBL, LM, ESJ, DY, AS, BX, GJ, SCC), pp. 178–184.

DAC-2005-SuhKL #architecture

Cache coherence support for non-shared bus architecture on heterogeneous MPSoCs (TS, DK, HHSL), pp. 553–558.

DATE-2005-LoghiP #energy #memory management #performance #trade-off

Exploring Energy/Performance Tradeoffs in Shared Memory MPSoCs: Snoop-Based Cache Coherence vs. Software Solutions (ML, MP), pp. 508–513.

SIGMOD-2005-ZhaoZ #3d #algorithm #array #clustering #effectiveness #mining #named

TriCluster: An Effective Algorithm for Mining Coherent Clusters in 3D Microarray Data (LZ, MJZ), pp. 694–705.

CIKM-2005-JiangZ #markov #modelling #using

Accurately extracting coherent relevant passages using hidden Markov models (JJ, CZ), pp. 289–290.

SIGIR-2005-LiuJC #information retrieval

A maximum coherence model for dictionary-based cross-language information retrieval (YL, RJ, JYC), pp. 536–543.

HPCA-2005-MartyBHHMW #multi #using

Improving Multiple-CMP Systems Using Token Coherence (MRM, JDB, MDH, AJH, MMKM, DAW), pp. 328–339.

PPoPP-2005-CollardJY #memory management #monitoring #optimisation #performance

System-wide performance monitors and their application to the optimization of coherent memory accesses (JFC, NPJ, SY), pp. 247–254.

VMCAI-2005-BurckhardtAM #composition #implementation #parametricity #refinement #safety #verification

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.

DATE-v2-2004-SuhBL #multi

Supporting Cache Coherence in Heterogeneous Multiprocessor Systems (TS, DMB, HHSL), pp. 1150–1157.

CHI-2004-BadeSM #interactive #visualisation

Connecting time-oriented data and information to a coherent interactive visualization (RB, SS, SM), pp. 105–112.

KDD-2004-JiangPRTZ #array #clustering #mining

Mining coherent gene clusters from gene-sample-time microarray data (DJ, JP, MR, CT, AZ), pp. 430–439.

ASPLOS-2004-HammondCWHCKO #consistency #programming #transaction

Programming with transactional coherence and consistency (TCC) (LH, BDC, VW, BH, MKC, CK, KO), pp. 1–13.

ASPLOS-2004-HuhCBS

Coherence decoupling: making use of incoherence (JH, JC, DB, GSS), pp. 97–106.

TACAS-2003-EmersonK #agile #model checking #protocol

Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols (EAE, VK), pp. 144–159.

EDOC-2003-JonkersBABBBDGSHIJLLPSTZ #architecture #enterprise #towards

Towards a Language for Coherent Enterprise Architecture Descriptions (HJ, RvB, FA, FSdB, MMB, HB, HWLtD, LG, JGS, SH, MEI, WJ, MML, DvL, EP, AS, LWNvdT, GVvZ), pp. 28–39.

KDD-2003-JiangPZ #interactive

Interactive exploration of coherent patterns in time-series gene expression data (DJ, JP, AZ), pp. 565–570.

CGO-2003-GibertSG #clustering #distributed #memory management #scheduling

Local Scheduling Techniques for Memory Coherence in a Clustered VLIW Processor with a Distributed Data Cache (EG, FJS, AG), pp. 193–203.

HPDC-2003-SundaresanLKPS #adaptation #grid #monitoring #using

Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model (RS, ML, TMK, SP, JHS), pp. 260–269.

PPoPP-2003-ChenTSDS #distributed

Exploiting high-level coherence information to optimize distributed shared state (DC, CT, BS, SD, MLS), pp. 131–142.

PPoPP-2003-McCurdyF #memory management #multi #performance

User-controllable coherence for high performance shared memory multiprocessors (CM, CNF), pp. 73–82.

VLDB-2002-ShahRS #maintenance #repository

Maintaining Coherency of Dynamic Data in Cooperating Repositories (SS, KR, PJS), pp. 526–537.

ICPR-v2-2002-TruongVD

Neighborhood Coherence and Edge Based Approaches to Film Scene Extraction (BTT, SV, CD), pp. 350–353.

VMCAI-2002-BaukusLS #liveness #protocol #safety #verification

Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness (KB, YL, KS), pp. 317–330.

DAC-2001-BazarganOS #architecture #compilation #configuration management #design #physics #scheduling

Integrating Scheduling and Physical Design into a Coherent Compilation Cycle for Reconfigurable Computing Architectures (KB, SO, MS), pp. 635–640.

HT-2001-ManciniS #hypermedia

Cognitive coherence relations and hypertext: from cinematic patterns to scholarly discourse (CM, SBS), pp. 165–174.

FME-2001-StoySA #correctness #protocol #proving

Proofs of Correctness of Cache-Coherence Protocols (JES, XS, A), pp. 43–71.

DAC-2000-EisnerSHNNV #design #hardware #protocol

A methodology for formal design of hardware control with application to cache coherence protocols (CE, IS, RH, WGN, KLN, KV), pp. 724–729.

ICPR-v3-2000-LiK #ambiguity #analysis #detection

Detection of Cognitive Binding During Ambiguous Figure Tasks by Wavelet Coherence Analysis of EEG Signals (THL, WRK), pp. 3098–3101.

SIGIR-2000-HoenkamG #proximity #using

Finding relevant passages using noun-noun compounds: coherence vs. proximity (EH, RdG), pp. 385–387.

TOOLS-EUROPE-2000-Wills #enterprise #modelling

Coherent Enterprise Modeling (ACW), p. 472.

HPCA-2000-KaxirasY #communication #multi #predict

Coherence Communication Prediction in Shared-Memory Multiprocessors (SK, CY), pp. 156–167.

HPCA-2000-NandaNMJ

High-Throughput Coherence Controllers (AKN, ATN, MMM, DJJ), pp. 145–155.

CAV-2000-Delzanno #automation #protocol #verification

Automatic Verification of Parameterized Cache Coherence Protocols (GD), pp. 53–68.

CL-2000-DutraCB #logic programming #parallel #protocol

The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems (IdCD, VSC, RB), pp. 1285–1299.

FM-v2-1999-AkhianiDHLSTY #verification

Cache Coherence Verification with TLA+ (HA, DD, PH, LL, JS, MRT, YY), pp. 1871–1872.

HPCA-1999-RheeL #network #scalability

A Scalable Cache Coherent Scheme Exploiting Wormhole Routing Networks (YR, JL), pp. 223–226.

SAC-1998-SiLY #html #maintenance

Maintaining page coherence for dynamic HTML pages (AS, HVL, SMTY), pp. 767–773.

CAV-1998-Moore #proving

An ACL2 Proof of Write Invalidate Cache Coherence (JSM), pp. 29–38.

IWTCS-1998-KahloucheVZ #automation #empirical #execution #generative #industrial #protocol #testing

An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol (HK, CV, MZ), pp. 211–226.

HT-1997-HusemannPKKH #adaptation #navigation

An User Adaptive Navigation Metaphor to Connect and Rate the Coherence of Terms and Complex Objects (HH, JP, CK, HDK, PH), pp. 214–215.

ICDAR-1997-OgierMLL #analysis #image #reliability #semantics

An Image Interpretation Device cannot be Reliable without any Semantic Coherency Analysis of the Interpretated Objects — Application to French Cadastral Maps (JMO, RM, JL, YL), pp. 532–535.

HCI-CC-1997-Averboukh #design

Coherent Ergodynamical Design and Technology Transfer of Complex Dynamic Systems (EAA), pp. 859–862.

HPCA-1997-Abdel-ShafiHAA #communication #evaluation #multi

An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors (HAS, JH, SVA, VSA), pp. 204–215.

HPCA-1997-QinB #communication #multi #on the #performance

On the Use and Performance of Explicit Communication Primitives in Cache-Coherent Multiprocessor Systems (XQ, JLB), pp. 182–193.

PPoPP-1997-BianchiniCK #interactive #parallel #programming #protocol

The Interaction of Parallel Programming Constructs and Coherence Protocols (RB, EVC, LIK), pp. 69–79.

PPoPP-1997-JiangSS #memory management #multi #performance

Application Restructuring and Performance Portability on Shared Virtual Memory and Hardware-Coherent Multiprocessors (DJ, HS, JPS), pp. 217–229.

PPoPP-1997-ZhouISLTSHW #consistency #evaluation #performance

Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation (YZ, LI, JPS, KL, BRT, IS, MDH, DAW), pp. 193–205.

SOSP-1997-StetsDHHKPS #clustering #memory management #named #network

Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network (RS, SD, NH, GCH, LIK, SP, MLS), pp. 170–183.

VLDB-1996-Klots #parallel

Cache Coherency in Oracle Parallel Server (BK), p. 583.

PLDI-1996-ChandraRL #memory management #named #protocol

Teapot: Language Support for Writing Memory Coherence Protocols (SC, BR, JRL), pp. 237–248.

ICPR-1996-SchackK #information management #parametricity

Instantaneous coherence as a sensible parameter for considering human information processing (BS, WK), pp. 45–49.

ASPLOS-1996-BianchiniKPMAA #communication #latency

Hiding Communication Latency and Coherence Overhead in Software DSMs (RB, LIK, RP, MDM, MA, CLdA), pp. 198–209.

HPCA-1996-AndersonK #adaptation #hybrid #protocol

Two Adaptive Hybrid Cache Coherency Protocols (CA, ARK), pp. 303–313.

HPCA-1996-ReisnerW #parallel #protocol

A Cache Coherency Protocol for Optically Connected Parallel Computer Systems (JAR, TSW), pp. 222–231.

HPCA-1996-TakahashiTKS #multi #protocol

A Shared-Bus Control Mechanism and a Cache Coherence Protocol for a High-Performance On-Chip Multiprocessor (MT, HT, EK, SS), pp. 314–322.

RTA-1996-GuerriniMM #proving

Coherence for Sharing Proof Nets (SG, SM, AM), pp. 215–229.

VLDB-1995-GallersdorferN #database #performance

Improving Performance in Replicated Databases through Relaxed Coherency (RG, MN), pp. 445–456.

STOC-1995-Yao #metric #protocol #quantum #security

Security of quantum protocols against coherent measurements (ACCY), pp. 67–75.

HPCA-1995-KontothanassisS #multi #scalability

Software Cache Coherence for Large Scale Multiprocessors (LIK, MLS), pp. 286–295.

SOSP-1995-HeidemannP #performance

Performance of Cache Coherence in Stackable Filing (JSH, GJP), pp. 127–142.

ICLP-1995-YuanY #approach #logic programming #on the

On Coherence Approach to Logic Program Revision (LYY, JHY), pp. 167–181.

ASPLOS-1994-SkeppstedtS #algorithm #compilation #protocol

Simple Compiler Algorithms to Reduce Ownership Operhead in Cache Coherence Protocols (JS, PS), pp. 286–296.

ASPLOS-1994-WooSH #multi #performance

The Performance Advantages of Integrating Block Data Trabsfer in Cache-Coherent Multiprocessors (SCW, JPS, JLH), pp. 219–229.

HCI-SHI-1993-RistA #design #multi

Designing Coherent Multimedia Presentations (TR, EA), pp. 434–439.

SIGIR-1993-FullerMSW #documentation #scalability

Coherent Answers for a Large Structured Document Collection (MF, EM, RSD, RW), pp. 204–213.

TOOLS-PACIFIC-1993-DurnotaM #design #metric #object-oriented

Tree-Based Coherence Metrics in Object-Oriented Design (BD, CM), pp. 489–504.

TOOLS-USA-1993-RupingWZ #data type #design

Demonstrating Coherent Design: A Data Structure Catalogue (AR, FW, WZ), pp. 363–375.

PPoPP-1993-SandhuGZ #approach #multi

The Shared Regions Approach to Software Cache Coherence on Multiprocessors (HSS, BG, SZ), pp. 229–238.

SIGMOD-1992-DanY #analysis #performance #policy

Performance Analysis of Coherency Control Policies through Lock Retention (AD, PSY), pp. 114–123.

ASPLOS-1992-VeenstraF #evaluation #hybrid #performance #protocol

A Performance Evaluation of Optimal Hybrid Cache Coherency Protocols (JEV, RJF), pp. 149–160.

VLDB-1991-MohanN #performance #protocol #transaction

Recovery and Coherency-Control Protocols for Fast Intersystem Page Transfer and Fine-Granularity Locking in a Shared Disks Transaction Environment (CM, IN), pp. 193–207.

OOPSLA-1991-HayesC #analysis #modelling #object-oriented

Coherent Models for Object-Oriented Analysis (FH, DC), pp. 171–183.

TOOLS-USA-1991-EdwardsH #object-oriented #re-engineering

Associated Paper: A Coherent Notation for Object-Oriented Software Engineering (JME, BHS), pp. 405–426.

ASPLOS-1991-ChaikenKA #scalability

LimitLESS Directories: A Scalable Cache Coherence Scheme (DC, JK, AA), pp. 224–234.

CAV-1991-GjessingKM #approach #specification #top-down

A Top Down Approach to the Formal Specification of SCI Cache Coherence (SG, SK, EMK), pp. 83–91.

STOC-1990-Yao

Coherent Functions and Program Checkers (Extended Abstract) (ACCY), pp. 84–94.

PPoPP-1990-BennettCZ #distributed #memory management #named

Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence (JKB, JBC, WZ), pp. 168–176.

KR-1989-Geffner #reasoning

Default Reasoning, Minimality and Coherence (HG), pp. 137–148.

KR-1989-Neufeld

Defaults and Probabilities; Extensions and Coherence (EN), pp. 312–323.

ASPLOS-1989-GoodmanVW #multi #scalability

Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors (JRG, MKV, PJW), pp. 64–75.

ASPLOS-1989-OwickiA #performance

Evaluating the Performance of Software Cache Coherence (SSO, AA), pp. 230–242.

SOSP-1989-CoxF #abstraction #case study #experience #implementation #memory management #multi

The Implementation of a Coherent Memory Abstraction on a NUMA Multiprocessor: Experiences with PLATINUM (ALC, RJF), pp. 32–44.

SOSP-1989-FleischP #design #distributed #memory management #named

Mirage: A Coherent Distributed Shared Memory Design (BDF, GJP), pp. 211–223.

LICS-1988-GunterJ #consistency

Coherence and Consistency in Domains (Extended Outline) (CAG, AJ), pp. 309–317.

VLDB-1987-DiasIRY #analysis #design

Design and Analysis of Integrated Concurrency-Coherence Controls (DMD, BRI, JTR, PSY), pp. 463–471.

ASPLOS-1987-Goodman #multi

Coherency for Multiprocessor Virtual Address Caches (JRG), pp. 72–81.

LICS-1986-Plaisted #nondeterminism #recursion #semantics #source code #using

The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations (DAP), pp. 163–174.

ICALP-1978-ScioreT

Admissible Coherent CPO’s (ES, AT), pp. 440–456.