Search results for "semaphores"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
170	Jochen Liedtke	A Short Note on Small Virtually-Addresses Control Blocks.	ACM SIGOPS Oper. Syst. Rev.	1995	DBLP DOI BibTeX RDF
111	David Hemmendinger	A Correct Implementation of General Semaphores.	ACM SIGOPS Oper. Syst. Rev.	1988	DBLP DOI BibTeX RDF
97	Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer	Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract).	ESA	1996	DBLP DOI BibTeX RDF
97	Vivek Sarkar	Synchronization using counting semaphores.	ICS	1988	DBLP DOI BibTeX RDF
68	Philip N. Klein, Robert H. B. Netzer, Hsueh-I Lu	Detecting Race Conditions in Parallel Programs that Use Semaphores.	Algorithmica	2003	DBLP DOI BibTeX RDF
54	Rahul Agarwal, Scott D. Stoller	Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.	PADTAD	2006	DBLP DOI BibTeX RDF	testing, concurrent programs, deadlocks
54	Éric Grégoire	About the Use of Semaphores to Handle Contradictory Knowledge Sources.	ICTAI	2003	DBLP DOI BibTeX RDF	knowledge fusion, logic-based knowledge fusion
54	John A. Trono	Comments on "Tagged Semaphores".	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
54	John A. Trono, William E. Taylor	Further comments on "A correct and unrestrictive implementation of general semaphores".	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
54	Yifat Ben-David Kolikant, Mordechai Ben-Ari, Sarah Pollack	The anthropology semaphores.	ITiCSE	2000	DBLP DOI BibTeX RDF
54	C. Samuel Hsieh	Further Comments on Implementation of General Semaphores.	ACM SIGOPS Oper. Syst. Rev.	1989	DBLP DOI BibTeX RDF
54	David Hemmendinger	Comments on "A Correct and Unrestrictive Implementation of General Semaphores".	ACM SIGOPS Oper. Syst. Rev.	1989	DBLP DOI BibTeX RDF
54	R. T. Jacob, Ivor P. Page	Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	mutual exclusion solutions, binary semaphores, graphical form, mutual exclusion constraint, edge semaphore solution, edge solvable, entry, exit sections, graph theory, operating systems (computers), graph grammar, efficient algorithm, vertex, forbidden subgraph, mutual exclusion problem
51	Hans W. Barz	Implementing Semaphores by Binary Semaphores.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
43	Sriram Raghunathan	Extending Inter-process Synchronization with Robust Mutex and Variants in Condition Wait.	ICPADS	2008	DBLP DOI BibTeX RDF
43	Jordan Bonney, Ranga S. Ramanujan, Atiq Ahamad, Siddhartha Takkella, Kenneth J. Thurber	Distributed Hardware Support for Process Synchronization in NSM Workstation Clusters.	CANPC	1997	DBLP DOI BibTeX RDF
43	Stephane de Vroey, Joël Goossens, Christian Hernalsteen	A Generic Simulator of Real-Time Scheduling Algorithms.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF
42	Woo-Chul Jeun, Soonhoi Ha	Effective OpenMP Implementation and Translation For Multiprocessor System-On-Chip without Using OS.	ASP-DAC	2007	DBLP DOI BibTeX RDF	hardware semaphores, parallel programming, OpenMP, shared memory system, multiprocessor system-on-chip
42	Rainer Oechsle, Kay Barzen	Checking automatically the output of concurrent threads.	ITiCSE	2007	DBLP DOI BibTeX RDF	automatic software assessment, vector timestamps, visualization, semaphores, causal relationship
42	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
40	Kenneth A. Reek	Design patterns for semaphores.	SIGCSE	2004	DBLP DOI BibTeX RDF	synchronization, design pattern, operating system, semaphore
40	Phil Kearns	A Correct and Unrestrictive Implementation of General Semaphores.	ACM SIGOPS Oper. Syst. Rev.	1988	DBLP DOI BibTeX RDF	CSP
28	Rong Lin, Koji Nakano, Stephan Olariu, Albert Y. Zomaya	An Efficient Parallel Prefix Sums Architecture with Domino Logic.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	shift switching, binary prefix sums, binary counting, VLSI design, scalable architectures, domino logic, Hardware-algorithms
28	Rene Kobler, Dieter Kranzlmüller, Jens Volkert	Debugging OpenMP Programs Using Event Manipulation.	WOMPAT	2001	DBLP DOI BibTeX RDF
28	Rong Lin, Koji Nakano, Stephan Olariu, Albert Y. Zomaya	An Efficient VLSI Architecture Parallel Prefix Counting With Domino Logic.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF	Special-purpose parallel architectures, digital signal processing, computer arithmetic, VLSI design, domino logic
28	Yi Ye, Chao-Ju Hou	On Laying Out Virtual Paths for Real-Time Message Streams in ATM Networks.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
28	Khawar M. Zuberi, Kang G. Shin	An efficient semaphore implementation scheme for small-memory embedded systems.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
28	Raphael A. Finkel	Run-time Print Values.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
28	Manfred Jackel	Context Senitive Formatting.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
28	Arol Ambler, Robert Trawick	Chatin's Graph Coloring Algorithm as a Method for Assigning Positions to Diana Attributes.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
28	Christos H. Papadimitriou	On the Power of Locking.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
28	Jun Shirako, David M. Peixotto, Vivek Sarkar, William N. Scherer III	Phasers: a unified deadlock-free construct for collective and point-to-point synchronization.	ICS	2008	DBLP DOI BibTeX RDF	barriers, semaphores
26	Yang Wang 0082, Xu Jiang 0004, Nan Guan, Yue Tang 0001, Weichen Liu	Locking Protocols for Parallel Real-Time Tasks With Semaphores Under Federated Scheduling.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
26	Xu Jiang 0004, Nan Guan, Weichen Liu, Maolin Yang	Scheduling and Analysis of Parallel Real-Time Tasks with Semaphores.	DAC	2019	DBLP DOI BibTeX RDF
26	Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin	Implementation of distributed semaphores in IEC 61499 with consensus protocols.	INDIN	2018	DBLP DOI BibTeX RDF
26	Enrique Soriano-Salvador, Gorka Guardiola Muzquiz, Francisco J. Ballesteros	Optimistic semaphores with non-deterministic choice operation for heterogeneous manycore systems.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
26	Franco Cicirelli, Libero Nigro	Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores.	FedCSIS	2015	DBLP DOI BibTeX RDF
26	Nathan T. Weeks, Marina Kraeva, Glenn R. Luecke	ipcmd: a command-line interface to System V semaphores and message queues.	Concurr. Comput. Pract. Exp.	2014	DBLP DOI BibTeX RDF
26	Boguslaw Schreyer, Krzysztof Kosinski	Finite Automata In Software Modeling With Semaphores And Deadlock Potential.	WCCCE	2014	DBLP DOI BibTeX RDF
26	Wim H. Hesselink, Mark IJbema	Starvation-free mutual exclusion with semaphores.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
26		Semaphores.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
26	Ernesto Gomez, Keith E. Schubert	Algebra of Synchronization with Application to Deadlock and Semaphores.	Int. J. Netw. Comput.	2011	DBLP BibTeX RDF
26	Iain Craig, Egon Börger	Synchronous Message Passing and Semaphores: An Equivalence Proof.	ASM	2010	DBLP DOI BibTeX RDF
26	Ernesto Gomez, Keith E. Schubert	Algebra of Synchronization with Application to Deadlock and Semaphores.	ICNC	2010	DBLP DOI BibTeX RDF
26	Allen Y. C. Yu, Ka Lun Eddie Law	Atomic Distributed Semaphores for Accessing Networked Data.	ICC	2009	DBLP DOI BibTeX RDF
26	H. Ballhausen	Fair Solution to the Reader-Writer-Problem with Semaphores only	CoRR	2003	DBLP BibTeX RDF
26	Éric Grégoire	Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process.	IRI	2003	DBLP DOI BibTeX RDF
26	Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer	Detecting Race Conditions in Parallel Programs that Use Semaphores	CoRR	2002	DBLP BibTeX RDF
26	Claude Petitpierre	Beyond Threads and semaphores.	Softw. Focus	2000	DBLP DOI BibTeX RDF
26	Baowen Xu	Tagged Semaphores.	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
26	Edward T. Ordman, Eugene Eberbach, A. Anwar	Generalized Mutual Exclusion with Semaphores Only.	Fundam. Informaticae	1999	DBLP DOI BibTeX RDF
26	Gianluca Cena, Adriano Valenzano	Efficient implementation of semaphores in controller area networks.	IEEE Trans. Ind. Electron.	1999	DBLP DOI BibTeX RDF
26	Panayiotis Theodoropoulos, Panayotis Tsanakas, George K. Papakonstantinou	Global Semaphores in a Parallel Programming Environment.	PVM/MPI	1997	DBLP DOI BibTeX RDF
26	Kuo-Chung Tai, Richard H. Carver	VP: A New Operating for Semaphores.	ACM SIGOPS Oper. Syst. Rev.	1996	DBLP DOI BibTeX RDF
26	Pierre Castori	Semaphores Revisited with MMS.	ACM SIGOPS Oper. Syst. Rev.	1995	DBLP DOI BibTeX RDF
26	David Scholefield	Proving Properties of Real-Time Semaphores.	Sci. Comput. Program.	1995	DBLP DOI BibTeX RDF
26	Neil Dunstan, Ivan Fris	Process Scheduling and UNIX Semaphores	Softw. Pract. Exp.	1995	DBLP DOI BibTeX RDF
26	Ralph C. Hilzer Jr.	Concurrency with semaphores.	ACM SIGCSE Bull.	1992	DBLP DOI BibTeX RDF
26	Ralph C. Hilzer Jr.	Synchronization of the Producer/Consumer Problem using Semaphores, Monitors, and the Ada Rendezvous.	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF	Ada
26	Neil Dunstan	Semaphores for Fair Scheduling Monitor Conditions.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
26	Yu-Chung Liao, Tsu-Shuan Chang	An Approximate Solution for Computer Networks with Semaphores.	Perform. Evaluation	1990	DBLP DOI BibTeX RDF
26	Bernd Freisleben, James Leslie Keedy	Priority Semaphores.	Comput. J.	1989	DBLP DOI BibTeX RDF
26	Leszek Kotulski	Comments on Implementation of P and V Primitives with Help of Binary Semaphores.	ACM SIGOPS Oper. Syst. Rev.	1988	DBLP DOI BibTeX RDF
26	Stuart A. Friedberg, Gary L. Peterson	An Efficient Solution to the Mutual Exclusion Problem Using Weak Semaphores.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
26	Jan Tijmen Udding	Absence of Individual Starvation Using Weak Semaphores.	Inf. Process. Lett.	1986	DBLP DOI BibTeX RDF
26	Jason Gait	Semaphores outside the kernel.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
26	James Leslie Keedy, John Rosenberg, Kotagiri Ramamohanarao	On Synchronizing Readers and Writers with Semaphores.	Comput. J.	1982	DBLP DOI BibTeX RDF
26	Peter J. Denning, T. Don Dennis, Jeffrey A. Brumfield	Low Contention Semaphores and Ready Lists.	Commun. ACM	1981	DBLP DOI BibTeX RDF
26	Peter J. Denning, T. Don Dennis	On minimizing contention at semaphores.	SIGARCH Comput. Archit. News	1980	DBLP DOI BibTeX RDF
26	Peter J. Denning, T. Don Dennis	On Minimizing Contention At Semaphores.	ACM SIGOPS Oper. Syst. Rev.	1980	DBLP DOI BibTeX RDF
26	Fred B. Schneider	Ensuring Consistency in a Distributed Database System by Use of Distributed Semaphores.	DDB	1980	DBLP BibTeX RDF
26	James Leslie Keedy, Kotagiri Ramamohanarao, John Rosenberg	On Implementing Semaphores with Sets.	Comput. J.	1979	DBLP DOI BibTeX RDF
26	J. M. Mullins	Solving Synchronization Problems using Semaphores.	Softw. Pract. Exp.	1975	DBLP DOI BibTeX RDF
14	Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
14	Jason Ansel, Kapil Arya, Gene Cooperman	DMTCP: Transparent checkpointing for cluster computations and the desktop.	IPDPS	2009	DBLP DOI BibTeX RDF
14	Antonio Monzon, José L. Fernández-Sánchez	Deadlock risk assessment in architectural models of real-time systems.	SIES	2009	DBLP DOI BibTeX RDF
14	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
14	Guoqiang Li 0001, Shoji Yuen, Masakazu Adachi	Environmental Simulation of Real-Time Systems with Nested Interrupts.	TASE	2009	DBLP DOI BibTeX RDF
14	Alessandro Giua, Carla Seatzu	Modeling and Supervisory Control of Railway Networks Using Petri Nets.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
14	Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander	TinyTimber, Reactive Objects in C for Real-Time Embedded Systems.	DATE	2008	DBLP DOI BibTeX RDF
14	Tachio Terauchi	Checking race freedom via linear programming.	PLDI	2008	DBLP DOI BibTeX RDF	fractional capabilities, linear programming
14	Cesare Ferri, Amber Viescas, Tali Moreshet, R. Iris Bahar, Maurice Herlihy	Energy efficient synchronization techniques for embedded architectures.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	embedded systems, transactional memory
14	Alper Sen 0001, Vinit Ogale, Magdy S. Abadir	Predictive runtime verification of multi-processor SoCs in SystemC.	DAC	2008	DBLP DOI BibTeX RDF	predictive verification, deadlock, SystemC, assertion, ESL
14	Damián Barsotti, Javier O. Blanco	Automatic Refinement of Split Binary Semaphore.	ICTAC	2007	DBLP DOI BibTeX RDF
14	César Sánchez 0001, Henny B. Sipma, Zohar Manna	Generating Efficient Distributed Deadlock Avoidance Controllers.	IPDPS	2007	DBLP DOI BibTeX RDF
14	Lindsay Groves	Reasoning about Nonblocking Concurrency using Reduction.	ICECCS	2007	DBLP DOI BibTeX RDF
14	Marian V. Iordache, Panos J. Antsaklis	Supervision Based on Place Invariants: A Survey.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Petri nets, Mutual exclusion, Supervisory control
14	Kamran Karimi, Mohsen Sharifi	Transparent Distributed Programming under Linux.	HPCS	2006	DBLP DOI BibTeX RDF
14	Jürg Gutknecht	The Dining Philosophers Problem Revisited.	JMLC	2006	DBLP DOI BibTeX RDF
14	Alejandro Russo, John Hughes 0001, David A. Naumann, Andrei Sabelfeld	Closing Internal Timing Channels by Transformation.	ASIAN	2006	DBLP DOI BibTeX RDF
14	Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur	SCOOP - Concurrency Made Easy.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
14	Rushikesh K. Joshi, Subash Rajaa	Modeling VP operation: the Diwali Festival Problem.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF
14	Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar	Code aware resource management.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, deadlock avoidance, code analysis
14	Laxmisha Rai, Soon-Ju Kang	Multi-Thread Based Synchronization of Locomotion Control in Snake Robots.	RTCSA	2005	DBLP DOI BibTeX RDF
14	Cristian Tapus, Jason Hickey	Distributed synchronization with shared semaphore sets.	CCGRID	2005	DBLP DOI BibTeX RDF
14	Joachim Niehren, Jan Schwinghammer, Gert Smolka	A Concurrent Lambda Calculus with Futures.	FroCoS	2005	DBLP DOI BibTeX RDF
14	Hongmin Lu, Yuming Zhou, Jiangtao Lu, Baowen Xu	A compile-time optimization framework for Ada rendezvous.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	task, asynchronous communication, rendezvous, synchronous communication
14	Richard H. Carver, Yu Lei 0001	A General Model for Reachability Testing of Concurrent Programs.	ICFEM	2004	DBLP DOI BibTeX RDF
14	Agustín Goñi, Yadran Eterovic	Building Precise UML Constructs to Model Concurrency Using OCL.	UML	2004	DBLP DOI BibTeX RDF
14	Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong	Syntactic Control of Concurrency.	ICALP	2004	DBLP DOI BibTeX RDF