Search results for "invalidation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Jerzy Brzezinski, Michal Szychowiak	Low Cost Coherence Protocol for DSM Systems with Processor Consistency.	ISCIS	2003	DBLP DOI BibTeX RDF
24	Sudsanguan Ngamsuriyaroj, Ali R. Hurson, Thomas F. Keefe	Maintaining Consistency of the Security Policy using Timestamp Ordering.	ITCC	2002	DBLP DOI BibTeX RDF	Performance, Concurrency control, Security policy, Consistency control, Timestamp ordering
24	Hyunchul Kang, Sangmin Lim	Bandwidth-Conserving Cache Validation Schemes in a Moblie Database System.	Mobile Data Management	2001	DBLP DOI BibTeX RDF
24	Jeffrey B. Rothman, Alan Jay Smith	Analysis of Shared Memory Misses and Reference Patterns.	ICCD	2000	DBLP DOI BibTeX RDF
24	K. A. Momin, K. Vidyasankar	Flexible Integration of Optimistic and Pessimistic Concurrency Control in Mobile Environments.	ADBIS-DASFAA	2000	DBLP DOI BibTeX RDF	Re-execution, Pessimistic mode, Mobile computing, Concurrency control, Transaction processing
24	Farnaz Mounes-Toussi, David J. Lilja	Write buffer design for cache-coherent shared-memory multiprocessors.	ICCD	1995	DBLP DOI BibTeX RDF	write-buffer configurations, one word per buffer entry, one block per buffer entry, write-through, write-back, competitive-performance, shared-memory multiprocessors, shared memory systems, cache-coherent, memory architecture, buffer storage, cache storage, execution-driven simulator, write policies
24	Avi Bittan, Yaakov Kogan, Philip S. Yu	Asymtotic Performance of a Buffer Model in a Data Sharing Environment.	SIGMETRICS	1994	DBLP DOI BibTeX RDF
24	Sandip Kundu, Sudhakar M. Reddy	Robust tests for parity trees.	J. Electron. Test.	1990	DBLP DOI BibTeX RDF	linear gates, parity trees, URTS, robust tests, test length
20	Jakub Lopuszanski	Algorithm for Invalidation of Cached Results of Queries to a Single Table.	CoRR	2023	DBLP DOI BibTeX RDF
20	Hadeel Al-Negheimish, Pranava Madhyastha, Alessandra Russo	Towards preserving word order importance through Forced Invalidation.	CoRR	2023	DBLP DOI BibTeX RDF
20	Yunhong Ji, Xuan Zhou 0001, Yongluan Zhou, Ke Wang	The Case of Transparent Cache Invalidation in Web Applications.	CoRR	2023	DBLP DOI BibTeX RDF
20	Theodore W. Grunberg, Domitilla Del Vecchio	Robust Model Invalidation for Chemical Reaction Networks Using Generalized Moments.	CDC	2023	DBLP DOI BibTeX RDF
20	Hadeel Al-Negheimish, Pranava Madhyastha, Alessandra Russo	Towards preserving word order importance through Forced Invalidation.	EACL	2023	DBLP DOI BibTeX RDF
20	Taketo Inoue, Kosuke Kuriyama, Yoshiaki Shiraishi, Masakatu Morii	Encryption Invalidation Attacks: Is your Wi-Fi encryption really working?	candar	2023	DBLP DOI BibTeX RDF
20	Jens Van der Plas, Quentin Stiévenart, Coen De Roover	Result Invalidation for Incremental Modular Analyses.	VMCAI	2023	DBLP DOI BibTeX RDF
20	Khashayar Bayati, Karthikeyan Umapathy, Soosan Beheshti	Granger Causality Pattern Learning Equipped with Noise Invalidation Soft Thresholding.	EUSIPCO	2023	DBLP DOI BibTeX RDF
20	Zeyuan Jin, Mohammad Khajenejad, Sze Zheng Yong	Data-Driven Abstraction and Model Invalidation for Unknown Systems With Bounded Jacobians.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
20	Adnan Abdul-Aziz Gutub	Adopting counting-based secret-sharing for e-Video Watermarking allowing Fractional Invalidation.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
20	Quan Zheng 0002, Tao Yang, Yuanzhi Kan, Xiaobin Tan, Jian Yang 0014, Xiaofeng Jiang	On the Analysis of Cache Invalidation With LRU Replacement.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
20	Qiuping Wang, Jinhong Li, Patrick P. C. Lee, Tao Ouyang, Chao Shi, Lilong Huang	Separating Data via Block Invalidation Time Inference for Write Amplification Reduction in Log-Structured Storage.	FAST	2022	DBLP BibTeX RDF
20	Ajay K. Gupta 0006, Udai Shanker	CEMP-IR: a novel location aware cache invalidation and replacement policy.	Int. J. Comput. Sci. Eng.	2021	DBLP DOI BibTeX RDF
20	Antonios Katsarakis	Invalidation-Based Protocols for Replicated Datastores.	CoRR	2021	DBLP BibTeX RDF
20	Rahul Arvind Jadhav, Pascal Thubert, Rabi Narayan Sahoo, Zhen Cao	Efficient Route Invalidation.	RFC	2021	DBLP DOI BibTeX RDF
20	Yuanzhi Kan, Quan Zheng 0002, Jian Yang 0014, Xiaobin Tan	A Cache Invalidation Strategy Based on Publish/Subscribe for Named Data Networking.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Pulkit A. Misra, Srihari Radhakrishnan, Jeffrey S. Chase, Johannes Gehrke, Alvin R. Lebeck	Lightweight Inter-transaction Caching with Precise Clocks and Dynamic Self-invalidation.	CoRR	2020	DBLP BibTeX RDF
20	Zeyuan Jin, Mohammad Khajenejad, Sze Zheng Yong	Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction.	CoRR	2020	DBLP BibTeX RDF
20	Lei Yang, Hong Wu, Tieying Zhang, Xuntao Cheng, Feifei Li 0001, Lei Zou 0001, Yujie Wang, Rongyao Chen, Jianying Wang, Gui Huang	Leaper: A Learned Prefetcher for Cache Invalidation in LSM-tree based Storage Engines.	Proc. VLDB Endow.	2020	DBLP BibTeX RDF
20	Zeyuan Jin, Mohammad Khajenejad, Sze Zheng Yong	Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction.	ACC	2020	DBLP DOI BibTeX RDF
20	Anderson Carlos Ferreira Da Silva, Fatiha Saïs, Emmanuel Waller, Frédéric Andrès	Dissimilarity-based approach for Identity Link Invalidation.	WETICE	2020	DBLP DOI BibTeX RDF
20	Fatiha Saïs	Knowledge Graph Refinement: Link Detection, Link Invalidation, Key Discovery and Data Enrichment.		2019	RDF
20	Liren Yang, Necmiye Ozay	Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract.	HSCC	2019	DBLP DOI BibTeX RDF
20	Jangseop Shin, Donghyun Kwon, Jiwon Seo, Yeongpil Cho, Yunheung Paek	CRCount: Pointer Invalidation with Reference Counting to Mitigate Use-after-free in Legacy C/C++.	NDSS	2019	DBLP BibTeX RDF
20	Viktor Holmqvist, Jonathan Nilsfors, Philipp Leitner 0001	Cachematic - Automatic Invalidation in Application-Level Caching Systems.	ICPE	2019	DBLP DOI BibTeX RDF
20	Andrea Detti, Lorenzo Bracciale, Pierpaolo Loreti, Nicola Blefari-Melazzi	Modeling LRU cache with invalidation.	Comput. Networks	2018	DBLP DOI BibTeX RDF
20	Farshad Harirchi, Necmiye Ozay	Guaranteed model-based fault detection in cyber-physical systems: A model invalidation approach.	Autom.	2018	DBLP DOI BibTeX RDF
20	Caroline Trippel, Daniel Lustig, Margaret Martonosi	MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols.	CoRR	2018	DBLP BibTeX RDF
20	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros 0001, Yunyun Zhu	Mending Fences with Self-Invalidation and Self-Downgrade.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
20	Kai Liu, Xin Liang, Junping Zhang	基于软硬系统综合方法的软件失效问题分析 (Analysis on Technical Support Equipments' Software Invalidation Based on Soft and Hard Integrated System Methodology).	计算机科学	2018	DBLP BibTeX RDF
20	Ajay K. Gupta 0006, Udai Shanker	CELPB: A Cache Invalidation Policy for Location Dependent Data in Mobile Environment.	IDEAS	2018	DBLP DOI BibTeX RDF
20	Adel A. El-Zoghabi, Amro G. El Shenawy	An Improved Cache Invalidation Policy in Wireless Environment Cooperate with Cache Replacement Policy Based on Genetic Programming.	AISI	2018	DBLP DOI BibTeX RDF
20	Alberto Ros 0001, Carl Leonardsson, Christos Sakalis, Stefanos Kaxiras	Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics.	IEEE Trans. Parallel Distributed Syst.	2017	DBLP DOI BibTeX RDF
20	Dimitrios Chistaras Papageorgiou, Nathalie Pernelle, Fatiha Saïs	Approche numérique pour l'invalidation de liens d'identité (owl: SameAs).	IC	2017	DBLP BibTeX RDF
20	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros 0001, Yunyun Zhu	Mending Fences with Self-Invalidation and Self-Downgrade.	CoRR	2016	DBLP BibTeX RDF
20	Rajeev Tiwari, Neeraj Kumar 0001	An adaptive cache invalidation technique for wireless environments.	Telecommun. Syst.	2016	DBLP DOI BibTeX RDF
20	Alberto Ros 0001, Carl Leonardsson, Christos Sakalis, Stefanos Kaxiras	POSTER: Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics.	PACT	2016	DBLP DOI BibTeX RDF
20	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros 0001, Yunyun Zhu	Fencing Programs with Self-Invalidation and Self-Downgrade.	FORTE	2016	DBLP DOI BibTeX RDF
20	Kassem Fawaz, Abdalla Artail, Rasha Al-Khansa, Hassan Artail, Haïdar Safa	Replication enabled distributed cache invalidation method: replication enabled distributed cache management system for wireless mobile networks.	Wirel. Commun. Mob. Comput.	2015	DBLP DOI BibTeX RDF
20	Rajeev Tiwari, Neeraj Kumar 0001	Cooperative Gateway Cache Invalidation Scheme for Internet-Based Vehicular Ad Hoc Networks.	Wirel. Pers. Commun.	2015	DBLP DOI BibTeX RDF
20	Jonida Milaj	Invalidation of the data retention directive - Extending the proportionality test.	Comput. Law Secur. Rev.	2015	DBLP DOI BibTeX RDF
20	George Kurian, Qingchuan Shi, Srinivas Devadas, Omer Khan	OSPREY: Implementation of Memory Consistency Models for Cache Coherence Protocols involving Invalidation-Free Data Access.	PACT	2015	DBLP DOI BibTeX RDF
20	Farshad Harirchi, Necmiye Ozay	Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection.	ADHS	2015	DBLP DOI BibTeX RDF
20	Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller	Attack Tree Generation by Policy Invalidation.	WISTP	2015	DBLP DOI BibTeX RDF
20	Lucjan Hanzlik, Miroslaw Kutylowski, Moti Yung	Hard Invalidation of Electronic Signatures.	ISPEC	2015	DBLP DOI BibTeX RDF
20	Alberto Ros 0001, Stefanos Kaxiras	Callback: efficient synchronization without invalidation with a directory just for spin-waiting.	ISCA	2015	DBLP DOI BibTeX RDF
20	Sunho Lim, Yumin Lee, Jongpil Cheon, Manki Min, Wei Wang 0015	User-defined consistency sensitive cache invalidation strategies for wireless data access.	Comput. Commun.	2014	DBLP DOI BibTeX RDF
20	Ying Liu 0040, Ming Tang, Tao Zhou, Younghae Do	Core-like groups resulting in invalidation of k-shell decomposition analysis.	CoRR	2014	DBLP BibTeX RDF
20	Dicle Hasdemir, Huub C. J. Hoefsloot, Johan A. Westerhuis, Age K. Smilde	How informative is your kinetic model?: using resampling methods for model invalidation.	BMC Syst. Biol.	2014	DBLP DOI BibTeX RDF
20	Seungho Lim, Young-Sik Jeong	Journaling deduplication with invalidation scheme for flash storage-based smart systems.	J. Syst. Archit.	2014	DBLP DOI BibTeX RDF
20	Pegah Elahi, Soosan Beheshti, Masoud Hashemi	BM3D mridenoising equipped with noise invalidation technique.	ICASSP	2014	DBLP DOI BibTeX RDF
20	Ahmed Hassan, Roberto Palmieri, Binoy Ravindran	Remote Invalidation: Optimizing the Critical Path of Memory Transactions.	IPDPS	2014	DBLP DOI BibTeX RDF
20	Florian Kammüller, Christian W. Probst	Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis.	IEEE Symposium on Security and Privacy Workshops	2014	DBLP DOI BibTeX RDF
20	Kassem Fawaz, Hassan Artail	DCIM: Distributed Cache Invalidation Method for Maintaining Cache Consistency in Wireless Mobile Networks.	IEEE Trans. Mob. Comput.	2013	DBLP DOI BibTeX RDF
20	Diego Ruiz, Jorge Finke	Invalidation of dynamic network models.	ACC	2013	DBLP DOI BibTeX RDF
20	Gábor Rödönyi, Péter Gáspár	Model invalidation for repeated ℓ1-bounded linear time-varying uncertainty models.	ECC	2013	DBLP DOI BibTeX RDF
20	Sunho Lim, Chansu Yu, Chita R. Das	Cache invalidation strategies for Internet-based vehicular ad hoc networks.	Comput. Commun.	2012	DBLP DOI BibTeX RDF
20	Stefan Streif, Anton Savchenko, Philipp Rumschinski, Steffen Borchers, Rolf Findeisen	ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative-quantitative modeling.	Bioinform.	2012	DBLP DOI BibTeX RDF
20	Miki Enoki, Yosuke Ozawa, Hiroshi Horii, Tamiya Onodera	Memory-Efficient Index for Cache Invalidation Mechanism with OpenJPA.	WISE	2012	DBLP DOI BibTeX RDF
20	Chang-Hyun Lee, Kwang-Jo Lee	An efficient cache invalidation scheme to support strong data consistency in a mobile ad-hoc network.	CSNDSP	2012	DBLP DOI BibTeX RDF
20	Anurag Negi, J. Rubén Titos Gil, Manuel E. Acacio, José M. García 0001, Per Stenström	π-TM: Pessimistic invalidation for scalable lazy hardware transactional memory.	HPCA	2012	DBLP DOI BibTeX RDF
20	David Angeli, Eduardo D. Sontag	Remarks on the invalidation of biological models using monotone systems theory.	CDC	2012	DBLP DOI BibTeX RDF
20	Kazuo Ohzeki, Yuanyu Wei, Yutaka Hirakawa, Kiyotsugu Sato	Consideration of the Watermark Inversion Attack and Its Invalidation Framework.	IWDW	2012	DBLP DOI BibTeX RDF
20	Anthony Gutierrez, Joseph Pusdesris, Ronald G. Dreslinski, Trevor N. Mudge	Lazy cache invalidation for self-modifying codes.	CASES	2012	DBLP DOI BibTeX RDF
20	Xiao Bai 0002, Flavio Paiva Junqueira	Online result cache invalidation for real-time web search.	SIGIR	2012	DBLP DOI BibTeX RDF
20	Mario Lodde, Toni Roca 0001, José Flich	Heterogeneous network design for effective support of invalidation-based coherency protocols.	INA-OCMC@HiPEAC	2012	DBLP DOI BibTeX RDF
20	Po-Jen Chuang, Yu-Shian Chiu	Efficient cache invalidation schemes for mobile data accesses.	Inf. Sci.	2011	DBLP DOI BibTeX RDF
20	Shigeaki Tagashira, Yutaka Kaminishi, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda	Probabilistic Broadcast-Based Cache Invalidation Scheme for Location Dependent Data in Mobile Environments.	IEICE Trans. Inf. Syst.	2011	DBLP DOI BibTeX RDF
20	Anurag Negi, Per Stenström, J. Rubén Titos Gil, Manuel E. Acacio, José M. García 0001	Pi-TM: Pessimistic Invalidation for Scalable Lazy Hardware Transactional Memory.	PACT	2011	DBLP DOI BibTeX RDF
20	Hugo Rito, João P. Cachopo	A lock-free cache invalidation protocol for the atom system.	SPLASH Workshops	2011	DBLP DOI BibTeX RDF
20	Jianliang Gao, Yinhe Han 0001, Xiaowei Li 0001	Eliminating data invalidation in debugging multiple-clock chips.	DATE	2011	DBLP DOI BibTeX RDF
20	Sadiye Alici, Ismail Sengör Altingövde, Rifat Ozcan, Berkant Barla Cambazoglu, Özgür Ulusoy	Timestamp-based cache invalidation for search engines.	WWW (Companion Volume)	2011	DBLP DOI BibTeX RDF
20	Julius Köpke, Johann Eder	Semantic Invalidation of Annotations Due to Ontology Evolution.	OTM Conferences (2)	2011	DBLP DOI BibTeX RDF
20	Anurag Singh, Narottam Chand, Lalit Kumar Awasthi	Cache Invalidation for Location Dependent and Independent Data in IVANETS.	ACC (3)	2011	DBLP DOI BibTeX RDF
20	Sadiye Alici, Ismail Sengör Altingövde, Rifat Ozcan, Berkant Barla Cambazoglu, Özgür Ulusoy	Timestamp-based result cache invalidation for web search engines.	SIGIR	2011	DBLP DOI BibTeX RDF
20	Wenbin Hu, Zhengbing Hu, Fu-qiang Yang, Cunlian Fan, Lei Wang, Xin-long Tan	Control Strategy of Scheduling Invalidation of Data Broadcasting.	J. Networks	2010	DBLP DOI BibTeX RDF
20	Soosan Beheshti, Masoud Hashemi, Xiao-Ping (Steven) Zhang, Nima Nikvand	Noise Invalidation Denoising	CoRR	2010	DBLP BibTeX RDF
20	Haïdar Safa, Hassan Artail, Mirna Nahhas	A cache invalidation strategy for mobile networks.	J. Netw. Comput. Appl.	2010	DBLP DOI BibTeX RDF
20	Soosan Beheshti, Masoud Hashemi, Xiao-Ping (Steven) Zhang, Nima Nikvand	Noise Invalidation Denoising.	IEEE Trans. Signal Process.	2010	DBLP DOI BibTeX RDF
20	Philipp Rumschinski, Steffen Borchers, Sandro Bosio, Robert Weismantel, Rolf Findeisen	Set-base dynamical parameter estimation and model invalidation for biochemical reaction networks.	BMC Syst. Biol.	2010	DBLP DOI BibTeX RDF
20	Thu Nguyen Tran Minh, Dong Thi Bich Thuy	An Efficient Cache Invalidation Strategy in Mobile Information Systems.	RIVF	2010	DBLP DOI BibTeX RDF
20	Mike Kelly, Michael Hausenblas	Using HTTP link: header for gateway cache invalidation.	WS-REST	2010	DBLP DOI BibTeX RDF
20	Jae-Ho Choi 0001, Sang-Hyun Park 0002, Myong-Soo Lee, SangKeun Lee 0001	XIR: Efficient Cache Invalidation Strategies for XML Data in Wireless Environments.	IEICE Trans. Commun.	2009	DBLP DOI BibTeX RDF
20	James Anderson 0001, Antonis Papachristodoulou	On validation and invalidation of biological models.	BMC Bioinform.	2009	DBLP DOI BibTeX RDF
20	Andreas Johansson	A Sufficient Condition for Invalidation of Linear State-Space Systems With Uncertain Time-Varying Parameters.	IEEE Trans. Autom. Control.	2009	DBLP DOI BibTeX RDF
20	Mark A. J. Roberts, Elias August, Abdullah Hamadeh, Philip K. Maini, Patrick E. McSharry, Judith P. Armitage, Antonis Papachristodoulou	A model invalidation-based approach for elucidating biological signalling pathways, applied to the chemotaxis pathway in R. sphaeroides.	BMC Syst. Biol.	2009	DBLP DOI BibTeX RDF
20	Newsha Ardalani, Amirali Baniasadi	Write Invalidation Analysis in Chip Multiprocessors.	PATMOS	2009	DBLP DOI BibTeX RDF
20	Steffen Borchers, Philipp Rumschinski, Sandro Bosio, Robert Weismantel, Rolf Findeisen	A set-based framework for coherent model invalidation and parameter estimation of discrete time nonlinear systems.	CDC	2009	DBLP DOI BibTeX RDF
20	Sunho Lim, Chansu Yu, Chita R. Das	Cooperative Cache Invalidation Strategies for Internet-Based Vehicular Ad Hoc Networks.	ICCCN	2009	DBLP DOI BibTeX RDF
20	Wen-Chi Hou, Chih-Fang Wang, Qiao Luo, Cheng Luo, Zhewei Jiang	Improving Concurrency Control with Invalidation Reports in Mobile Databases.	Int. J. Comput. Their Appl.	2008	DBLP BibTeX RDF
20	Kenichi Takahashi, Akihiro Sakai, Kouichi Sakurai	Invalidation of Mailing List Address to Block Spam Mails.	APSCC	2008	DBLP DOI BibTeX RDF
20	Sunho Lim, Soo Hoan Chae, Chansu Yu, Chita R. Das	On cache invalidation for internet-based vehicular ad hoc networks.	MASS	2008	DBLP DOI BibTeX RDF