Search results for "lockout"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
146	Kumiko Obokata, Michiko Omori, Kazuhiro Motegi, Yoshihide Igarashi	A Lockout Avoidance Algorithm without Using Time-Stamps for the k-Exclusion Problem.	COCOON	2001	DBLP DOI BibTeX RDF	k-exclusion, lockout avoidance, lockout freedom, shared memory, concurrent computation, asynchronous processes
89	Jonathan Back, Duncan P. Brumby, Anna Louise Cox	Locked-out: investigating the effectiveness of system lockouts to reduce errors in routine tasks.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	lockout, resumption delay, interruptions, human error
89	Kazuhiro Ogata 0001, Kokichi Futatsugi	Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker.	APSEC	2005	DBLP DOI BibTeX RDF	lockout freedom property, mutual exclusion property, model checking, rewriting logic, counterexample
78	Yoshihide Igarashi, Yasuaki Nishitani	Speedup of Lockout-Free Mutual Exclusion Algorithms.	ISPAN	1999	DBLP DOI BibTeX RDF	lockout-freedom, distributed systems, shared memory, mutual exclusion, concurrent computation, asynchronous processes
61	Kazuhiro Ogata 0001, Kokichi Futatsugi	Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers.	CIT	2005	DBLP DOI BibTeX RDF
41	Samik Basu 0001, Scott A. Smolka	Model checking the Java metalocking algorithm.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	XMC, metalocking, monitor queues, Java, mutual exclusion, synchronized methods
41	Prasad Jayanti, Srdjan Petrovic, King Tan	Fair group mutual exclusion.	PODC	2003	DBLP DOI BibTeX RDF
41	Masataka Takamura, Yoshihide Igarashi	Group Mutual Exclusion Algorithms Based on Ticket Orders.	COCOON	2003	DBLP DOI BibTeX RDF
41	Sergiu Hart, Micha Sharir, Amir Pnueli	Termination of Probabilistic Concurrent Programs.	POPL	1982	DBLP DOI BibTeX RDF
30	Ibukunoluwa O. Korede, Jacob Midkiff, Brian Starling	Investigation of Transformer Lockout Event Caused by Breaker Failure Protection Misoperation.	IAS	2023	DBLP DOI BibTeX RDF
30	Sheikh Ariful Islam, Love Kumar Sah, Srinivas Katkoori	High-Level Synthesis of Key-Obfuscated RTL IP with Design Lockout and Camouflaging.	ACM Trans. Design Autom. Electr. Syst.	2021	DBLP DOI BibTeX RDF
30	Gilmer Valdes, Wilmer Arbelo, Yannet Interian, Jerome H. Friedman	Lockout: Sparse Regularization of Neural Networks.	CoRR	2021	DBLP BibTeX RDF
30	Van Ha Nguyen, Nam Ly, Abdul Hafiz Alameh, Yves Blaquière, Glenn E. R. Cowan	Compact and Low-Power Under-Voltage Lockout and Thermal-Shutdown Protection Circuits Using a Novel Low-Iq All-in-One Bandgap Comparator.	ISCAS	2021	DBLP DOI BibTeX RDF
30	Steven Lorenzo Mindoro, John Owen Cabuyadao, Arcel G. Leynes, Maria Sophia Ralota, Zyrel Renzo Sanchez, John Richard E. Hizon, Marc D. Rosales, Maria Theresa G. de Leon	A CMOS Power Management Unit with Undervoltage Lockout Circuit as Startup for Piezoelectric Energy Harvesting Applications.	ISOCC	2021	DBLP DOI BibTeX RDF
30	Sheikh Ariful Islam, Love Kumar Sah, Srinivas Katkoori	DLockout: A Design Lockout Technique for Key Obfuscated RTL IP Designs.	CoRR	2020	DBLP BibTeX RDF
30	Jaejeung Kim, Hayoung Jung, Minsam Ko, Uichin Lee	GoalKeeper: Exploring Interaction Lockout Mechanisms for Regulating Smartphone Use.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2019	DBLP DOI BibTeX RDF
30	Jaejeung Kim, Joonyoung Park, Hyunsoo Lee, Minsam Ko, Uichin Lee	LocknType: Lockout Task Intervention for Discouraging Smartphone App Use.	CHI	2019	DBLP DOI BibTeX RDF
30	Shouri Chatterjee, Gajendranath Chowdary	A 200-pA Under-Voltage Lockout Circuit for Ultra-Low Power Applications.	ISCAS	2019	DBLP DOI BibTeX RDF
30	Sheikh Ariful Islam, Love Kumar Sah, Srinivas Katkoori	DLockout: A Design Lockout Technique for Key Obfuscated RTL IP Designs.	iSES	2019	DBLP DOI BibTeX RDF
30	Nitin Naik, Paul Jenkins, Jonathan Gillett, Haralambos Mouratidis, Kshirasagar Naik, Jingping Song	Lockout-Tagout Ransomware: A Detection Method for Ransomware using Fuzzy Hashing and Clustering.	SSCI	2019	DBLP DOI BibTeX RDF
30	David Walend, Benjamin Carmen, Marc Ciriello, Isha johri, william Simons, Bhanu Bahl	Protecting Patient Identity in SHRINE Without Lockout.	CRI	2017	DBLP BibTeX RDF
30	Pascal Poisson, Yuvin Chinniah, Sabrina Jocelyn	Design of a safety control system to improve the verification step in machinery lockout procedures: A case study.	Reliab. Eng. Syst. Saf.	2016	DBLP DOI BibTeX RDF
30	Karen Renaud, Rosanne English, Thomas Wynne, Florian Weber	You Have Three Tries Before Lockout. Why Three?.	HAISA	2014	DBLP BibTeX RDF
30	Chao Zhang, Zhijia Yang, Zhipeng Zhang	A CMOS hysteresis undervoltage lockout with current source inverter structure.	ASICON	2011	DBLP DOI BibTeX RDF
30	Kenton O'Hara, Stephen J. Payne	Planning and the user interface: the effects of lockout time and error recovery cost.	Int. J. Hum. Comput. Stud.	1999	DBLP DOI BibTeX RDF
30	R. P. Lorétan	Timing Problems in Electronic Lockout Chains.	Comput. J.	1976	DBLP DOI BibTeX RDF
30	Georges Gardarin, Stefano Spaccapietra	Integrity of Data Bases: A General Lockout Algorithm with Deadlock Avoidance.	IFIP Working Conference on Modelling in Data Base Management Systems	1976	DBLP BibTeX RDF
30	Barry W. Boehm, M. J. Seven, R. A. Watson	Interactive problem-solving: an experimental study of "lockout" effects.	AFIPS Spring Joint Computing Conference	1971	DBLP DOI BibTeX RDF
30	Stuart E. Madnick	Multi-processor software lockout.	ACM National Conference	1968	DBLP DOI BibTeX RDF
27	Michel Dubois 0001, Faye A. Briggs	The Run-Time Efficiency of Parallel Asynchronous Algorithms.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	software resources, parallel asynchronous algorithms, multiprocessor operating systems, approximate analytical model, software lockout, job queues, shared-memory access conflicts, performance evaluation, performance evaluation, parallel algorithms, data structures, network operating systems, run-time efficiency, run-time efficiency, hardware resources, shared data structures
20	Kun Tian, Kendra M. L. Cooper, Kunwu Feng, Yan Tang	Defining Re-usable Composite Aspect Patterns: An FDAF Based Approach.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Software Design and Analysis, Formal Design and Analysis Framework, Aspect Reuse, Security, Software Architecture, Aspect Composition
20	Robert Danek, Hyonho Lee	Brief Announcement: Local-Spin Algorithms for Abortable Mutual Exclusion and Related Problems.	DISC	2008	DBLP DOI BibTeX RDF
20	Masataka Takamura, Yoshihide Igarashi	Simple Mutual Exclusion Algorithms Based on Bounded Tickets on the Asynchronous Shared Memory Model.	COCOON	2002	DBLP DOI BibTeX RDF
20	Oltea Mihaela Herescu, Catuscia Palamidessi	On the generalized dining philosophers problem.	PODC	2001	DBLP DOI BibTeX RDF
20	Jerzy Brzezinski, Dariusz Wawrzyniak	Consistency Requirements of Peterson's Algorithm for Mutual Exclusion of {n} Processes in a Distributed Shared Memory System.	PPAM	2001	DBLP DOI BibTeX RDF
20	Samik Basu 0001, Scott A. Smolka, Orson R. Ward	Model Checking the Java Meta-Locking Algorithm.	ECBS	2000	DBLP DOI BibTeX RDF	Java, model checking, synchronization, objects, mutual exclusion, threads, specification and verification
20	Ting-Lu Huang	Fast and Fair Mutual Exclusion for Shared Memory Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	atomic instructions memory contention, concurrency, multiprocessors, fairness, mutual exclusion
20	Susan J. Eggers, Randy H. Katz	Evaluating the Performance of Four Snooping Cache Coherency Protocols.	ISCA	1989	DBLP DOI BibTeX RDF