Search results for "locks"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Marcel Kornacker, C. Mohan 0001, Joseph M. Hellerstein	Concurrency and Recovery in Generalized Search Trees.	SIGMOD Conference	1997	DBLP DOI BibTeX RDF
19	Ravi Mirchandaney, Seema Hiranandani, Ajay Sethi	Improving the performance of DSM systems via compiler involvement.	SC	1994	DBLP DOI BibTeX RDF
19	C. Mohan 0001, Inderpal Narang	Efficient Locking and Caching of Data in the Multisystem Shared Disks Transaction Environment.	EDBT	1992	DBLP DOI BibTeX RDF
19	Dennis E. Shasha, Marc Snir	Efficient and Correct Execution of Parallel Programs that Share Memory.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
19	Y. C. Tay, Rajan Suri, Nathan Goodman	A Mean Value Performance Model for Locking in Databases: The No-Waiting Case	J. ACM	1985	DBLP DOI BibTeX RDF
19	Pentti A. Honkanen	An investigation of the inconstistencies of the RIM-5 relationalinformation management database management system (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
19	Jim Gray 0001	A Transaction Model.	ICALP	1980	DBLP DOI BibTeX RDF
18	Xiaohu Wang, Chao Lin, Xinyi Huang 0001, Debiao He	Anonymity-Enhancing Multi-Hop Locks for Monero-Enabled Payment Channel Networks.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
18	Jonggyu Park, Young Ik Eom	Locks as a Resource: Fairly Scheduling Lock Occupation with CFL.	PPoPP	2024	DBLP DOI BibTeX RDF
18	Jules Jacobs, Stephanie Balzer	Higher-Order Leak and Deadlock Free Locks.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
18	Xu Jiang 0004, Zewei Chen, Maolin Yang, Nan Guan, Yue Tang 0001, Wang Yi 0001	A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
18	Hannah L. Bradwell, Katie J. Edwards, Rebecca Baines, Toni Page, Arunangsu Chatterjee, Ray B. Jones	Facial recognition lock technology for social care settings: A qualitative evaluation of implementation of facial recognition locks at two residential care sites.	Frontiers Digit. Health	2023	DBLP DOI BibTeX RDF
18	Vivek Shahare, Milind Chabbi, Nikhil Hegde	Protecting Locks Against Unbalanced Unlock().	CoRR	2023	DBLP DOI BibTeX RDF
18	Daniel Hirschkoff, Enguerrand Prebet	Using Pi-Calculus Names as Locks.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
18	Isaac M. Sonin	Symmetric Case of Locks, Bombs and Testing Model.	CoRR	2023	DBLP DOI BibTeX RDF
18	Aurel Bílý, João C. Pereira, Jan Schär, Peter Müller 0001	Refinement Proofs in Rust Using Ghost Locks.	CoRR	2023	DBLP DOI BibTeX RDF
18	Naama Ben-David	Lock-Free Locks.	Bull. EATCS	2023	DBLP BibTeX RDF
18	Jianguo Shen, Yu Xia, Hao Ding, Wen Cabrel	Smart Parking Locks Based on Extended UNET-GWO-SVM Algorithm.	Sensors	2023	DBLP DOI BibTeX RDF
18	Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang	Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs.	USENIX Security Symposium	2023	DBLP BibTeX RDF
18	Narjisse Nejjari, Karim Zkik, Houda Benbrahim, Mounir Ghogho	Beyond Locks and Keys: Structural Equation Modeling Based Framework to Explore Security Breaches Through the Lens of Crime Theories.	NETYS	2023	DBLP DOI BibTeX RDF
18	Ras Dwivedi, Tushar Singla, Sandeep K. Shukla	Cross-Chain Atomic Swaps without Time Locks.	BCCA	2023	DBLP DOI BibTeX RDF
18	Hussein Hazazi, Mohamed Shehab	Exploring the Usability, Security, and Privacy of Smart Locks from the Perspective of the End User.	SOUPS	2023	DBLP BibTeX RDF
18	Mark Newport, David Chow, Chris Michael, Andre Pradhana, Lawrence Lee	Those Flowing Locks - Creating Large Scale Water Hair for Ruby Gillman Teenage Kraken.	SIGGRAPH Talks	2023	DBLP DOI BibTeX RDF
18	Prasad Jayanti, Siddhartha Jayanti, Anup Joshi	Constant RMR System-wide Failure Resilient Durable Locks with Dynamic Joining.	SPAA	2023	DBLP DOI BibTeX RDF
18	Vivek Shahare, Milind Chabbi, Nikhil Hegde	Protecting Locks Against Unbalanced Unlock().	SPAA	2023	DBLP DOI BibTeX RDF
18	Shuai Zhao 0004, Nan Chen, Yinjie Fang, Zhao Li, Wanli Chang 0001	A Universal Method for Task Allocation on FP-FPS Multiprocessor Systems with Spin Locks.	DAC	2023	DBLP DOI BibTeX RDF
18	Hemant Gupta, Amiya Nayak	Addressing IoT Security Challenges: A Framework for Determining Security Requirements of Smart Locks Leveraging MQTT-SN.	ISNCC	2023	DBLP DOI BibTeX RDF
18	Jacob Nelson 0002, dePaul Miller, Roberto Palmieri	Don't forget about synchronization! Guidelines for using locks on graphics processing units.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
18	Wided Hammedi, Sidi Mohammed Senouci, Philippe Brunet, Metzli Ramirez-Martinez	Two-Level Optimization to Reduce Waiting Time at Locks in Inland Waterway Transportation.	ACM Trans. Intell. Syst. Technol.	2022	DBLP DOI BibTeX RDF
18	Ajinkya K. Mulay	LOCKS: User Differentially Private and Federated Optimal Client Sampling.	CoRR	2022	DBLP DOI BibTeX RDF
18	Naama Ben-David, Guy E. Blelloch, Yuanhao Wei	Lock-Free Locks Revisited.	CoRR	2022	DBLP BibTeX RDF
18	Steve Kerrison	IoT Droplocks: Wireless Fingerprint Theft Using Hacked Smart Locks.	CoRR	2022	DBLP DOI BibTeX RDF
18	Zilin Liu, Anjia Yang, Jian Weng 0001, Tao Li, Huang Zeng, Xiaojian Liang	GMHL: Generalized Multi-Hop Locks for Privacy-Preserving Payment Channel Networks.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
18	Shengtao Tang, Guojian Yu, Junchao Zhu, Lubin Feng, Dongxin Li, Wei Cao	Study on the detection of door locks for through-door elevators.	AIAM	2022	DBLP DOI BibTeX RDF
18	Steve Kerrison	IoT Droplocks: Wireless Fingerprint Theft Using Hacked Smart Locks.	iThings/GreenCom/CPSCom/SmartData/Cybermatics	2022	DBLP DOI BibTeX RDF
18	Nahid Hasan Khan, Joseph Robertson, Ramiro Liscano, Akramul Azim, Vijay Sundaresan, Yee-Kang Chang	Lock Contention Performance Classification for Java Intrinsic Locks.	RV	2022	DBLP DOI BibTeX RDF
18	Aravind Segu, Wojciech Golab	Recycling Memory in Recoverable Mutex Locks.	NETYS	2022	DBLP DOI BibTeX RDF
18	Jean-Pierre Astudillo Guerra, Karim Ahmed, Ryan Maher, Eddie Ubri, Jeremy Blum	Game Design for Better Security of Combination Locks.	AAAI	2022	DBLP DOI BibTeX RDF
18	Jie Liu, Xianshun Guo, Guangliang Chen, Zhengchao Zhang, Zheng Wang, Xingwei Chen	Research on The Application of Intelligent Locks in The Field of Electric Power.	ICITEE	2022	DBLP DOI BibTeX RDF
18	Mengling Liu, Man Ho Au	Practical Anonymous Multi-hop Locks for Lightning Network Compatible Payment Channel Networks.	NSS	2022	DBLP DOI BibTeX RDF
18	Tim Andersson, Markus Bohlin, Tomas Olsson, Mats Ahlskog	Comparison of Machine Learning's- and Humans'- Ability to Consistently Classify Anomalies in Cylinder Locks.	APMS (1)	2022	DBLP DOI BibTeX RDF
18	Naama Ben-David, Guy E. Blelloch	Fast and Fair Randomized Wait-Free Locks.	PODC	2022	DBLP DOI BibTeX RDF
18	Abdullah Zubair Mohammed, Alok K. Singh, Gökçen Yilmaz Dayanikli, Ryan M. Gerdes, Mani Mina, Ming Li 0003	Towards Wireless Spiking of Smart Locks.	SP (Workshops)	2022	DBLP DOI BibTeX RDF
18	Naama Ben-David, Guy E. Blelloch, Yuanhao Wei	Lock-free locks revisited.	PPoPP	2022	DBLP DOI BibTeX RDF
18	Sri Aravinda Krishnan Thyagarajan	Cryptographic Locks for Scriptless Cryptocurrency Payments.		2022	RDF
18	Sebastian Kenter	Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks: a graph-based approach.		2022	RDF
18	Chinmayi Kanthila, Abhinandana Boodi, Karim Beddiar, Yassine Amirat, Mohamed Benbouzid 0001	Building Occupancy Behavior and Prediction Methods: A Critical Review and Challenging Locks.	IEEE Access	2021	DBLP DOI BibTeX RDF
18	Xu Jiang 0004, Nan Guan, He Du, Weichen Liu, Wang Yi 0001	On the Analysis of Parallel Real-Time Tasks With Spin Locks.	IEEE Trans. Computers	2021	DBLP DOI BibTeX RDF
18	Naama Ben-David, Guy E. Blelloch	Fast and Fair Lock-Free Locks.	CoRR	2021	DBLP BibTeX RDF
18	Zhihan Guo, Kan Wu, Cong Yan, Xiangyao Yu	Releasing Locks As Early As You Can: Reducing Contention of Hotspots by Violating Two-Phase Locking (Extended Version).	CoRR	2021	DBLP BibTeX RDF
18	Thomas Hardjono	Blockchain Gateways, Bridges and Delegated Hash-Locks.	CoRR	2021	DBLP BibTeX RDF
18	Antonio Paolillo, Hernán Ponce de León, Thomas Haas, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu, Roland Meyer 0001	Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models.	CoRR	2021	DBLP BibTeX RDF
18	Manfred Schmidt-Schauß, David Sabel	Minimal Translations from Synchronous Communication to Synchronizing Locks.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
18	Manfred Schmidt-Schauß, David Sabel	Minimal Translations from Synchronous Communication to Synchronizing Locks (Extended Version).	CoRR	2021	DBLP BibTeX RDF
18	Bin Ji 0001, Dezhi Zhang, Samson S. Yu, Chuanxiong Kang	Mathematical programming models for scheduling multiple cascaded waterway locks.	Comput. Ind. Eng.	2021	DBLP DOI BibTeX RDF
18	Alfonso B. Labao, Mygel Andrei Martija, Prospero C. Naval	A3C-GS: Adaptive Moment Gradient Sharing With Locks for Asynchronous Actor-Critic Agents.	IEEE Trans. Neural Networks Learn. Syst.	2021	DBLP DOI BibTeX RDF
18	He Du, Xu Jiang 0004, Mingsong Lv, Tao Yang, Wang Yi 0001	Scheduling and analysis of real-time task graph models with nested locks.	J. Syst. Archit.	2021	DBLP DOI BibTeX RDF
18	Pei-Hsuan Hsieh	Unlocking Learning: Promoting Cultural Brand Through Interactions with Ancient Locks in an SL Virtual Space.	HCI (33)	2021	DBLP DOI BibTeX RDF
18	Zhihan Guo, Kan Wu, Cong Yan, Xiangyao Yu	Releasing Locks As Early As You Can: Reducing Contention of Hotspots by Violating Two-Phase Locking.	SIGMOD Conference	2021	DBLP DOI BibTeX RDF
18	Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei	A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs.	SP	2021	DBLP DOI BibTeX RDF
18	Danielle Duvalsaint, R. D. Shawn Blanton	Characterizing Corruptibility of Logic Locks using ATPG.	ITC	2021	DBLP DOI BibTeX RDF
18	Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao	A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks.	DAC	2021	DBLP DOI BibTeX RDF
18	Stefan Reif, Phillip Raffeck, Heiko Janker, Luis Gerhorst, Timo Hönig, Wolfgang Schröder-Preikschat	Earl: energy-aware reconfigurable locks.	SIGBED Rev.	2020	DBLP DOI BibTeX RDF
18	Bin Ji 0001, Hongjun Sun, Xiaohui Yuan 0002, Yanbin Yuan, Xiaorong Wang	Coordinated optimized scheduling of locks and transshipment in inland waterway transportation using binary NSGA-II.	Int. Trans. Oper. Res.	2020	DBLP DOI BibTeX RDF
18	Zhenghao Xin, Liang Liu 0006, Gerhard P. Hancke 0002	AACS: Attribute-Based Access Control Mechanism for Smart Locks.	Symmetry	2020	DBLP DOI BibTeX RDF
18	Dave Dice, Alex Kogan	Fissile Locks.	CoRR	2020	DBLP BibTeX RDF
18	Alex Kogan, Dave Dice, Shady Issa	Scalable Range Locks for Scalable Address Spaces and Beyond.	CoRR	2020	DBLP BibTeX RDF
18	Patrick Schmid, Maciej Besta, Torsten Hoefler	High-Performance Distributed RMA Locks.	CoRR	2020	DBLP BibTeX RDF
18	Xu Jiang 0004, Nan Guan, He Du, Weichen Liu, Wang Yi 0001	On the Analysis of Parallel Real-Time Tasks with Spin Locks.	CoRR	2020	DBLP BibTeX RDF
18	Dalila Tamzalit	Vers une Ingenierie de l'evolution logicielle : une approche architecturale. Verrous, Contributions et Perspectives. (Towards Software Evolution Engineering: an Architectural Approach. Locks, Contributions and Perspectives).		2020	RDF
18	Jakub Podivinsky, Jakub Lojda, Richard Panek, Ondrej Cekan, Martin Krcma, Zdenek Kotásek	Evaluation Platform For Testing Fault Tolerance: Testing Reliability of Smart Electronic Locks.	LASCAS	2020	DBLP DOI BibTeX RDF
18	Dave Dice, Alex Kogan	Fissile Locks.	NETYS	2020	DBLP DOI BibTeX RDF
18	He Du, Xu Jiang 0004, Tao Yang, Mingsong Lv, Wang Yi 0001	Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks.	ICPADS	2020	DBLP DOI BibTeX RDF
18	Suhail Nogd, Geoffrey Nelissen, Mitra Nasri, Björn B. Brandenburg	Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks.	RTSS	2020	DBLP DOI BibTeX RDF
18	Andrew Zhang, Raghavendra V. P. Kandubai	Access Control Schema for Smart Locks using a Wifi Bridge: An exploration of a smart lock access control system based around the SimSim retrofitting smart lock.	ICRAI	2020	DBLP DOI BibTeX RDF
18	Wafa Elmannai, Isaiah Paige, Rei Rexha, Marcia Rivera	A Highly Secure Platform that Supports Smart Locks.	CCECE	2020	DBLP DOI BibTeX RDF
18	Yuvraj Patel, Leon Yang, Leo Prasath Arulraj, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift	Avoiding scheduler subversion using scheduler-cooperative locks.	EuroSys	2020	DBLP DOI BibTeX RDF
18	Alex Kogan, Dave Dice, Shady Issa	Scalable range locks for scalable address spaces and beyond.	EuroSys	2020	DBLP DOI BibTeX RDF
18	Jeffrey Xiao, Zheng Zhang, Wojciech M. Golab	Benchmarking Recoverable Mutex Locks.	SPAA	2020	DBLP DOI BibTeX RDF
18	Ward Passchyn, Dirk Briskorn, Frits C. R. Spieksma	No-Wait Scheduling for Locks.	INFORMS J. Comput.	2019	DBLP DOI BibTeX RDF
18	Yang Zhang 0037, Shuai Shao, Huan Liu, Jing Qiu 0002, Dongwen Zhang, Guanghua Zhang	Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation.	IEEE Access	2019	DBLP DOI BibTeX RDF
18	Catherine E. Nemitz, Tanya Amert, James H. Anderson	Real-time multiprocessor locks with nesting: optimizing the common case.	Real Time Syst.	2019	DBLP DOI BibTeX RDF
18	Bin Ji 0001, Xiaohui Yuan 0002, Yanbin Yuan	A Hybrid Intelligent Approach for Co-Scheduling of Cascaded Locks With Multiple Chambers.	IEEE Trans. Cybern.	2019	DBLP DOI BibTeX RDF
18	Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei	A2L: Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
18	Pablo Sotres, Jorge Lanza, Luis Sánchez, Juan Ramón Santana, Carmen López 0001, Luis Muñoz	Breaking Vendors and City Locks through a Semantic-enabled Global Interoperable Internet-of-Things System: A Smart Parking Case.	Sensors	2019	DBLP DOI BibTeX RDF
18	Cosimo Laneve	A lightweight deadlock analysis for programs with threads and reentrant locks.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
18	Kazuki Watanabe 0001, Makoto Nagatomo, Kentaro Aburada, Naonobu Okazaki, Mirang Park	Gait-Based Authentication for Smart Locks Using Accelerometers in Two Devices.	NBiS	2019	DBLP DOI BibTeX RDF
18	Ondrej Cekan, Jakub Podivinsky, Jakub Lojda, Richard Panek, Martin Krcma, Zdenek Kotásek	Testing Reliability of Smart Electronic Locks: Analysis and the First Steps Towards.	DSD	2019	DBLP DOI BibTeX RDF
18	Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu 0001, Eric Jenn	Hunting Superfluous Locks with Model Checking.	From Software Engineering to Formal Methods and Tools, and Back	2019	DBLP DOI BibTeX RDF
18	Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei	Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability.	NDSS	2019	DBLP BibTeX RDF
18	Dave Dice, Alex Kogan	TWA - Ticket Locks Augmented with a Waiting Array.	Euro-Par	2019	DBLP DOI BibTeX RDF
18	Dave Dice, Alex Kogan	BRAVO - Biased Locking for Reader-Writer Locks.	USENIX Annual Technical Conference	2019	DBLP BibTeX RDF
18	Dave Dice, Alex Kogan	Compact NUMA-aware Locks.	EuroSys	2019	DBLP DOI BibTeX RDF
18	Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto	Plugging-in proof development environments using Locks in LF.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
18	Maggie Oates, Yama Ahmadullah, Abigail Marsh, Chelse Swoopes, Shikun Zhang, Rebecca Balebako, Lorrie Faith Cranor	Turtles, Locks, and Bathrooms: Understanding Mental Models of Privacy Through Illustration.	Proc. Priv. Enhancing Technol.	2018	DBLP DOI BibTeX RDF
18	Son Dinh, Jing Li 0025, Kunal Agrawal, Christopher D. Gill, Chenyang Lu 0001	Blocking Analysis for Spin Locks in Real-Time Parallel Tasks.	IEEE Trans. Parallel Distributed Syst.	2018	DBLP DOI BibTeX RDF
18	David Dice, Alex Kogan	BRAVO - Biased Locking for Reader-Writer Locks.	CoRR	2018	DBLP BibTeX RDF
18	Dave Dice, Alex Kogan	Compact NUMA-Aware Locks.	CoRR	2018	DBLP BibTeX RDF
18	Dave Dice, Alex Kogan	TWA - Ticket Locks Augmented with a Waiting Array.	CoRR	2018	DBLP BibTeX RDF
18	Michael Baeuerle	Cancel-Locks in Netnews Articles.	RFC	2018	DBLP DOI BibTeX RDF