|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 29 keywords
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings, pp. 571-575, 2001, Springer, 3-540-42494-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 3775-3780, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 159-166, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 172-177, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 937-943, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Samik Basu 0001, Scott A. Smolka |
Model checking the Java metalocking algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 16(3), pp. 12, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003, pp. 275-284, 2003, ACM, 1-58113-708-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Masataka Takamura, Yoshihide Igarashi |
Group Mutual Exclusion Algorithms Based on Ticket Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings, pp. 232-241, 2003, Springer, 3-540-40534-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Sergiu Hart, Micha Sharir, Amir Pnueli |
Termination of Probabilistic Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982, pp. 1-6, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
30 | Ibukunoluwa O. Korede, Jacob Midkiff, Brian Starling |
Investigation of Transformer Lockout Event Caused by Breaker Failure Protection Misoperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: IEEE Industry Applications Society Annual Meeting, IAS 2023, Nashville, TN, USA, October 29 - Nov. 2, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-2016-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 26(1), pp. 6:1-6:35, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Gilmer Valdes, Wilmer Arbelo, Yannet Interian, Jerome H. Friedman |
Lockout: Sparse Regularization of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.07160, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2021, Daegu, South Korea, May 22-28, 2021, pp. 1-5, 2021, IEEE, 978-1-7281-9201-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISOCC ![In: 18th International SoC Design Conference, ISOCC 2021, Jeju Island, South Korea, Republic of, October 6-9, 2021, pp. 131-132, 2021, IEEE, 978-1-6654-0174-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.01071, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Jaejeung Kim, Hayoung Jung, Minsam Ko, Uichin Lee |
GoalKeeper: Exploring Interaction Lockout Mechanisms for Regulating Smartphone Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. ![In: Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 3(1), pp. 16:1-16:29, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019, pp. 697, 2019, ACM, 978-1-4503-5970-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Shouri Chatterjee, Gajendranath Chowdary |
A 200-pA Under-Voltage Lockout Circuit for Ultra-Low Power Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2019, Sapporo, Japan, May 26-29, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-0397-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iSES ![In: IEEE International Symposium on Smart Electronic Systems, iSES 2019 (Formerly iNiS), Rourkela, India, December 16-18, 2019, pp. 17-20, 2019, IEEE, 978-1-7281-4655-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCI ![In: IEEE Symposium Series on Computational Intelligence, SSCI 2019, Xiamen, China, December 6-9, 2019, pp. 641-648, 2019, IEEE, 978-1-7281-2485-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRI ![In: Summit on Clinical Research Informatics, CRI 2017, San Francisco, CA, USA, March 27-30, 2017, 2017, AMIA. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 156, pp. 266-276, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Karen Renaud, Rosanne English, Thomas Wynne, Florian Weber |
You Have Three Tries Before Lockout. Why Three?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAISA ![In: Eighth International Symposium on Human Aspects of Information Security & Assurance, HAISA 2014 ,Plymouth, UK, July 8-9, 2014. Proceedings, pp. 101-111, 2014, University of Plymouth, 978-1-84102-375-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
30 | Chao Zhang, Zhijia Yang, Zhipeng Zhang |
A CMOS hysteresis undervoltage lockout with current source inverter structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASICON ![In: 2011 IEEE 9th International Conference on ASIC, ASICON 2011, Xiamen, China, October 25-28, 2011, pp. 918-921, 2011, IEEE, 978-1-61284-192-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 50(1), pp. 41-59, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | R. P. Lorétan |
Timing Problems in Electronic Lockout Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 19(3), pp. 250-253, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
30 | Georges Gardarin, Stefano Spaccapietra |
Integrity of Data Bases: A General Lockout Algorithm with Deadlock Avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Working Conference on Modelling in Data Base Management Systems ![In: Modelling in Data Base Management Systems, Proceeding of the IFIP Working Conference on Modelling in Data Base Management Systems, Freudenstadt, Germany, January 5-8, 1976, pp. 395-412, 1976, North-Holland, 0-7204-0459-2. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP BibTeX RDF |
|
30 | Barry W. Boehm, M. J. Seven, R. A. Watson |
Interactive problem-solving: an experimental study of "lockout" effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS Spring Joint Computing Conference ![In: American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1971 Spring Joint Computer Conference, Atlantic City, NJ, USA, May 18-20, 1971, pp. 205-210, 1971, AFIPS, 978-1-4503-7907-6. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
30 | Stuart E. Madnick |
Multi-processor software lockout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM National Conference ![In: Proceedings of the 23rd ACM national conference, ACM 1968, USA, 1968, pp. 19-24, 1968, ACM, 978-1-4503-7486-6. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
27 | Michel Dubois 0001, Faye A. Briggs |
The Run-Time Efficiency of Parallel Asynchronous Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(11), pp. 1260-1266, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings, pp. 384-395, 2008, Springer, 978-3-540-88874-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings, pp. 512-513, 2008, Springer, 978-3-540-87778-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Masataka Takamura, Yoshihide Igarashi |
Simple Mutual Exclusion Algorithms Based on Bounded Tickets on the Asynchronous Shared Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings, pp. 259-268, 2002, Springer, 3-540-43996-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Oltea Mihaela Herescu, Catuscia Palamidessi |
On the generalized dining philosophers problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, PODC 2001, Newport, Rhode Island, USA, August 26-29, 2001, pp. 81-89, 2001, ACM, 1-58113-383-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers, pp. 202-209, 2001, Springer, 3-540-43792-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Samik Basu 0001, Scott A. Smolka, Orson R. Ward |
Model Checking the Java Meta-Locking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK, pp. 342-350, 2000, IEEE Computer Society, 0-7695-0604-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999, pp. 224-231, 1999, IEEE Computer Society, 0-7695-0222-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, Israel, June 1989, pp. 2-15, 1989, ACM, 0-89791-319-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|