Search results for "busy-waiting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Tobias Reinhard, Bart Jacobs 0002	Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting.	CAV (2)	2021	DBLP DOI BibTeX RDF
60	Johann Blieberger, Bernd Burgstaller, Bernhard Scholz	Busy Wait Analysis.	Ada-Europe	2003	DBLP DOI BibTeX RDF
46	Hyonho Lee	Transformations of Mutual Exclusion Algorithms from the Cache-Coherent Model to the Distributed Shared Memory Model.	ICDCS	2005	DBLP DOI BibTeX RDF
42	John M. Mellor-Crummey, Michael L. Scott	Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF
38	James H. Anderson, Jae-Heon Yang, Mohamed G. Gouda	The Granularity of Waiting (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
34	Leonidas I. Kontothanassis, Robert W. Wisniewski, Michael L. Scott	Scheduler-Conscious Synchronization.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	busy-waiting, kernel-user interaction, scheduling, scalability, synchronization, mutual exclusion, locks, barriers, preemption
31	Justus Fasse, Bart Jacobs 0002	Expressive modular verification of termination for busy-waiting programs.	CoRR	2023	DBLP DOI BibTeX RDF
31	Tobias Reinhard, Amin Timany, Bart Jacobs 0002	A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit.	CoRR	2020	DBLP BibTeX RDF
31	Tobias Reinhard, Bart Jacobs 0002	Ghost Signals: Verifying Termination of Busy-Waiting.	CoRR	2020	DBLP BibTeX RDF
31	Tobias Reinhard, Amin Timany, Bart Jacobs 0002	A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.	CoRR	2020	DBLP BibTeX RDF
31	Tobias Reinhard, Amin Timany, Bart Jacobs 0002	A separation logic to verify termination of busy-waiting for abrupt program exit.	FTfJP@ECOOP	2020	DBLP DOI BibTeX RDF
31	Robert Hoettger, Burkhard Igel, Olaf Spinczyk	On reducing busy waiting in autosar via task-release-delta-based runnable reordering.	DATE	2017	DBLP DOI BibTeX RDF
31	Alexander Wirz, Michael Süß, Claudia Leopold	A Comparison of Task Pool Variants in OpenMP and a Proposal for a Solution to the Busy Waiting Problem.	IWOMP	2006	DBLP DOI BibTeX RDF
31	Flavio Corradini, Dino Di Cola	The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes.	Math. Struct. Comput. Sci.	2003	DBLP DOI BibTeX RDF
31	Flavio Corradini, Dino Di Cola	The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes.	EXPRESS	2000	DBLP DOI BibTeX RDF
31	Flavio Corradini, Gian-Luigi Ferrari 0002, Marco Pistore	Eager, busy-waiting and lazy actions in timed computation?	EXPRESS	1997	DBLP DOI BibTeX RDF
31	Edmund M. Clarke, Lishing Liu	Approximate Algorithms for Optimization of Busy Waiting in Parallel Programs (Preliminary Report)	FOCS	1979	DBLP DOI BibTeX RDF
31	Cesare Ferri, R. Iris Bahar, Mirko Loghi, Massimo Poncino	Energy-optimal synchronization primitives for single-chip multi-processors.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	synchronization, mpsoc, power optimization
31	Che-Sheng Lin, Gwan-Hwan Hwang	Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs.	TASE	2009	DBLP DOI BibTeX RDF
31	Yang Dayu, Zou Peng	Event Driven RFID Reader for Warehouse Management.	PDCAT	2005	DBLP DOI BibTeX RDF
31	Rob Simmonds, Cameron Kiddle, Brian W. Unger	Addressing blocking and scalability in critical channel traversing.	PADS	2002	DBLP DOI BibTeX RDF	performance, parallel discrete event simulation, conservative algorithms
31	Jacob R. Lorch, Alan Jay Smith	Scheduling techniques for reducing processor energy use in MacOS.	Wirel. Networks	1997	DBLP DOI BibTeX RDF
31	Anoop Gupta, Andrew Tucker, Shigeru Urushibara	The Impact of Operating System Scheduling Policies and Synchronization Methods of the Performance of Parallel Application.	SIGMETRICS	1991	DBLP DOI BibTeX RDF
31	C.-D. Jung, E. Siberrt	Polling in Concurrent Programming.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
29	Minwen Ji, Edward W. Felten, Kai Li 0001	Performance Measurements for Multithreaded Programs.	SIGMETRICS	1998	DBLP DOI BibTeX RDF
22	Chin-Hsien Wu	An energy-efficient I/O request mechanism for multi-bank flash-memory storage systems.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	programmed I/O, embedded systems, energy-efficient, Flash Memory, storage systems
22	Chin-Hsien Wu, Tei-Wei Kuo, Chia-Lin Yang	Energy-efficient flash-memory storage systems with an interrupt-emulation mechanism.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	interrupt-emulation I/O, programmed I/O, embedded systems, energy-efficient, flash memory, storage systems
22	Rajiv Gupta 0001, Michael Epstein	Achieving Low Cost Synchronization in a Multiprocessor System.	PARLE (1)	1989	DBLP DOI BibTeX RDF	multiprocessor systems, parallelizing compilers, barrier synchronization
15	Wojciech M. Golab	Brief announcement: locally-accessible implementations for distributed shared memory multiprocessors.	PODC	2010	DBLP DOI BibTeX RDF	locally-accessible implementations, distributed shared memory, shared objects, remote memory references
15	Yossi Lev, Victor Luchangco, Marek Olszewski	Scalable reader-writer locks.	SPAA	2009	DBLP DOI BibTeX RDF	reader-writer lock, snzi, scalable, synchronization
15	Yong-Jik Kim, James H. Anderson	Adaptive mutual exclusion with local spinning.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Adaptive mutual exclusion, Read/write atomicity, Time complexity, Shared-memory systems, Local spinning
15	Zvika Brakerski, Aviv Nisgav, Boaz Patt-Shamir	General Perfectly Periodic Scheduling.	Algorithmica	2006	DBLP DOI BibTeX RDF	Approximation algorithms, Periodic scheduling
15	Sheng-Hsuan Hsu, Ching-Chi Hsu, Shun-Shii Lin, Ferng-Ching Lin	A Multi-Channel MAC Protocol Using Maximal Matching for Ad Hoc.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
15	Tomás Plachetka	(Quasi-) Thread-Safe PVM and (Quasi-) Thread-Safe MPI without Active Polling.	PVM/MPI	2002	DBLP DOI BibTeX RDF	thread-safety, MPI, efficiency, latency, PVM, polling
15	James H. Anderson, Yong-Jik Kim	A new fast-path mechanism for mutual exclusion.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Fast mutual exclusion, Read/write atomicity, Scalability, Shared memory, Local spinning
15	James H. Anderson, Yong-Jik Kim	Adaptive Mutual Exclusion with Local Spinning.	DISC	2000	DBLP DOI BibTeX RDF
15	Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White	An Efficient Meta-Lock for Implementing Ubiquitous Synchronization.	OOPSLA	1999	DBLP DOI BibTeX RDF	concurrent threads, object-oriented language implementation, synchronization
15	Babak Falsafi, David A. Wood 0001	Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols.	HPCA	1999	DBLP DOI BibTeX RDF
15	James H. Anderson, Mark Moir	Using Local-Spin k-Exclusion Algorithms to Improve Wait-Free Object Implementations.	Distributed Comput.	1997	DBLP DOI BibTeX RDF	k -Assignment, k -Exclusion, Shared subjects, Shared-memory multiprocessors, Resiliency, Wait-free, Local spinning
15	Maurice Herlihy, J. Eliot B. Moss	Lock-Free Garbage Collection for Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	storagemanagement, garbage collection, multiprocessing systems, shared-memory multiprocessors, storage management, lock-free, global synchronization
15	John Zahorjan, Edward D. Lazowska, Derek L. Eager	The Effect of Scheduling Discipline on Spin Overhead in Shared Memory Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	scheduling discipline, spin overhead, shared memory parallel systems, busywaiting, data-dependent execution, memoryarchitecture, scheduling, performance evaluation, parallel machines, spinning, multiprogramming, parallel processors
15	James R. Goodman, Mary K. Vernon, Philip J. Woest	Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors.	ASPLOS	1989	DBLP DOI BibTeX RDF