Search results for "invalidate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	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
74	Liqun Cheng, John B. Carter	Extending CC-NUMA systems to support write update optimizations.	SC	2008	DBLP DOI BibTeX RDF
62	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
56	Gregory T. Byrd, Michael J. Flynn	Evaluation of Communication Mechanisms in Invalidate-Based Shared Memory Multiprocessors.	PCRCW	1997	DBLP DOI BibTeX RDF
44	J Strother Moore	An ACL2 Proof of Write Invalidate Cache Coherence.	CAV	1998	DBLP DOI BibTeX RDF
42	Jih-Fu Tu	Cache Management for Discrete Processor Architectures.	ISPA	2005	DBLP DOI BibTeX RDF	Discrete processor architectures, write-invalidate (WI) and cache block, multithreading, cache coherency, shared cache, memory latency
42	Gyungho Lee	An assessment of COMA multiprocessors.	IPPS	1995	DBLP DOI BibTeX RDF	Cache Only Memory Architecture, Perfect Club Benchmark Suite, coherence policy, performance evaluation, performance, discrete event simulation, memory hierarchy, shared memory systems, distributed memory systems, update, trace driven simulations, cache storage, network traffic, miss ratio, distributed shared memory multiprocessors, shared address space, invalidate
37	Amit Manjhi, Phillip B. Gibbons, Anastassia Ailamaki, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, Christopher Olston, Anthony Tomasic, Haifeng Yu	Invalidation Clues for Database Scalability Services.	ICDE	2007	DBLP DOI BibTeX RDF
37	Sung-Woo Lee, Kee-Young Yoo	The Working-Set Based Adaptive Protocol for Software Distributed Shared Memory.	HiPC	2000	DBLP DOI BibTeX RDF
37	Ricardo Bianchini, Enrique V. Carrera, Leonidas I. Kontothanassis	The Interaction of Parallel Programming Constructs and Coherence Protocols.	PPoPP	1997	DBLP DOI BibTeX RDF
37	Alain Raynaud, Zheng Zhang 0001, Josep Torrellas	Distance-Adaptive Update Protocols for Scalable Shared-Memory Multiprocessors.	HPCA	1996	DBLP DOI BibTeX RDF	update protocols, cache coherence protocols, scalable shared-memory multiprocessors
37	Fredrik Dahlgren	Boosting the Performance of Hybrid Snooping Cache Protocols.	ISCA	1995	DBLP DOI BibTeX RDF
31	Mingcan Zhu, Amna Shahab, Antonios Katsarakis, Boris Grot	Invalidate or Update? Revisiting Coherence for Tomorrow's Cache Hierarchies.	PACT	2021	DBLP DOI BibTeX RDF
31	Lifeng Zhang, Yilei Wang, Fengyin Li, Yuemei Hu, Man Ho Au	A game-theoretic method based on Q-learning to invalidate criminal smart contracts.	Inf. Sci.	2019	DBLP DOI BibTeX RDF
31	Johanna Rohde, Lukas Johannes Jung, Christian Hochberger	Update or Invalidate: Influence of Coherence Protocols on Configurable HW Accelerators.	ARC	2019	DBLP DOI BibTeX RDF
31	Hai-Feng Zhang 0003, Panpan Shu, Zhen Wang 0004, Ming Tang, Michael Small	Preferential imitation can invalidate targeted subsidy policies on seasonal-influenza diseases.	Appl. Math. Comput.	2017	DBLP DOI BibTeX RDF
31	Bidesh Chakraborty, Mamata Dalui, Biplab K. Sikdar	Design of Coherence Verification Unit for Heterogeneous CMPs Integrating Update and Invalidate Protocols.	VLSID	2017	DBLP DOI BibTeX RDF
31	Hai-Feng Zhang 0003, Panpan Shu, Ming Tang, Michael Small	Preferential imitation of vaccinating behavior can invalidate the targeted subsidy on complex network.	CoRR	2015	DBLP BibTeX RDF
31	Roman Dovgopol, Matthew Rosonke	Hybrid Update/Invalidate Schemes for Cache Coherence Protocols.	CoRR	2015	DBLP BibTeX RDF
31	Chen Chen, Qingyun Liu, Hongzhou Sha, Zhou Zhou 0007, Chao Zheng	A New Approach to Decrease Invalidate Rate of Weak Consistency Methods in Web Proxy Caching.	ISCTCS	2013	DBLP DOI BibTeX RDF
31	R. Venkatesh, C. Sanjeevakumar, M. Kasi Rajan, L. Sudarsan, N. Srinivasan	A QKD Protocol Extendable to Support Entanglement and Reduce Unauthorized Information Gain by Randomizing the Bases Lists with Key Values and Invalidate Explicit Privacy Amplification.	IACR Cryptol. ePrint Arch.	2005	DBLP BibTeX RDF
31	Yosi Ben-Asher, Dimitry Podvolny	Y-Invalidate: A New Protocol for Implementing Weak Consistency in DSM Systems.	Int. J. Parallel Program.	2001	DBLP DOI BibTeX RDF
31	Christine Röckl	Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL.	FBT	2000	DBLP BibTeX RDF
31	Milo Tomasevic, Veljko Milutinovic	The word-invalidate cache coherence protocol.	Microprocess. Microsystems	1996	DBLP DOI BibTeX RDF
31	Andy Nisbet, Rupert W. Ford	Spinning-on-Coherency: A New VSM Optimisation for Write-Invalidate.	HPCN	1996	DBLP DOI BibTeX RDF
31	Evangelos P. Markatos, Catherine E. Chronaki	Trace-Driven Simulation of Data-Alignment and Ohter Factors Affecting Update and Invalidate Based Coherent Memory.	MASCOTS	1994	DBLP DOI BibTeX RDF
29	Jesse Zhixi Fang, Mi Lu	An Iteration Partition Approach for Cache or Local Memory Thrashing on Parallel Processing.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	iteration partition approach, local cache memory, write-invalidate protocol, local memory thrashing, nested parallel loops, array element accesses, enclosed loop indexes, correct iteration, nested loop structures, parallel programs, parallel programming, iterative methods, memory hierarchies, storage management, cache coherence, memory architecture, parallel loops, local memories, loop nests, parallel code
25	Feng Qian, Laurie J. Hendren	A Study of Type Analysis for Speculative Method Inlining in a JIT Environment.	CC	2005	DBLP DOI BibTeX RDF
25	Michele Favalli, Cecilia Metra	TMR voting in the presence of crosstalk faults at the voter inputs.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
25	Avi Mendelson, Freddy Gabbay	The effect of seance communication on multiprocessing systems.	ACM Trans. Comput. Syst.	2001	DBLP DOI BibTeX RDF	multicache systems, seance communication, performance analysis, cache coherency protocols
25	Sangyeun Cho, Gyungho Lee	Reducing Coherence Overhead in Shared-Bus Multiprocessors.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
25	Christoph Lindemann, Friedrich Schön	Modeling Relaxed Memory Consistency Protocols.	MMB	1995	DBLP DOI BibTeX RDF
25	Alvin R. Lebeck, David A. Wood 0001	Dynamic Self-Invalidation: Reducing Coherence Overhead in Shared-Memory Multiprocessors.	ISCA	1995	DBLP DOI BibTeX RDF
25	Susan J. Eggers, Randy H. Katz	Evaluating the Performance of Four Snooping Cache Coherency Protocols.	ISCA	1989	DBLP DOI BibTeX RDF
25	Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite	Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.	CADE	1988	DBLP DOI BibTeX RDF
12	Guoliang Li 0001, Jianhua Feng, Jianyong Wang 0001, Lizhu Zhou	Incremental sequence-based frequent query pattern mining from XML queries.	Data Min. Knowl. Discov.	2009	DBLP DOI BibTeX RDF	Frequent query patterns, XML frequent pattern mining, Incremental mining, Sequential pattern mining, XML query patterns
12	Xiang Lian, Lei Chen 0002	Efficient Similarity Join over Multiple Stream Time Series.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
12	Xian Wang 0002, Pingzhi Fan	A strongly consistent cached data access algorithm for wireless data networks.	Wirel. Networks	2009	DBLP DOI BibTeX RDF	Cache access, Communication cost, Wireless data networks, Strong consistency, Access delay
12	Fiorella de Cindio, Cristian Peraboni	Are Online Communities Good for the Civic Audit of Public Spaces, Services, and Officers?	HCI (12)	2009	DBLP DOI BibTeX RDF	Civic Accountability, Civic Audit, Online Communities, e-participation
12	Paul W. Schermerhorn, J. Benton 0001, Matthias Scheutz, Kartik Talamadupula, Subbarao Kambhampati	Finding and exploiting goal opportunities in real-time during plan execution.	IROS	2009	DBLP DOI BibTeX RDF
12	Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.	SAFECOMP	2009	DBLP DOI BibTeX RDF
12	Mohamed Anis Bach Tobji, Boutheina Ben Yaghlane, Khaled Mellouli	Incremental Maintenance of Frequent Itemsets in Evidential Databases.	ECSQARU	2009	DBLP DOI BibTeX RDF
12	Junfeng Wang, Chun Chen 0001, Can Wang 0001, Jian Pei, Jiajun Bu, Ziyu Guan, Wei Vivian Zhang	Can we learn a template-independent wrapper for news article extraction from a single training site?	KDD	2009	DBLP DOI BibTeX RDF	classification, web mining, data extraction
12	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
12	Can Wang 0001, Junfeng Wang, Chun Chen 0001, Li Lin, Ziyu Guan, Junyan Zhu, Cheng Zhang, Jiajun Bu	Learning to Extract Web News Title in Template Independent Way.	RSKT	2009	DBLP DOI BibTeX RDF	Web news, Web mining, Data extraction
12	Xiaobing Xue, W. Bruce Croft	Transforming patents into prior-art queries.	SIGIR	2009	DBLP DOI BibTeX RDF	prior-art search, information retrieval, patent retrieval
12	Mary Magdalene Jane F., Ilayaraja N., Ashwin Raghav M., R. Nadarajan, Maytham Safar	Cache prefetch and replacement with dual valid scopes for location dependent data in mobile environments.	iiWAS	2009	DBLP DOI BibTeX RDF	location-dependent information services, performance evaluation, mobile computing, cache replacement
12	Essam Mansour 0001, Hagen Höpfner	An approach to detecting relevant updates to cached data using XML and active databases.	EDBT	2009	DBLP DOI BibTeX RDF
12	James Monaco, Alan C. Bovik, Lawrence K. Cormack	Nonlinearities in Stereoscopic Phase-Differencing.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
12	Leon Moonen, Arie van Deursen, Andy Zaidman, Magiel Bruntink	On the Interplay Between Software Testing and Evolution and its Effect on Program Comprehension.	Software Evolution	2008	DBLP DOI BibTeX RDF
12	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Aspects preserving properties.	PEPM	2008	DBLP DOI BibTeX RDF	semantics, proof, temporal properties, aspect weaving
12	Amel Bouzeghoub, Abdeltif Elbyed, Fariza Tahi	OMIE: Ontology Mapping within an Interactive and Extensible Environment.	DILS	2008	DBLP DOI BibTeX RDF	biomedical and life science ontologies, matchers, semantic web, multi-agent systems, similarity measures, ontology mapping
12	Qian Feng, Robyn R. Lutz	Assessing the Effect of Software Failures on Trust Assumptions.	ISSRE	2008	DBLP DOI BibTeX RDF
12	Chu-Ti Lin, Chin-Yu Huang	Modeling the Software Failure Correlations When Test Automation Is Adopted during the Software Development.	ISSRE	2008	DBLP DOI BibTeX RDF
12	Ilie Savga, Michael Rudolf 0001, Sebastian Goetz, Uwe Aßmann	Practical refactoring-based framework upgrade.	GPCE	2008	DBLP DOI BibTeX RDF	adaptation, frameworks, refactoring, maintenance
12	Matthias Werner 0001, Michael A. Jaeger, Helge Parzyjegla	An Application of the (max, +) Algebra to Information Flow Security.	ICN	2008	DBLP DOI BibTeX RDF	maxplus, security, information flow, lattice model
12	Valentina Salapura	Scaling up next generation supercomputers.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	scalability of systems, chip multiprocessors (cmp), multicore, coherence protocols, blue gene
12	Marlene Arangú, Antonio Garrido 0002, Eva Onaindia	A General Technique for Plan Repair.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
12	Raudel Hernández-León, José Hernández Palancar, Jesús Ariel Carrasco-Ochoa, José Francisco Martínez Trinidad	A Novel Incremental Algorithm for Frequent Itemsets Mining in Dynamic Datasets.	CIARP	2008	DBLP DOI BibTeX RDF	Dynamic datasets, Data mining, Frequent itemsets
12	Michael S. Bernstein, Jeff Shrager, Terry Winograd	Taskposé: exploring fluid boundaries in an associative window visualization.	UIST	2008	DBLP DOI BibTeX RDF	task management, window management
12	Peter Bailey, Nick Craswell, Ian Soboroff, Paul Thomas 0001, Arjen P. de Vries, Emine Yilmaz	Relevance assessment: are judges exchangeable and does it matter.	SIGIR	2008	DBLP DOI BibTeX RDF	inter-rater agreement, test collection relevance judgements
12	Ilie Savga, Michael Rudolf 0001, Sebastian Goetz	ComeBack!: a refactoring-based tool for binary-compatible framework upgrade.	ICSE Companion	2008	DBLP DOI BibTeX RDF	adaptation, refactoring, maintenance, software framework
12	Angelo Oddi, Nicola Policella	Improving Robustness of Spacecraft Downlink Schedules.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
12	Nitzan Peleg, Bilha Mendelson	Detecting Change in Program Behavior for Adaptive Optimization.	PACT	2007	DBLP DOI BibTeX RDF
12	Wang Lian, David W. Cheung, Siu-Ming Yiu	Maintenance of maximal frequent itemsets in large databases.	SAC	2007	DBLP DOI BibTeX RDF
12	Yoshio Kakizaki, Hidekazu Tsuji	A New Method for Reducing the Revocation Delay in the Attribute Authentication.	ARES	2007	DBLP DOI BibTeX RDF
12	Xiaokui Xiao, Yufei Tao 0001	M-invariance: towards privacy preserving re-publication of dynamic datasets.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	m-invariance, privacy, generalization
12	Ilie Savga, Michael Rudolf 0001	Refactoring-based support for binary compatibility in evolving frameworks.	GPCE	2007	DBLP DOI BibTeX RDF	frameworks, refactoring, software evolution, component-based systems, software adaptation
12	Yingchun Yuan, Xiansong Li, Chenxia Sun	Cost-effective Heuristics for Workflow Scheduling in Grid Computing Economy.	GCC	2007	DBLP DOI BibTeX RDF
12	Xavier Leroy	Formal Verification of an Optimizing Compiler.	RTA	2007	DBLP DOI BibTeX RDF
12	Ying Gao, Jingde Cheng	Operational Semantics for Positive Relevant Logics Without Distribution.	CiE	2007	DBLP DOI BibTeX RDF	Operational semantics, Relevant logics
12	Justin Kennedy, Ion I. Mandoiu, Bogdan Pasaniuc	Genotype Error Detection Using Hidden Markov Models of Haplotype Diversity.	WABI	2007	DBLP DOI BibTeX RDF
12	Qinghua Zhang, Douglas S. Reeves	MetaAware: Identifying Metamorphic Malware.	ACSAC	2007	DBLP DOI BibTeX RDF
12	Milo M. K. Martin, Colin Blundell, E Christopher Lewis	Subtleties of Transactional Memory Atomicity Semantics.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
12	Hagen Höpfner	Anfragebasierte Client-Indexierung in Client-Server-Informationssystemen.	Inform. Forsch. Entwickl.	2006	DBLP DOI BibTeX RDF	Stateful Server, Database Systems, Mobile Information Systems
12	Hieu Tat Nguyen, Arnold W. M. Smeulders	Robust Tracking Using Foreground-Background Texture Discrimination.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	foreground/background discrimination, texture, linear discriminant analysis, visual tracking
12	Shuai Wang 0006, Jie S. Hu, Sotirios G. Ziavras	On the Characterization of Data Cache Vulnerability in High-Performance Embedded Microprocessors.	ICSAMOS	2006	DBLP DOI BibTeX RDF
12	Guoliang Li 0001, Jianhua Feng, Jianyong Wang 0001, Yong Zhang 0002, Lizhu Zhou	Incremental Mining of Frequent Query Patterns from XML Queries for Caching.	ICDM	2006	DBLP DOI BibTeX RDF
12	Panagiotis Symeonidis, Alexandros Nanopoulos, Apostolos Papadopoulos, Yannis Manolopoulos	Collaborative Filtering Process in a Whole New Light.	IDEAS	2006	DBLP DOI BibTeX RDF
12	Helena Handschuh, Bart Preneel	Blind Differential Cryptanalysis for Enhanced Power Attacks.	Selected Areas in Cryptography	2006	DBLP DOI BibTeX RDF	combined cryptanalysis, blind cryptanalysis, side channel attacks, power analysis, differential cryptanalysis, Hamming weights
12	Juan Raposo, Manuel Álvarez, José Losada, Alberto Pan	Maintaining Web Navigation Flows for Wrappers.	DEECS	2006	DBLP DOI BibTeX RDF
12	Yunho Lee, Heasuk Jo, Seungjoo Kim, Dongho Won	An Efficient Dispute Resolving Method for Digital Images.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	Non-invertible Watermark, Ownership, Similarity Functions
12	Eli Tilevich, Yannis Smaragdakis	Transparent program transformationsin the presence of opaque code.	GPCE	2006	DBLP DOI BibTeX RDF	program enhancement, aspect-oriented programming, program transformation
12	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve	SAFECode: enforcing alias analysis for weakly typed languages.	PLDI	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, alias analysis, region management
12	Aloysius K. Mok, Honguk Woo, Chan-Gun Lee	Probabilistic Timing Join over Uncertain Event Streams.	RTCSA	2006	DBLP DOI BibTeX RDF
12	Aurélien Ortiz, Jacques Jorda, Abdelaziz Mzoughi	Toward a New Direction on Data Management in Grids.	HPDC	2006	DBLP DOI BibTeX RDF	storage device issues, grid resource utilization, data management, WAN, data transfer, scientific application, network latency, network bandwidth
12	Mihir Bellare	New Proofs for NMAC and HMAC: Security without collision-resistance.	CRYPTO	2006	DBLP DOI BibTeX RDF
12	Hisao Mase, Tadataka Matsubayashi, Yuichi Ogawa, Makoto Iwayama, Tadaaki Oshio	Proposal of two-stage patent retrieval method considering the claim structure.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	claim structure, relevant score calculation, term weighting, term extraction, Patent retrieval
12	Austen McDonald, JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Brian D. Carlstrom, Lance Hammond, Christos Kozyrakis, Kunle Olukotun	Characterization of TCC on Chip-Multiprocessors.	IEEE PACT	2005	DBLP DOI BibTeX RDF
12	Ishai Rabinovitz, Orna Grumberg	Bounded Model Checking of Concurrent Programs.	CAV	2005	DBLP DOI BibTeX RDF
12	Wensheng Zhang 0001, Guohong Cao	Defend Against Cache Consistency Attacks in Wireless Ad Hoc Networks.	MobiQuitous	2005	DBLP DOI BibTeX RDF
12	Douglas C. Schmidt, Andrey Nechypurenko, Egon Wuchner	Workshop 9 Summary.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
12	Juan Raposo, Alberto Pan, Manuel Álvarez, Justo Hidalgo	Automatically Maintaining Wrappers for Web Sources.	IDEAS	2005	DBLP DOI BibTeX RDF
12	Juan Raposo, Alberto Pan, Manuel Álvarez, Ángel Viña	Automatic wrapper maintenance for semi-structured web sources using results from previous queries.	SAC	2005	DBLP DOI BibTeX RDF	web, maintenance, wrapper, extraction, examples
12	Youtao Zhang, Lan Gao, Jun Yang 0002, Xiangyu Zhang 0001, Rajiv Gupta 0001	SENSS: Security Enhancement to Symmetric Shared Memory Multiprocessors.	HPCA	2005	DBLP DOI BibTeX RDF
12	Zhi-Hong Deng, Xin Li, Shi-Wei Tang	An Efficient Approach for Interactive Mining of Frequent Itemsets.	WAIM	2005	DBLP DOI BibTeX RDF
12	Johann Eder, Marek Lehmann	Workflow Data Guards.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
12	Alexander Okhotin	LR Parsing for Boolean Grammars.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
12	François de Vieilleville, Jacques-Olivier Lachaud, Fabien Feschet	Maximal Digital Straight Segments and Convergence of Discrete Geometric Estimators.	SCIA	2005	DBLP DOI BibTeX RDF
12	Nobuo Okabe	Issues of Control Networks when Introducing IP.	SAINT Workshops	2005	DBLP DOI BibTeX RDF