BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
cach (51)
protocol (25)
base (19)
share (18)
model (18)

Stem coher$ (all stems)

177 papers:

DATEDATE-2015-DuongNXWTBYWW #analysis
Coherent crosstalk noise analyses in ring-based optical interconnects (LHKD, MN, JX, ZW, YT, SLB, PY, XW, ZW), pp. 501–506.
DATEDATE-2015-GiefersPH #kernel
Accelerating arithmetic kernels with coherent attached FPGA coprocessors (HG, RP, CH), pp. 1072–1077.
DATEDATE-2015-LaerEMWJ #multi #predict
Coherence based message prediction for optically interconnected chip multiprocessors (AVL, CE, MRM, PMW, TMJ), pp. 613–616.
DATEDATE-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.
TACASTACAS-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.
STOCSTOC-2015-SunW #canonical #performance
Faster Canonical Forms for Primitive Coherent Configurations: Extended Abstract (XS, JW), pp. 693–702.
ECIRECIR-2015-Arguello
Improving Aggregated Search Coherence (JA), pp. 25–36.
RecSysRecSys-2015-JannachLK #continuation #generative #music
Beyond “Hitting the Hits”: Generating Coherent Music Playlist Continuations with the Right Tracks (DJ, LL, IK), pp. 187–194.
HPCAHPCA-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.
HPCAHPCA-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.
HPDCHPDC-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.
TLCATLCA-2015-BiernackiP #logic #type system
Logical Relations for Coherence of Effect Subtyping (DB, PP), pp. 107–122.
DATEDATE-2014-Huang14a #manycore #network #performance #predict
Leveraging on-chip networks for efficient prediction on multicore coherence (LH), pp. 1–4.
DATEDATE-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.
CIKMCIKM-2014-ArguelloC #behaviour #rank
The Effects of Vertical Rank and Border on Aggregated Search Coherence and Search Behavior (JA, RGC), pp. 539–548.
ICMLICML-c1-2014-ChenBSW #matrix
Coherent Matrix Completion (YC, SB, SS, RW), pp. 674–682.
ICMLICML-c1-2014-YangSX #classification
The Coherent Loss Function for Classification (WY, MS, HX), pp. 37–45.
ICPRICPR-2014-PuZ #algorithm #segmentation #video
Sandwich Cut: An Algorithm for Temporally-Coherent Video Bilayer Segmentation (SP, HZ), pp. 1061–1066.
ICPRICPR-2014-WuK #geometry #image #invariant #retrieval #scalability
Image Retrieval Based on Anisotropic Scaling and Shearing Invariant Geometric Coherence (XW, KK), pp. 3951–3956.
KDIRKDIR-2014-SaiaBC #modelling #recommendation #semantics
Semantic Coherence-based User Profile Modeling in the Recommender Systems Context (RS, LB, SC), pp. 154–161.
KEODKEOD-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.
POPLPOPL-2014-EhrhardTP #probability
Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.
SACSAC-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.
ASPLOSASPLOS-2014-LinWZ #mobile #named #operating system
K2: a mobile operating system for heterogeneous coherence domains (FXL, ZW, LZ), pp. 285–300.
ASPLOSASPLOS-2014-VoskuilenV
High-performance fractal coherence (GV, TNV), pp. 701–714.
HPCAHPCA-2014-DemetriadesC #manycore #scalability
Stash directory: A scalable directory for many-core coherence (SD, SC), pp. 177–188.
HPCAHPCA-2014-ElverN #consistency #named
TSO-CC: Consistency directed cache coherence for TSO (ME, VN), pp. 165–176.
HPCAHPCA-2014-ZhangBES #design #named #protocol #scalability #verification
PVCoherence: Designing flat coherence protocols for scalable verification (MZ, JDB, JE, DJS), pp. 392–403.
ISMMISMM-2014-ZakkakP #architecture #java #memory management #named
JDMM: a java memory model for non-cache-coherent memory architectures (FSZ, PP), pp. 83–92.
DATEDATE-2013-LiSLXCX #adaptation
Cache coherence enabled adaptive refresh for volatile STT-RAM (JL, LS, QL, CJX, YC, YX), pp. 1247–1250.
CHICHI-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.
CIKMCIKM-2013-ChenMLHCG #topic #using
Discovering coherent topics using general knowledge (ZC, AM, BL, MH, MC, RG), pp. 209–218.
HPCAHPCA-2013-BeuPHC #performance #verification
High-speed formal verification of heterogeneous coherence hierarchies (JGB, JAP, ERH, TMC), pp. 566–577.
HPCAHPCA-2013-SinghSFOA #architecture #gpu
Cache coherence for GPU architectures (IS, AS, WWLF, MO, TMA), pp. 578–590.
HPDCHPDC-2013-RamosH #case study #communication #modelling
Modeling communication in cache-coherent SMP systems: a case-study with Xeon Phi (SR, TH), pp. 97–108.
CSLCSL-2013-Mellies #game studies #on the
On dialogue games and coherent strategies (PAM), pp. 540–562.
RTARTA-2013-GuiraudMM #monad #topic
A Homotopical Completion Procedure with Applications to Coherence of Monoids (YG, PM, SM), pp. 223–238.
DACDAC-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.
DATEDATE-2012-QinM #automation #generative #protocol #testing
Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
WRLAWRLA-J-2010-DuranM12 #on the #order
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (FD, JM), pp. 816–850.
CIKMCIKM-2012-ArguelloC #behaviour
The effect of aggregated search coherence on search behavior (JA, RC), pp. 1293–1302.
CIKMCIKM-2012-CuiMWGL #image #keyword #semantics
Semantically coherent image annotation with a learning-based keyword propagation strategy (CC, JM, SW, SG, TL), pp. 2423–2426.
CIKMCIKM-2012-DaiZLP #mining #web
Mining coherent anomaly collections on web data (HD, FZ, EPL, HP), pp. 1557–1561.
ICMLICML-2012-MahoneyDMW #approximate #matrix #performance #statistics
Fast approximation of matrix coherence and statistical leverage (MWM, PD, MMI, DPW), p. 137.
ICPRICPR-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.
KDDKDD-2012-BodenGHS #graph #mining #multi
Mining coherent subgraphs in multi-layer graphs with edge labels (BB, SG, HH, TS), pp. 1258–1266.
HPCAHPCA-2012-SanchezK #encoding #flexibility #named #scalability #set
SCD: A scalable coherence directory with flexible sharer set encoding (DS, CK), pp. 129–140.
DATEDATE-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.
PLDIPLDI-2011-KupersteinVY #abstraction #memory management #modelling
Partial-coherence abstractions for relaxed memory models (MK, MTV, EY), pp. 187–198.
ICMLICML-2011-FlachHR #classification #performance
A Coherent Interpretation of AUC as a Measure of Aggregated Classification Performance (PAF, JHO, CFR), pp. 657–664.
SIGIRSIGIR-2011-WangSE #retrieval #video
Words-of-interest selection based on temporal motion coherence for video retrieval (LW, DS, EE), pp. 1197–1198.
HPCAHPCA-2011-VantreaseLB #protocol
Atomic Coherence: Leveraging nanophotonics to build race-free cache coherence protocols (DV, MHL, NLB), pp. 132–143.
LICSLICS-2011-EhrhardPT #probability
The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.
WRLAWRLA-2010-DuranM10a #maude #order
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (FD, JM), pp. 86–103.
ICSMEICSM-2010-Steinbruckner
Coherent Software Cities (FS), pp. 1–2.
PASTEPASTE-2010-IslamKBH #clustering #dependence
Coherent dependence clusters (SSI, JK, DB, MH), pp. 53–60.
HPCAHPCA-2010-RomanescuLSB #protocol
UNified Instruction/Translation/Data (UNITD) coherence: One protocol to rule them all (BFR, ARL, DJS, AB), pp. 1–12.
DACDAC-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.
DATEDATE-2009-ZuoFQWJNLYB #manycore
Group-caching for NoC based multicore cache coherent systems (ZW, FS, QZ, WJ, JL, ND, LX, YAT, BQ), pp. 755–760.
MSRMSR-2009-LinsteadB #debugging #gnome #mining #modelling #statistics #topic
Mining the coherence of GNOME bug reports with statistical topic models (EL, PB), pp. 99–102.
CHICHI-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.
HCIDHM-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.
HCIHCI-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.
ICMLICML-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.
ICMLICML-2009-MobahiCW #learning #video
Deep learning from temporal coherence in video (HM, RC, JW), pp. 737–744.
KEODKEOD-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.
KEODKEOD-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.
SACSAC-2009-PesquitaFC #biology #database
Measuring coherence between electronic and manual annotations in biological databases (CP, DF, FMC), pp. 806–807.
ASPLOSASPLOS-2009-RamaniGD #architecture #named
StreamRay: a stream filtering architecture for coherent ray tracing (KR, CPG, AD), pp. 325–336.
HPCAHPCA-2009-AgarwalPJ
In-Network Snoop Ordering (INSO): Snoopy coherence on unordered interconnects (NA, LSP, NKJ), pp. 67–78.
FATESTestCom-FATES-2009-Gecse #automation #framework #generative #towards
Towards Automatic Generation of a Coherent TTCN-3 Template Framework (RG), pp. 223–228.
CASECASE-2008-StirlingN #coordination #nash
Rational coordination under risk: Coherence and the Nash bargain (WCS, MSN), pp. 122–127.
DATEDATE-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-VMTGT-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.
ECIRECIR-2008-HeLR #metric #predict #query #using
Using Coherence-Based Measures to Predict Query Difficulty (JH, ML, MdR), pp. 689–694.
HPCAHPCA-2008-FenschC #hardware
An OS-based alternative to full hardware coherence on tiled CMPs (CF, MC), pp. 355–366.
CASECASE-2007-XiongLCMS #coordination #effectiveness #modelling
Coherent Modeling and Effective Coordination for Building Emergency Evacuation (BX, PBL, SCC, LDM, AS), pp. 670–677.
DACDAC-2007-ChuKCCG #embedded #multi #programming #thread
An Embedded Coherent-Multithreading Multimedia Processor and Its Programming Model (JCC, WCK, SHC, TFC, JIG), pp. 652–657.
HCIDHM-2007-ZhangWXWY
Mechanism of Bifurcation-Dependent Coherence Resonance of Excitable Neuron Model (GJZ, JW, JXX, XBW, HY), pp. 757–766.
SACSAC-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.
HPCAHPCA-2007-ChengCD #adaptation #protocol
An Adaptive Cache Coherence Protocol Optimized for Producer-Consumer Sharing (LC, JBC, DD), pp. 328–339.
HPCAHPCA-2007-MeixnerS #detection #fault #online
Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures (AM, DJS), pp. 145–156.
HPCAHPCA-2007-PascualGAD #architecture #fault tolerance #protocol
A Low Overhead Fault Tolerant Coherence Protocol for CMP Architectures (RFP, JMG, MEA, JD), pp. 157–168.
CIKMCIKM-2006-ZhangW #array #mining
Mining coherent patterns from heterogeneous microarray data (XZ, WW), pp. 838–839.
ICPRICPR-v2-2006-WangZC #locality #performance #using
Efficient Topological Localization Using Orientation Adjacency Coherence Histograms (JW, HZ, RC), pp. 271–274.
ICPRICPR-v4-2006-FengL #clustering #graph #self
Self-Validated and Spatially Coherent Clustering with Net-Structured MRF and Graph Cuts (WF, ZQL), pp. 37–40.
KDDKDD-2006-ZengWZK #clique #database #graph #scalability
Coherent closed quasi-clique discovery from large dense graph databases (ZZ, JW, LZ, GK), pp. 797–802.
CSLCSL-2006-Pagani #exponential #linear #logic #multi
Acyclicity and Coherence in Multiplicative Exponential Linear Logic (MP), pp. 531–545.
CASECASE-2005-LuhMSYSXJC
Coherent configuration and operation of building transportation systems (PBL, LM, ESJ, DY, AS, BX, GJ, SCC), pp. 178–184.
DACDAC-2005-SuhKL #architecture
Cache coherence support for non-shared bus architecture on heterogeneous MPSoCs (TS, DK, HHSL), pp. 553–558.
DATEDATE-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.
SIGMODSIGMOD-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.
CIKMCIKM-2005-JiangZ #markov #modelling #using
Accurately extracting coherent relevant passages using hidden Markov models (JJ, CZ), pp. 289–290.
SIGIRSIGIR-2005-LiuJC #information retrieval
A maximum coherence model for dictionary-based cross-language information retrieval (YL, RJ, JYC), pp. 536–543.
HPCAHPCA-2005-MartyBHHMW #multi #using
Improving Multiple-CMP Systems Using Token Coherence (MRM, JDB, MDH, AJH, MMKM, DAW), pp. 328–339.
PPoPPPPoPP-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.
VMCAIVMCAI-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.
DATEDATE-v2-2004-SuhBL #multi
Supporting Cache Coherence in Heterogeneous Multiprocessor Systems (TS, DMB, HHSL), pp. 1150–1157.
CHICHI-2004-BadeSM #interactive #visualisation
Connecting time-oriented data and information to a coherent interactive visualization (RB, SS, SM), pp. 105–112.
KDDKDD-2004-JiangPRTZ #array #clustering #mining
Mining coherent gene clusters from gene-sample-time microarray data (DJ, JP, MR, CT, AZ), pp. 430–439.
ASPLOSASPLOS-2004-HammondCWHCKO #consistency #programming #transaction
Programming with transactional coherence and consistency (TCC) (LH, BDC, VW, BH, MKC, CK, KO), pp. 1–13.
ASPLOSASPLOS-2004-HuhCBS
Coherence decoupling: making use of incoherence (JH, JC, DB, GSS), pp. 97–106.
TACASTACAS-2003-EmersonK #agile #model checking #protocol
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols (EAE, VK), pp. 144–159.
EDOCEDOC-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.
KDDKDD-2003-JiangPZ #interactive
Interactive exploration of coherent patterns in time-series gene expression data (DJ, JP, AZ), pp. 565–570.
CGOCGO-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.
HPDCHPDC-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.
PPoPPPPoPP-2003-ChenTSDS #distributed
Exploiting high-level coherence information to optimize distributed shared state (DC, CT, BS, SD, MLS), pp. 131–142.
PPoPPPPoPP-2003-McCurdyF #memory management #multi #performance
User-controllable coherence for high performance shared memory multiprocessors (CM, CNF), pp. 73–82.
VLDBVLDB-2002-ShahRS #maintenance #repository
Maintaining Coherency of Dynamic Data in Cooperating Repositories (SS, KR, PJS), pp. 526–537.
ICPRICPR-v2-2002-TruongVD
Neighborhood Coherence and Edge Based Approaches to Film Scene Extraction (BTT, SV, CD), pp. 350–353.
VMCAIVMCAI-2002-BaukusLS #liveness #protocol #safety #verification
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness (KB, YL, KS), pp. 317–330.
DACDAC-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.
HTHT-2001-ManciniS #hypermedia
Cognitive coherence relations and hypertext: from cinematic patterns to scholarly discourse (CM, SBS), pp. 165–174.
FMFME-2001-StoySA #correctness #protocol #proving
Proofs of Correctness of Cache-Coherence Protocols (JES, XS, A), pp. 43–71.
DACDAC-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.
ICPRICPR-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.
SIGIRSIGIR-2000-HoenkamG #proximity #using
Finding relevant passages using noun-noun compounds: coherence vs. proximity (EH, RdG), pp. 385–387.
TOOLSTOOLS-EUROPE-2000-Wills #enterprise #modelling
Coherent Enterprise Modeling (ACW), p. 472.
HPCAHPCA-2000-KaxirasY #communication #multi #predict
Coherence Communication Prediction in Shared-Memory Multiprocessors (SK, CY), pp. 156–167.
HPCAHPCA-2000-NandaNMJ
High-Throughput Coherence Controllers (AKN, ATN, MMM, DJJ), pp. 145–155.
CAVCAV-2000-Delzanno #automation #protocol #verification
Automatic Verification of Parameterized Cache Coherence Protocols (GD), pp. 53–68.
ICLPCL-2000-DutraCB #logic programming #parallel #protocol
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems (IdCD, VSC, RB), pp. 1285–1299.
FMFM-v2-1999-AkhianiDHLSTY #verification
Cache Coherence Verification with TLA+ (HA, DD, PH, LL, JS, MRT, YY), pp. 1871–1872.
HPCAHPCA-1999-RheeL #network #scalability
A Scalable Cache Coherent Scheme Exploiting Wormhole Routing Networks (YR, JL), pp. 223–226.
SACSAC-1998-SiLY #html #maintenance
Maintaining page coherence for dynamic HTML pages (AS, HVL, SMTY), pp. 767–773.
CAVCAV-1998-Moore #proving
An ACL2 Proof of Write Invalidate Cache Coherence (JSM), pp. 29–38.
ICTSSIWTCS-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.
HTHT-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.
ICDARICDAR-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.
HCIHCI-CC-1997-Averboukh #design
Coherent Ergodynamical Design and Technology Transfer of Complex Dynamic Systems (EAA), pp. 859–862.
HPCAHPCA-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.
HPCAHPCA-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.
PPoPPPPoPP-1997-BianchiniCK #interactive #parallel #programming #protocol
The Interaction of Parallel Programming Constructs and Coherence Protocols (RB, EVC, LIK), pp. 69–79.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
SOSPSOSP-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.
VLDBVLDB-1996-Klots #parallel
Cache Coherency in Oracle Parallel Server (BK), p. 583.
PLDIPLDI-1996-ChandraRL #memory management #named #protocol
Teapot: Language Support for Writing Memory Coherence Protocols (SC, BR, JRL), pp. 237–248.
ICPRICPR-1996-SchackK #information management #parametricity
Instantaneous coherence as a sensible parameter for considering human information processing (BS, WK), pp. 45–49.
ASPLOSASPLOS-1996-BianchiniKPMAA #communication #latency
Hiding Communication Latency and Coherence Overhead in Software DSMs (RB, LIK, RP, MDM, MA, CLdA), pp. 198–209.
HPCAHPCA-1996-AndersonK #adaptation #hybrid #protocol
Two Adaptive Hybrid Cache Coherency Protocols (CA, ARK), pp. 303–313.
HPCAHPCA-1996-ReisnerW #parallel #protocol
A Cache Coherency Protocol for Optically Connected Parallel Computer Systems (JAR, TSW), pp. 222–231.
HPCAHPCA-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.
RTARTA-1996-GuerriniMM #proving
Coherence for Sharing Proof Nets (SG, SM, AM), pp. 215–229.
VLDBVLDB-1995-GallersdorferN #database #performance
Improving Performance in Replicated Databases through Relaxed Coherency (RG, MN), pp. 445–456.
STOCSTOC-1995-Yao #metric #protocol #quantum #security
Security of quantum protocols against coherent measurements (ACCY), pp. 67–75.
HPCAHPCA-1995-KontothanassisS #multi #scalability
Software Cache Coherence for Large Scale Multiprocessors (LIK, MLS), pp. 286–295.
SOSPSOSP-1995-HeidemannP #performance
Performance of Cache Coherence in Stackable Filing (JSH, GJP), pp. 127–142.
ICLPICLP-1995-YuanY #approach #logic programming #on the
On Coherence Approach to Logic Program Revision (LYY, JHY), pp. 167–181.
ASPLOSASPLOS-1994-SkeppstedtS #algorithm #compilation #protocol
Simple Compiler Algorithms to Reduce Ownership Operhead in Cache Coherence Protocols (JS, PS), pp. 286–296.
ASPLOSASPLOS-1994-WooSH #multi #performance
The Performance Advantages of Integrating Block Data Trabsfer in Cache-Coherent Multiprocessors (SCW, JPS, JLH), pp. 219–229.
HCIHCI-SHI-1993-RistA #design #multi
Designing Coherent Multimedia Presentations (TR, EA), pp. 434–439.
SIGIRSIGIR-1993-FullerMSW #documentation #scalability
Coherent Answers for a Large Structured Document Collection (MF, EM, RSD, RW), pp. 204–213.
TOOLSTOOLS-PACIFIC-1993-DurnotaM #design #metric #object-oriented
Tree-Based Coherence Metrics in Object-Oriented Design (BD, CM), pp. 489–504.
TOOLSTOOLS-USA-1993-RupingWZ #data type #design
Demonstrating Coherent Design: A Data Structure Catalogue (AR, FW, WZ), pp. 363–375.
PPoPPPPoPP-1993-SandhuGZ #approach #multi
The Shared Regions Approach to Software Cache Coherence on Multiprocessors (HSS, BG, SZ), pp. 229–238.
SIGMODSIGMOD-1992-DanY #analysis #performance #policy
Performance Analysis of Coherency Control Policies through Lock Retention (AD, PSY), pp. 114–123.
ASPLOSASPLOS-1992-VeenstraF #evaluation #hybrid #performance #protocol
A Performance Evaluation of Optimal Hybrid Cache Coherency Protocols (JEV, RJF), pp. 149–160.
VLDBVLDB-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.
OOPSLAOOPSLA-1991-HayesC #analysis #modelling #object-oriented
Coherent Models for Object-Oriented Analysis (FH, DC), pp. 171–183.
TOOLSTOOLS-USA-1991-EdwardsH #object-oriented #re-engineering
Associated Paper: A Coherent Notation for Object-Oriented Software Engineering (JME, BHS), pp. 405–426.
ASPLOSASPLOS-1991-ChaikenKA #scalability
LimitLESS Directories: A Scalable Cache Coherence Scheme (DC, JK, AA), pp. 224–234.
CAVCAV-1991-GjessingKM #approach #specification #top-down
A Top Down Approach to the Formal Specification of SCI Cache Coherence (SG, SK, EMK), pp. 83–91.
STOCSTOC-1990-Yao
Coherent Functions and Program Checkers (Extended Abstract) (ACCY), pp. 84–94.
PPoPPPPoPP-1990-BennettCZ #distributed #memory management #named
Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence (JKB, JBC, WZ), pp. 168–176.
KRKR-1989-Geffner #reasoning
Default Reasoning, Minimality and Coherence (HG), pp. 137–148.
KRKR-1989-Neufeld
Defaults and Probabilities; Extensions and Coherence (EN), pp. 312–323.
ASPLOSASPLOS-1989-GoodmanVW #multi #scalability
Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors (JRG, MKV, PJW), pp. 64–75.
ASPLOSASPLOS-1989-OwickiA #performance
Evaluating the Performance of Software Cache Coherence (SSO, AA), pp. 230–242.
SOSPSOSP-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.
SOSPSOSP-1989-FleischP #design #distributed #memory management #named
Mirage: A Coherent Distributed Shared Memory Design (BDF, GJP), pp. 211–223.
LICSLICS-1988-GunterJ #consistency
Coherence and Consistency in Domains (Extended Outline) (CAG, AJ), pp. 309–317.
VLDBVLDB-1987-DiasIRY #analysis #design
Design and Analysis of Integrated Concurrency-Coherence Controls (DMD, BRI, JTR, PSY), pp. 463–471.
ASPLOSASPLOS-1987-Goodman #multi
Coherency for Multiprocessor Virtual Address Caches (JRG), pp. 72–81.
LICSLICS-1986-Plaisted #nondeterminism #recursion #semantics #source code #using
The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations (DAP), pp. 163–174.
ICALPICALP-1978-ScioreT
Admissible Coherent CPO’s (ES, AT), pp. 440–456.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.