Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Serhan Gurmeric, Gözde Gül Isgüder, Stéphane G. Carlier, Gozde B. Unal |
A New 3-D Automated Computational Method to Evaluate In-Stent Neointimal Hyperplasia in In-Vivo Intravascular Optical Coherence Tomography Pullbacks. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Azadeh Yazdanpanah, Ghassan Hamarneh, Benjamin Smith 0002, Marinko Sarunic |
Intra-retinal Layer Segmentation in Optical Coherence Tomography Using an Active Contour Approach. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Marcin Balicki, Jae-Ho Han, Iulian Iordachita, Peter Gehlbach, James Handa, Russell H. Taylor, Jin U. Kang |
Single Fiber Optical Coherence Tomography Microsurgical Instruments for Computer and Robot-Assisted Retinal Surgery. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Erik Linstead, Pierre Baldi |
Mining the coherence of GNOME bug reports with statistical topic models. |
MSR |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Mona Kathryn Garvin, Michael D. Abràmoff, Randy Kardon, Stephen R. Russell, Xiaodong Wu 0001, Milan Sonka |
Intraretinal Layer Segmentation of Macular Optical Coherence Tomography Images Using Optimal 3-D Graph Search. |
IEEE Trans. Medical Imaging |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Riadh Abdelfattah, Aymen Bouzid |
SAR interferogram filtering in the wavelet domain using a coherence map mask. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Efthymia Tsamoura, Vasileios Mezaris, Ioannis Kompatsiaris |
Gradual transition detection using color coherence and other criteria in a video shot meta-segmentation framework. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Gwendoline Blanchet, Lionel Moisan, Bernard Rougé |
Measuring the Global Phase Coherence of an image. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Leif E. Peterson, Kirill V. Larin |
Hermite/Laguerre Neural Networks for Classification of Artificial Fingerprints from Optical Coherence Tomography. |
ICMLA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Youxin Mao, Costel Flueraru, Sherif Sherif, Shoude Chang |
Full range swept-source optical coherence tomography using 3×3 Mach-Zehnder interferometer with unbalanced differential detection. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Peter C. Barnum, Mei Chen, Hiroshi Ishikawa 0005, Gadi Wollstein, Joel S. Schuman |
Local quality assessment for optical coherence tomography. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
15 | S. Chandra Sekhar, Roland Michaely, Rainer A. Leitgeb, Michael Unser |
Theoretical analysis of complex-conjugate-ambiguity suppression in frequency-domain optical-coherence tomography. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
15 | S. Chandra Sekhar, Michael Unser |
Performance analysis of the cepstral technique for frequency-domain optical-coherence tomography. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Golbabaee, Pierre Vandergheynst |
Average case analysis of sparse recovery with thresholding : New bounds based on average dictionary coherence. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Irene Polycarpou |
Induction as a tool for conceptual coherence in computer science. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
undergraduate computer science curricula, computer science education, structural induction, proofs by induction |
15 | Hugo Hernault, Paul Piwek, Helmut Prendinger, Mitsuru Ishizuka |
Generating Dialogues for Virtual Agents Using Nested Textual Coherence Relations. |
IVA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Arnon Avron, Anna Zamansky |
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kazuki Nakada, Jun Igarashi, Tetsuya Asai, Katsumi Tateno, Hatsuo Hayashi, Yoshitaka Ohtubo, Tsutomu Miki, Kiyonori Yoshii |
Stochastic Synchronization and Array-Enhanced Coherence Resonance in a Bio-inspired Chemical Sensor Array. |
CSE |
2008 |
DBLP DOI BibTeX RDF |
Biological inspired information processing, Chemical sensor array, Noise-induced phenomena |
15 | Xiaopeng Yan, Ping Li 0028, Yueqin Li, Fengkai Xu |
Image Speckle Reduction and Coherence Enhancement in Underwater Ultrasonic Imaging Based on Wavelet Transform. |
CSSE (6) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Gabriel Tsechpenakis, Brandon Lujan, Oscar Martinez, Giovanni Gregori, Philip J. Rosenfeld |
Geometric Deformable Model Driven by CoCRFs: Application to Optical Coherence Tomography. |
MICCAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Çagatay Demiralp, Gregory Shakhnarovich, Song Zhang 0004, David H. Laidlaw |
A Slicing-Based Coherence Measure for Clusters of DTI Integral Curves. |
MICCAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Julian J. H. Leong, Louis Atallah, George P. Mylonas, Daniel Richard Leff, Roger J. Emery, Ara Darzi, Guang-Zhong Yang |
Investigation of Partial Directed Coherence for Hand-Eye Coordination in Laparoscopic Training. |
MIAR |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kun Shi 0002, G. Tong Zhou, Mats Viberg |
Compensation for Nonlinearity in a Hammerstein System Using the Coherence Function With Application to Nonlinear Acoustic Echo Cancellation. |
IEEE Trans. Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Melani I. Plett |
Transient Detection With Cross Wavelet Transforms and Wavelet Coherence. |
IEEE Trans. Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Jakobsson, Stephen R. Alty, Jacob Benesty |
Estimating and Time-Updating the 2-D Coherence Spectrum. |
IEEE Trans. Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Robbert-Jan Beun, Rogier M. van Eijk |
Dialogue Coherence: A Generation Framework. |
J. Log. Lang. Inf. |
2007 |
DBLP DOI BibTeX RDF |
Cooperative dialogue games, Speech act generation, Cognitive state update, Cognitive balance, Commitments, Beliefs |
15 | Brynmor J. Davis, Tyler S. Ralston, Daniel L. Marks, Stephen A. Boppart, Paul Scott Carney |
Interferometric Synthetic Aperture Microscopy: Physics-Based Image Reconstruction from Optical Coherence Tomography Data. |
ICIP (4) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Gabriel Tsechpenakis, Jianhua Wang |
CRF-Based Segmentation of Human Tear Meniscus Obtained with Optical Coherence Tomography. |
ICIP (5) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sami Mäkelä, Ville Leppänen |
A software metric for coherence of class roles in Java programs. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java, metrics, design patterns, refactoring, cohesion |
15 | Kyueun Yi, Jean-Luc Gaudiot |
Architectural Implications of Cache Coherence Protocols with Network Applications on Chip MultiProcessors. |
NPC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | David Coufal |
Coherence Index of Radial Conjunctive Fuzzy Systems. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | S. Chandra Sekhar, Rainer A. Leitgeb, Martin L. Villiger, Adrian H. Bachmann, Thierry Blu, Michael Unser |
Non-Iterative Exact Signal Recovery in Frequency Domain Optical Coherence Tomography. |
ISBI |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Amit Kumar 0008, Ram Huggahalli |
Impact of Cache Coherence Protocols on the Processing of Network Traffic. |
MICRO |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Gang Li, Yakup Genc, Steven W. Zucker |
Multi-View Edge-based Stereo by Incorporating Spatial Coherence. |
3DIM |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Xubo B. Song, Andriy Myronenko, David J. Sahn |
Speckle Tracking in 3D Echocardiography with Motion Coherence. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mona Haeker, Michael D. Abràmoff, Xiaodong Wu 0001, Randy Kardon, Milan Sonka |
Use of Varying Constraints in Optimal 3-D Graph Search for Segmentation of Macular Optical Coherence Tomography Images. |
MICCAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mona Haeker, Xiaodong Wu 0001, Michael D. Abràmoff, Randy Kardon, Milan Sonka |
Incorporation of Regional Information in Optimal 3-D Graph Search with Application for Intraretinal Layer Segmentation of Optical Coherence Tomography Images. |
IPMI |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ping Li 0002, Dirk Farin, Rene Klein Gunnewiek, Peter H. N. de With |
Texture-Independent Feature-Point Matching (TIFM) from Motion Coherence. |
ACCV (1) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Bryan D. Thompson, Mahmood R. Azimi-Sadjadi |
An Iterative Learning Algorithm for Multi-Channel Coherence Analysis. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Noel Eisley, Li-Shiuan Peh, Li Shang |
In-network cache coherence. |
IEEE Comput. Archit. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Kim L. Boyer, Artemas Herzog, Cynthia Roberts |
Automatic recovery of the optic nervehead geometry in optical coherence tomography. |
IEEE Trans. Medical Imaging |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Steve Cronen-Townsend, Yun Zhou, W. Bruce Croft |
Precision prediction based on ranked list coherence. |
Inf. Retr. |
2006 |
DBLP DOI BibTeX RDF |
Language models, Query expansion, Performance prediction |
15 | Tyler S. Ralston, Daniel L. Marks, Paul Carney, Stephen A. Boppart |
Phase stability technique for inverse scattering in optical coherence tomography. |
ISBI |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ignacio Mansa, Aiert Amundarain, Eva Elizalde, Alejandro M. García-Alonso, Luis M. Matey |
Towards Adaptive Occlusion Culling Using Camera Coherence. |
IV |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Junqiu Wang, Hongbin Zha, Roberto Cipolla |
Efficient Topological Localization Using Orientation Adjacency Coherence Histograms. |
ICPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Nirlep A. Patel, Jason Zoeller, Debra L. Stamper, James G. Fujimoto, Mark E. Brezinski |
Monitoring osteoarthritis in the rat model using optical coherence tomography. |
IEEE Trans. Medical Imaging |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Freek J. van der Meer, Dirk J. Faber, David M. Baraznji Sassoon, Maurice C. G. Aalders, Gerard Pasterkamp, Ton G. van Leeuwen |
Localized measurement of optical attenuation coefficients of atherosclerotic plaque constituents by quantitative optical coherence tomography. |
IEEE Trans. Medical Imaging |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Delia Cabrera Fernandez |
Delineating Fluid-Filled Region Boundaries in Optical Coherence Tomography Images of the Retina. |
IEEE Trans. Medical Imaging |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Shawn Kraut, Louis L. Scharf, Ronald W. Butler |
The adaptive coherence estimator: a uniformly most-powerful-invariant adaptive detection statistic. |
IEEE Trans. Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Einhäuser, Jörg F. Hipp, Julian Eggert, Edgar Körner, Peter König |
Learning viewpoint invariant object representations using a temporal coherence principle. |
Biol. Cybern. |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Gaetano Giunta, Alessandro Neri 0001, Luc Vandendorpe |
Initial code synchronization of W-CDMA mobile systems exploiting local phase coherence and Pisarenko estimation. |
IEEE Trans. Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Tyler S. Ralston, Daniel L. Marks, Farzad Kamalabadi, Stephen A. Boppart |
Deconvolution Methods for Mitigation of Transverse Blurring in Optical Coherence Tomography. |
IEEE Trans. Image Process. |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Soon Tee Teoh, Kwan-Liu Ma |
Hifocon: Object and Dimensional Coherence and Correlation in Multidimensional Visualization. |
ISVC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Flore Barcellini, Françoise Détienne, Jean-Marie Burkhardt, Warren Sack |
Thematic coherence and quotation practices in OSS design-oriented online discussions. |
GROUP |
2005 |
DBLP DOI BibTeX RDF |
distributed asynchronous design, open source software projects, quoting practices |
15 | Fumihito Ito, Akio Doi, Masayuki Tokuda |
3D visualization techniques and its usefulness of eyeground images data sets generated by Optical Coherence Tomography. |
ICPADS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Carla Diacui Medeiros Berkenbrock, Mario A. R. Dantas |
Investigation of Cache Coherence Strategies in a Mobile Client/Server Environment. |
International Conference on Computational Science (3) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Artemas Herzog, Kim L. Boyer, Cynthia Roberts |
Extracting the Optic Disk Endpoints in Optical Coherence Tomography Data. |
WACV/MOTION |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Rita Cucchiara, Roberto Vezzani |
Assessing Temporal Coherence for Posture Classification with Large Occlusions. |
WACV/MOTION |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Lance Hammond, Brian D. Carlstrom, Vicky Wong, Michael K. Chen, Christos Kozyrakis, Kunle Olukotun |
Transactional Coherence and Consistency: Simplifying Parallel Hardware and Software. |
IEEE Micro |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Samuel W. K. Chan |
Extraction of salient textual patterns: synergy between lexical cohesion and contextual coherence. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Sang Hwa Lee, Nam Ik Cho, Jong-Il Park |
Disparity estimation using color coherence and stochastic diffusion. |
ICIP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Wenyuan Wang |
On the Design of Optimal Derivative Filters for Coherence-Enhancing Diffusion Filtering. |
CGIV |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Taeweon Suh, Douglas M. Blough, Hsien-Hsin S. Lee |
Supporting Cache Coherence in Heterogeneous Multiprocessor Systems. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Takehiro Tawara, Karol Myszkowski, Hans-Peter Seidel |
Exploiting Temporal Coherence in Final Gathering for Dynamic Scenes. |
Computer Graphics International |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Chedsada Chinrungrueng, Pollakrit Toonkum |
Real-time speckle reduction and coherence enhancement of ultrasound images based on anisotropic Savitzky-Golay filters. |
SMC (3) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Nikiforos Karamanis, Chris Mellish, Jon Oberlander, Massimo Poesio |
A Corpus-Based Methodology for Evaluating Metrics of Coherence for Text Structuring. |
INLG |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Jerzy Brzezinski, Michal Szychowiak |
An Extended Coherence Protocol for Recoverable DSM Systems with Causal Consistency. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Kerstin Severinson Eklundh, Henry Rodriguez |
Coherence and Interactivity in Text-Based Group Discussions around Web Documents. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Artemas Herzog, Kim L. Boyer, Cynthia Roberts |
Robust Extraction of the Optic Nerve Head in Optical Coherence Tomography. |
ECCV Workshops CVAMIA and MMBIA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Arnaud Le Troter, Sébastien Mavromatis, Jean Sequeira |
Soccer Field Detection in Video Images Using Color and Spatial Coherence. |
ICIAR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Iain McCowan, Hervé Bourlard |
Microphone array post-filter based on noise field coherence. |
IEEE Trans. Speech Audio Process. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Benoit Albouy, Yannick Deville |
A Time-Frequency Blind Source Separation Method Based on Segmented Coherence Function. |
IWANN (2) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mahadevan Subramaniam |
Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | E. Allen Emerson, Vineet Kahlon |
Exact and Efficient Verification of Parameterized Cache Coherence Protocols. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Weickert |
Coherence-Enhancing Shock Filters. |
DAGM-Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Robert Porzel, Iryna Gurevych |
Contextual Coherence in Natural Language Processing. |
CONTEXT |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jerzy Brzezinski, Michal Szychowiak |
An Extended Home-ased Coherence Protocol for Causally Consistent Replicated Read-Write Objects. |
CCGRID |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Christopher W. Pleydell-Pearce, Sharron E. Whitecross, Blair T. Dickson |
Multivariate Analysis of EEG: Predicting Cognition on the basis of Frequency Decomposition, Inter-electrode Correlation, Coherence, Cross Phase and Cross Power. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jason M. Zara, Joseph A. Izatt, K. Divakara Rao, Siavash Yazdanfar, Stephen W. Smith |
Scanning mirror for optical coherence tomography using an electrostatic MEMS actuator. |
ISBI |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Thierry Blu, Herbert Bay, Michael Unser |
A new high-resolution processing method for the deconvolution of optical coherence tomography signals. |
ISBI |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Ba Tu Truong, Svetha Venkatesh, Chitra Dorai |
Neighborhood Coherence and Edge Based Approaches to Film Scene Extraction. |
ICPR (2) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Shengfei Shi, Jianzhong Li 0001, Chaokun Wang |
Using PR-Tree and HPIR to Manage Coherence of Semantic Cache for Location Dependent Data in Mobile Database. |
WAIM |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Kai Baukus, Yassine Lakhnech, Karsten Stahl |
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jarmo Hurri, Aapo Hyvärinen |
Receptive Fields Similar to Simple Cells Maximize Temporal Coherence in Natural Video. |
ICANN |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Pilar Herrero, Angélica de Antonio, Steve Benford, Chris Greenhalgh |
Increasing the coherence between human beings and virtual agents. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
human-like, nimbus, architecture, CSCW, agents, awareness, perception, knowledge, focus |
15 | Emilia I. Barakova |
An Integration Principle for Multimodal Sensor Data Based on Temporal Coherence of Self-Organized Patterns. |
IWANN (2) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Joseph E. Stoy, Xiaowei Shen, Arvind |
Proofs of Correctness of Cache-Coherence Protocols. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Kenneth L. McMillan |
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez, Carlos Enrique Cuesta Quintero, Pablo de la Fuente |
Formal Verification of Coherence for a Shared Memory Multiprocessor Model. |
PaCT |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Roberto A. Flores, Robert C. Kremer |
Bringing Coherence to Agent Conversations. |
AOSE |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Dalcidio Moraes Claudio |
A Coherence Space of Rational Intervals for a Construction of IR. |
Reliab. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Stefanos Kaxiras, Cliff Young |
Coherence Communication Prediction in Shared-Memory Multiprocessors. |
HPCA |
2000 |
DBLP DOI BibTeX RDF |
sharing prediction, screening tests, shared memory multiprocessors |
15 | Ta-Hsin Li, William R. Klemm |
Detection of Cognitive Binding During Ambiguous Figure Tasks by Wavelet Coherence Analysis of EEG Signals. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Cornelia Seeberg, Achim Steinacker, Ralf Steinmetz |
Coherence in Modularly Composed Adaptive Learning Documents. |
AH |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Dara Koozekanani, Kim L. Boyer, Cynthia Roberts |
Retinal Thickness Measurements in Optical Coherence Tomography Using a Markov Boundary Model. |
CVPR |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Julio Sahuquillo, Ana Pont |
Designing Competitive Coherence Protocols Taking Advantage of Reuse Information. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
split data cache, reuse information, competitive protocol, performance evaluation, multiprocessor systems, data locality |
15 | 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 |
|
15 | Andrea Capotorti, Barbara Vantaggi |
A general interpretation of conditioning and its implication on coherence. |
Soft Comput. |
1999 |
DBLP DOI BibTeX RDF |
Conditional event algebra, coherent conditional probability assessments, conditional atoms, MV-algebras |
15 | Thomas Noll 0001 |
On Coherence Properties in Team Rewriting Models of Concurrency. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Sangyeun Cho, Gyungho Lee |
Reducing Coherence Overhead in Shared-Bus Multiprocessors. |
Euro-Par, Vol. II |
1996 |
DBLP DOI BibTeX RDF |
|