|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 59 occurrences of 46 keywords
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 27-50, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
60 | Johann Blieberger, Bernd Burgstaller, Bernhard Scholz |
Busy Wait Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 142-152, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Hyonho Lee |
Transformations of Mutual Exclusion Algorithms from the Cache-Coherent Model to the Distributed Shared Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 25th International Conference on Distributed Computing Systems (ICDCS 2005), 6-10 June 2005, Columbus, OH, USA, pp. 261-270, 2005, IEEE Computer Society, 0-7695-2331-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | John M. Mellor-Crummey, Michael L. Scott |
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 9(1), pp. 21-65, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
38 | James H. Anderson, Jae-Heon Yang, Mohamed G. Gouda |
The Granularity of Waiting (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992, Proceedings, pp. 313-328, 1992, Springer, 3-540-56188-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
34 | Leonidas I. Kontothanassis, Robert W. Wisniewski, Michael L. Scott |
Scheduler-Conscious Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 15(1), pp. 3-40, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.15379, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.07800, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
31 | Tobias Reinhard, Bart Jacobs 0002 |
Ghost Signals: Verifying Termination of Busy-Waiting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.11762, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.10215, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020, pp. 26-32, 2020, ACM, 978-1-4503-8186-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017, pp. 1510-1515, 2017, IEEE, 978-3-9815370-8-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: OpenMP Shared Memory Parallel Programming - International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings, pp. 397-408, 2006, Springer, 978-3-540-68554-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Flavio Corradini, Dino Di Cola |
The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 13(4), pp. 619-656, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Flavio Corradini, Dino Di Cola |
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000, pp. 47-64, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Flavio Corradini, Gian-Luigi Ferrari 0002, Marco Pistore |
Eager, busy-waiting and lazy actions in timed computation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: International Workshop on Expressiveness in Concurrency, EXPRESS 1997, Santa Margherita Ligure, Italy, September 8-12, 1997, pp. 96-114, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Edmund M. Clarke, Lishing Liu |
Approximate Algorithms for Optimization of Busy Waiting in Parallel Programs (Preliminary Report) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 20th Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 29-31 October 1979, pp. 255-266, 1979, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
31 | Cesare Ferri, R. Iris Bahar, Mirko Loghi, Massimo Poncino |
Energy-optimal synchronization primitives for single-chip multi-processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009, pp. 141-144, 2009, ACM, 978-1-60558-522-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 291-292, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Yang Dayu, Zou Peng |
Event Driven RFID Reader for Warehouse Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 895-899, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Rob Simmonds, Cameron Kiddle, Brian W. Unger |
Addressing blocking and scalability in critical channel traversing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 16th Workshop on Parallel and Distributed Simulation, PADS 2002, Washington, D.C., USA, May 12-15, 2002, pp. 17-24, 2002, IEEE Computer Society, 0-7695-1608-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 3(5), pp. 311-324, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1991 ACM SIGMETRICS conference on Measurement and modeling of computer systems, San Diego, California, USA, May 21-24, 1991, pp. 120-132, 1991, ACM, 0-89791-392-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
31 | C.-D. Jung, E. Siberrt |
Polling in Concurrent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989, pp. 204-209, 1989, ACM, 0-89791-299-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
29 | Minwen Ji, Edward W. Felten, Kai Li 0001 |
Performance Measurements for Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, SIGMETRICS '98 / PERFORMANCE '98, Madison, Wisconsin, USA, June 22-26, 1998, pp. 161-170, 1998, ACM, 0-89791-982-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Chin-Hsien Wu |
An energy-efficient I/O request mechanism for multi-bank flash-memory storage systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(1), pp. 6:1-6:25, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004, Stockholm, Sweden, September 8-10, 2004, pp. 134-139, 2004, ACM, 1-58113-937-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 70-84, 1989, Springer, 3-540-51284-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 394-395, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 101-110, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reader-writer lock, snzi, scalable, synchronization |
15 | Yong-Jik Kim, James H. Anderson |
Adaptive mutual exclusion with local spinning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 19(3), pp. 197-236, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 45(2), pp. 183-208, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 23-24 March 2004, Hachioji, Tokyo, Japan, pp. 505-510, 2004, IEEE Computer Society, 0-7695-2087-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Tomás Plachetka |
(Quasi-) Thread-Safe PVM and (Quasi-) Thread-Safe MPI without Active Polling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29 - October 2, 2002, Proceedings, pp. 296-305, 2002, Springer, 3-540-44296-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 14(1), pp. 17-29, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000, Proceedings, pp. 29-43, 2000, Springer, 3-540-41143-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999., pp. 207-222, 1999, ACM, 1-58113-238-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, Orlando, FL, USA, January 9-12, 1999, pp. 182-192, 1999, IEEE Computer Society, 0-7695-0004-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | James H. Anderson, Mark Moir |
Using Local-Spin k-Exclusion Algorithms to Improve Wait-Free Object Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 11(1), pp. 1-20, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(3), pp. 304-311, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(2), pp. 180-198, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-III Proceedings - Third International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, Massachusetts, USA, April 3-6, 1989., pp. 64-75, 1989, ACM Press, 0-89791-300-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|