Search results for "semaphore"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	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
68	Kenneth A. Reek	The well-tempered semaphore: theme with variations.	SIGCSE	2002	DBLP DOI BibTeX RDF	Synchronization, monitor, operating system, semaphore
64	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
57	Jae-Ho Lee, Heung-Nam Kim	Implementing priority inheritance semaphore on uC/OS real-time kernel.	WSTFES	2003	DBLP DOI BibTeX RDF
57	Wojciech Zajac, Andrzej Poplawski	Use of Extended Semaphore Operations in Parallel Programming on a Transputer Platform.	PARELEC	2002	DBLP DOI BibTeX RDF
57	Scott D. Carson, Paul F. Reynolds Jr.	The Geometry of Semaphore Programs.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
48	George E. Bier, Mary K. Vernon	Measurements and prediction of contention in multiprocessor operating systems with scientific application workloads.	ICS	1988	DBLP DOI BibTeX RDF	UNIX, UNIX, CRAY X-MP
42	Guy E. Blelloch, Phillip B. Gibbons, Harsha Vardhan Simhadri	Combinable memory-block transactions.	SPAA	2008	DBLP DOI BibTeX RDF	memory-block transactions, priority write, read-modify-write, shared memory, transactional memory, queue, contention, combining, stack, linearizability, semaphore
42	Fabrice Peyrard, Christian Soutou, Jean-Jacques Mercier	Mobile Stations Localization in a WLAN.	LCN	2000	DBLP DOI BibTeX RDF	radio tracking, mobile stations localization, localization protocol, semaphore channel, access point coverage areas, virtual coverage areas, near-to-near relays, Java DataBase Connectivity, Java, Java, protocols, wireless LAN, WLAN, relational databases, object-oriented databases, roaming, wireless local area network, access points, object-relational database, JDBC, land mobile radio
42	Ron Lin	Shift Switching with Domino Logic: Asynchronous VLSI Comparator Schemes.	VLSI Design	1997	DBLP DOI BibTeX RDF	shift switching, asynchronous VLSI comparator, precharged CMOS domino logic, VLSI, semaphore
42	John Drummond, Michael Wu	A low level analysis of the realtime Mach distributed operating system.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time Mach distributed operating system, low level analysis, real-time operating system software development arena, segmented appraisal, specific element analysis, Rhealstone benchmark, task switch time, preemption time, interrupt latency time, semaphore shuffling time, deadlock breaking time, interprocess communication latency time, conditioned environment, evaluation, real-time systems, distributed processing, software performance evaluation, operating systems (computers), network operating systems, measuring techniques
42	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
42	Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rócio Senger de Souza, Adenilso da Silva Simão	Structural Testing for Semaphore-Based Multithread Programs.	ICCS (1)	2008	DBLP DOI BibTeX RDF	software testing, testing criteria, multithread programs
42	Damián Barsotti, Javier O. Blanco	Automatic Refinement of Split Binary Semaphore.	ICTAC	2007	DBLP DOI BibTeX RDF
42	Cristian Tapus, Jason Hickey	Distributed synchronization with shared semaphore sets.	CCGRID	2005	DBLP DOI BibTeX RDF
42	Yu Lei 0001, Richard H. Carver	Reachability Testing of Semaphore-Based Programs.	COMPSAC	2004	DBLP DOI BibTeX RDF
42	Victor B. Lortz, Kang G. Shin	Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	multiprocessor synchronization, concurrency control, Real-time scheduling, priority assignment
32	Aaron Block, Hennadiy Leontyev, Björn B. Brandenburg, James H. Anderson	A Flexible Real-Time Locking Protocol for Multiprocessors.	RTCSA	2007	DBLP DOI BibTeX RDF
32	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
32	Rene Kobler, Dieter Kranzlmüller, Jens Volkert	Debugging OpenMP Programs Using Event Manipulation.	WOMPAT	2001	DBLP DOI BibTeX RDF
32	John A. Trono	Comments on "Tagged Semaphores".	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
32	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
32	Jochen Liedtke	A Short Note on Small Virtually-Addresses Control Blocks.	ACM SIGOPS Oper. Syst. Rev.	1995	DBLP DOI BibTeX RDF
32	Jochen Liedtke	A Short Note on Implementing Thread Exclusiveness and Address Space Locking.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
26	Philip Holman, James H. Anderson	Locking under Pfair scheduling.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	supertask, scheduling, real-time, synchronization, multiprocessor, Locking, semaphore, Pfairness
26	Kenneth A. Reek	Design patterns for semaphores.	SIGCSE	2004	DBLP DOI BibTeX RDF	synchronization, design pattern, operating system, semaphore
26	Dillon Ludemann	Digital semaphore: Political discourse and identity negotiation through 4chan's /pol/.	New Media Soc.	2023	DBLP DOI BibTeX RDF
26	Miguel Ángel Álvarez-Carmona, Ángel Díaz-Pacheco, Ramón Aranda, Ansel Y. Rodríguez González, Daniel Fajardo-Delgado, Rafael Guerrero-Rodriguez, Lázaro Bustio-Martínez	Overview of Rest-Mex at IberLEF 2022: Recommendation System, Sentiment Analysis and Covid Semaphore Prediction for Mexican Tourist Texts.	Proces. del Leng. Natural	2022	DBLP BibTeX RDF
26	Briana Bettin, Linda M. Ott, Julia Hiebel	Semaphore or Metaphor?: Exploring Concurrent Students' Conceptions of and with Analogy.	ITiCSE (1)	2022	DBLP DOI BibTeX RDF
26	Alejandra Romero-Cantón, Ramón Aranda, Ángel Díaz-Pacheco, Juan Pablo Ramírez-Silva	Mexican Epidemiological Semaphore Color Prediction by Means of Mutual Information Features.	IberLEF@SEPLN	2022	DBLP BibTeX RDF
26	Samiran Gupta, Babul P. Tewari	An Efficient CoD Management Using Semaphore in Online Retail System.	CICBA	2022	DBLP DOI BibTeX RDF
26	Luis Hermoza, Javier de la Cruz, Elsa Fernández, Benjamín Castañeda	Development of a Semaphore of Anemia: Screening Method Based on Photographic Images of the Ungueal Bed Using a Digital Camera.	EMBC	2020	DBLP DOI BibTeX RDF
26	Erik Férnando Méndez Garces, Gabriela Mafla Medina, José Ortiz	Study of the Pattern Recognition Algorithms for the Automation of a Smart Semaphore Through FPGAs.	WorldCIST (1)	2020	DBLP DOI BibTeX RDF
26	Sunanda Mondal, Mili Ghosh, Kakali Datta, Debarka Mukhopadhyay, Paramartha Dutta	A QCA design and energy analysis of binary semaphore with a comprehensive case study.	Innov. Syst. Softw. Eng.	2019	DBLP DOI BibTeX RDF
26	Ruby D, Jeyachidra J	Semaphore Based Data Aggregation and Similarity Findings for Underwater Wireless Sensor Networks.	Int. J. Grid High Perform. Comput.	2019	DBLP DOI BibTeX RDF
26	Ronghe Wang, Jianghua Lv, Shilong Ma	A MRI image segmentation method based on medical semaphore calculating in medical multimedia big data environment.	Multim. Tools Appl.	2018	DBLP DOI BibTeX RDF
26	Wei Lan, Chun He, Mingju Wang, Ke Li, Zhijian Zhao	The Semaphore Identification and Fault Troubleshooting Modus for Spacecraft Originating from Deep Learning and RF Method.	ICCSIP (2)	2018	DBLP DOI BibTeX RDF
26	Thanh-Dat Nguyen 0001, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, Pascal Richard	Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications.	DATE	2018	DBLP DOI BibTeX RDF
26	Nan Tian, Benjamin Kuo, Xinhe Ren, Michael Yu, Robert Zhang, Bill Huang, Ken Goldberg, Somayeh Sojoudi	A Cloud-Based Robust Semaphore Mirroring System for Social Robots.	CASE	2018	DBLP DOI BibTeX RDF
26	Antonio M. R. Almeida, José A. F. de Macêdo, Javam C. Machado	Optimization of Urban Semaphore Times Turning into JSSP.	BiDu-Posters@VLDB	2018	DBLP BibTeX RDF
26	John L. Rhodes 0001, Anne Schilling, Pedro V. Silva	The semaphore codes attached to a Turing machine via resets and their various limits.	Int. J. Algebra Comput.	2016	DBLP DOI BibTeX RDF
26	John L. Rhodes 0001, Anne Schilling, Pedro V. Silva	Random walks on semaphore codes and delay de Bruijn semigroups.	Int. J. Algebra Comput.	2016	DBLP DOI BibTeX RDF
26	Xinfeng Shu, Zhenhua Duan	Extending MSVL with Semaphore.	COCOON	2016	DBLP DOI BibTeX RDF
26	Shi-hai Zhu	Hardware implementation based on FPGA of semaphore management in μC/OS-II real-time operating system.	Int. J. Grid Util. Comput.	2015	DBLP DOI BibTeX RDF
26	Maolin Yang, Alexander Wieder, Björn B. Brandenburg	Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison.	RTSS	2015	DBLP DOI BibTeX RDF
26	Gwan-Hwan Hwang, Che-Sheng Lin, Teng-Shuo Lee, Chi Wu-Lee	A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs.	Softw. Test. Verification Reliab.	2014	DBLP DOI BibTeX RDF
26	Björn B. Brandenburg	A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications.	ECRTS	2013	DBLP DOI BibTeX RDF
26	Björn B. Brandenburg	Improved analysis and evaluation of real-time semaphore protocols for P-FP scheduling.	IEEE Real-Time and Embedded Technology and Applications Symposium	2013	DBLP DOI BibTeX RDF
26	Heitor Judiss Savino, Eddie B. L. Filho	PCR jitter control based on a semaphore-controlled counter.	SoftCOM	2012	DBLP BibTeX RDF
26	Jogi Hofmueller, Aaron Bachmann, Johannes Zmölnig	The Transmission of IP Datagrams over the Semaphore Flag Signaling System (SFSS).	RFC	2007	DBLP DOI BibTeX RDF
26	Boguslaw Schreyer, Wojciech Wawrzynski	Finite automata models for CS problem with binary semaphore.	ITiCSE	2006	DBLP DOI BibTeX RDF	computer science education, finite automata, process synchronization
26	Andreas Limyr, Tor Neple, Arne-Jørgen Berre, Brian Elvesæter	Semaphore - A Model-Based Semantic Mapping Framework.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF	UML, Interoperability, Mapping, MDA, Transformation
26	Dongyang Long, Weijia Jia 0001, Jian Ma 0008, Duanning Zhou	k-p-Infix codes and semaphore codes.	Discret. Appl. Math.	2001	DBLP DOI BibTeX RDF
26	Stephen Hodgson, Neil Dunstan, Ivan Fris	Extended semaphore operations.	Concurr. Pract. Exp.	2000	DBLP DOI BibTeX RDF
26	Mahendra Ramachandran, Mukesh Singhal	Decentralized semaphore support in a virtual shared-memory system.	J. Supercomput.	1995	DBLP DOI BibTeX RDF
26	Mitchell L. Neilsen, Masaaki Mizuno	A quorum-based algorithm for parameterized semaphore operations.	J. Syst. Softw.	1993	DBLP DOI BibTeX RDF
26	Hsueh-I Lu, Philip N. Klein, Robert H. B. Netzer	Detecting Race Conditions in Parallel Programs that Use One Semaphore.	WADS	1993	DBLP DOI BibTeX RDF
26	Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen	A Distributed Algorithm for Parameterized Semaphore Operations.	ICCI	1992	DBLP BibTeX RDF
26	Kwok-Bun Yue, R. T. Jacob	An Efficient Starvation-Free Semaphore Solution for the Graphical Mutual Exclusion Problem.	Comput. J.	1991	DBLP DOI BibTeX RDF
26	Serge Fdida, Harry G. Perros, Andrzej Wilk	Semaphore queues: modeling multilayered window flow control mechanisms.	IEEE Trans. Commun.	1990	DBLP DOI BibTeX RDF
26	Sibsankar Haldar, D. K. Subramanian	An Efficient Solution to the Mutual Exclusion Problem Using Unfair and Weak Semaphore.	ACM SIGOPS Oper. Syst. Rev.	1988	DBLP DOI BibTeX RDF
26	James Leslie Keedy, Bernd Freisleben	On the Efficient Use of Semaphore Primitives.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
26	Dan E. Willard	Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report)	STOC	1984	DBLP DOI BibTeX RDF
26	Eugene W. Stark	Semaphore primitives and starvation-free mutual exclusion.	J. ACM	1982	DBLP DOI BibTeX RDF
26	Richard M. Weatherly Jr., James F. Leathrum	Efficient Semaphore Management Using Read/Modify/Write Memory Cycles.	ACM SIGOPS Oper. Syst. Rev.	1982	DBLP DOI BibTeX RDF
26	Neta Amit, Micha Hofri	A Simple Semaphore-Queue Management for Multiprocessing Systems.	ACM SIGOPS Oper. Syst. Rev.	1980	DBLP DOI BibTeX RDF
26	Joep L. W. Kessels, Alain J. Martin	Two Implementations of the Conditional Critical Region Using a Split Binary Semaphore.	Inf. Process. Lett.	1979	DBLP DOI BibTeX RDF
26	Tilak Agerwala	Some Extended Semaphore Primitives.	Acta Informatica	1977	DBLP DOI BibTeX RDF
26	Kishor S. Trivedi	On a Semaphore Anomaly.	Inf. Process. Lett.	1976	DBLP DOI BibTeX RDF
26	Søren Lauesen	A Large Semaphore Based Operating System.	Commun. ACM	1975	DBLP DOI BibTeX RDF
26	S. Rao Kosaraju	Limitations of Dijkstra's Semaphore Primitives and Petri Nets.	SOSP	1973	DBLP DOI BibTeX RDF
26	Hendrik Vantilborgh, Axel van Lamsweerde	On an Extension of Dijkstra's Semaphore Primitives.	Inf. Process. Lett.	1972	DBLP DOI BibTeX RDF
16	Xiao Peng, Yuanyuan Li, Wu Deng	A Model of Distributed Interprocess Communication System.	WKDD	2009	DBLP DOI BibTeX RDF
16	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
16	Bing Guo, Yan Shen, Lei Zhang, Xiang Zhou	Research and Design of Shared Resources Competition Solution among Hardware-Software Tasks based on Unified Scheduling.	EUC (2)	2008	DBLP DOI BibTeX RDF
16	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
16	Han Wei, Mark Muir, Ioannis Nousias, Tughrul Arslan, Ahmet T. Erdogan	Mapping Real Time Operating System on Reconfigurable Instruction Cell Based Architectures.	FCCM	2007	DBLP DOI BibTeX RDF
16	João Muranho, Paula Prata, Mário Zenha Rela, João Gabriel Silva	Failure Boundedness in Discrete Applications.	LADC	2007	DBLP DOI BibTeX RDF	Failure avoidance, Discrete applications, Fail-bounded model, Experimental Dependability Evaluation, Petri nets
16	Chun-tao Man, Peng Li, Yan Li	Study of Priority Inversion in Embedded Linux.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
16	Su-Shin Ang, George A. Constantinides, Peter Y. K. Cheung, Wayne Luk	A Flexible Multi-port Caching Scheme for Reconfigurable Platforms.	ARC	2006	DBLP DOI BibTeX RDF
16	Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar	Code aware resource management.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, deadlock avoidance, code analysis
16	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Timed State Space Analysis of Real-Time Preemptive Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	nondeterministic time parameters, timeliness predictability, Preemptive Time Petri Nets, reactive systems, multiprocessor schedulability, Hard real-time systems, interprocess communication, preemptive scheduling, state space analysis
16	Avadora Dumitrescu	Dynamic Widest Path Selection for Connection Admission Control in Core-Stateless Networks.	QSHINE	2004	DBLP DOI BibTeX RDF
16	Joan Aranda, Pere Marès	Visual System to Help Blind People to Cross the Street.	ICCHP	2004	DBLP DOI BibTeX RDF
16	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.	ECRTS	2003	DBLP DOI BibTeX RDF
16	Jinmin Yang, Dafang Zhang, Xue Dong Yang	User-Level Implementation of Checkpointing for Multithreaded Applications on Windows NT.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
16	Hai Jin 0001, Li Guo, Zongfen Han	Global System Image Architecture for Cluster Computing.	APPT	2003	DBLP DOI BibTeX RDF
16	Masaru Takesue	Software Queue-Based Algorithms for Pipelined Synchronization on Multiprocessors.	ICPP Workshops	2003	DBLP DOI BibTeX RDF	queue-based locks, algorithms, synchronization, Multiprocessors, pipelining
16	Sang-Wook Kim, Wan Choi, Byoung-Ho Kim	Design and Implementation of the Concurrency Control Manager in the Main-Memory DBMS Tachyon.	COMPSAC	2002	DBLP DOI BibTeX RDF	main-memory DBMSs, concurrency control, DBMSs, locking, latching
16	Carlos Juiz, Ramón Puigjaner, Harry G. Perros	Performance Analysis of Pools in Soft Real-Time Design Architectures.	MASCOTS	2001	DBLP DOI BibTeX RDF
16	Xiaoping Liu, Xiao-Yun Liu, Zheng-Feng Hou, Xiao-Rong Du	Research on Cooperative Template Design.	CSCWD	2001	DBLP DOI BibTeX RDF
16	Carlos Juiz, Ramón Puigjaner, Ken Jackson	Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures.	Performance Engineering	2001	DBLP DOI BibTeX RDF
16	Yifat Ben-David Kolikant, Mordechai Ben-Ari, Sarah Pollack	The anthropology semaphores.	ITiCSE	2000	DBLP DOI BibTeX RDF
16	Rong Lin, James L. Schwing	A Non-binary Parallel Arithmetic Architecture.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
16	Carlos Juiz, Ramón Puigjaner	Queueing Analysis of Pools in Soft Real-Time Systems.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
16	Andrés Terrasa, Ana García-Fornes	Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux.	RTCSA	1999	DBLP DOI BibTeX RDF	real-time synchronization, real-time operating systems, priority inheritance
16	Hiroe Iwasaki, Jiro Naganuma, Makoto Endo, Takeshi Ogura	On-Chip Multimedia Real-Time OS and its MPEG-2 Applications.	RTCSA	1999	DBLP DOI BibTeX RDF	Real-Time OS, Embedded System LSI(System LSI), MPEG-2 Video, MPEG-2 Systems, Embedded Software, Multimedia Processing
16	Barry L. Kurtz, Hong Cai, Chris Plock, Xijia Chen	A concurrency simulator designed for sophomore-level instruction.	SIGCSE	1998	DBLP DOI BibTeX RDF	Java
16	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
16	Dominique Decouchant, P. Le Dot, Michel Riveill, Cécile Roisin, Xavier Rousset de Pina	A synchronization mechanism for an object oriented distributed system.	ICDCS	1991	DBLP DOI BibTeX RDF