Search results for "MUTEX"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
68	Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer	Identifying and Validating Irregular Mutual Exclusion Synchronization in Explicitly Parallel Programs (Research Note).	Euro-Par	2000	DBLP DOI BibTeX RDF
59	Sriram Raghunathan	Extending Inter-process Synchronization with Robust Mutex and Variants in Condition Wait.	ICPADS	2008	DBLP DOI BibTeX RDF
51	Yang Li, Yan Sun, Chengshan Han, Xiaodong Wang, Shuyan Xu	Algorithm Research of Flexible Graphplan based on Heuristic.	ICYCS	2008	DBLP DOI BibTeX RDF
51	Chun-tao Man, Peng Li, Yan Li	Study of Priority Inversion in Embedded Linux.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
46	Ray Odaira, Kei Hiraki	Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation.	IPDPS	2003	DBLP DOI BibTeX RDF	runtime statistics, mutex lock, Java, JVM, runtime optimization
42	Elmar Bihler, Walter Vogler	Efficiency of Token-Passing MUTEX-Solutions - Some Experiments.	ICATPN	1998	DBLP DOI BibTeX RDF
42	Thomas Setz	Design, Implementation and Performance of a Mutex-Token based Fault-Tolerant Tuple Space Machine.	ICPADS	1997	DBLP DOI BibTeX RDF
34	Dongxiang Zhang, Yeow Meng Chee, Anirban Mondal, Anthony K. H. Tung, Masaru Kitsuregawa	Keyword Search in Spatial Databases: Towards Searching by Document.	ICDE	2009	DBLP DOI BibTeX RDF
34	Vineet Kahlon	Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks.	LICS	2009	DBLP DOI BibTeX RDF
34	Huaiming Li, Ke Tian, Yingying Gao	Research on Dynamic Delegation Model.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
34	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Path-Sensitive Inference of Function Precedence Protocols.	ICSE	2007	DBLP DOI BibTeX RDF
34	Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer	A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas.	DSN	2003	DBLP DOI BibTeX RDF
34	Artur Pereira, Antonio Rui Borges, Antonio B. Ferrari	Exclusion Relation of k Out of n and the Synthesis of Speed-Independent Circuits.	SBCCI	2003	DBLP DOI BibTeX RDF
34	D. J. Kinniment, Oleh V. Maevsky, Gordon Russell 0002, Alexandre Yakovlev, Alexandre V. Bystrov	On-Chip Structures for Timing Measurements and Test.	ASYNC	2002	DBLP DOI BibTeX RDF
34	Walter Vogler	Efficiency of Asynchronous Systems and Read Arcs in Petri Nets.	ICALP	1997	DBLP DOI BibTeX RDF
34	Jochen Liedtke	A Short Note on Implementing Thread Exclusiveness and Address Space Locking.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
29	Wen-Xiang Gu, Chang-fang Shao, Minghao Yin, Jin-li Li, Bing Li	Probabilistic Planning for Creating or Destroying Objects.	JCAI	2009	DBLP DOI BibTeX RDF	probabilistic planning problems, mutex inference, concurrent action set, planning graph
29	Charles E. Molnar, Ian W. Jones	Simple Circuits that Work for Complicated Reasons.	ASYNC	2000	DBLP DOI BibTeX RDF	MUTEX, Delay measurement technique, Latch control circuit, Charlie Box, Asynchronous, FIFO, Arbiter, Micropipeline
29	Hirotsugu Kakugawa, Satoshi Fujita, Masafumi Yamashita, Tadashi Ae	Availability of k-Coterie.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	distributed k-mutual-exclusion problem, k-mutex problem, distribution system, graph theory, distributed processing, concurrency control, network topology, critical section, complete graph
25	Rutav Shah, Roberto Martín-Martín, Yuke Zhu	MUTEX: Learning Unified Policies from Multimodal Task Specifications.	CoRR	2023	DBLP DOI BibTeX RDF
25	Prasad Jayanti, Siddhartha Jayanti, Anup Joshi	Constant RMR Recoverable Mutex under System-wide Crashes.	CoRR	2023	DBLP DOI BibTeX RDF
25	Ryszard Janicki, Maciej Koutny, Lukasz Mikulski	Interval Traces with Mutex Relation.	Petri Nets	2023	DBLP DOI BibTeX RDF
25	Rutav Shah, Roberto Martín-Martín, Yuke Zhu	MUTEX: Learning Unified Policies from Multimodal Task Specifications.	CoRL	2023	DBLP BibTeX RDF
25	Daniel Fiser	Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level.	ICAPS	2023	DBLP DOI BibTeX RDF
25	Han Zhang 0018, Jiaoyang Li 0001, Pavel Surynek, T. K. Satish Kumar, Sven Koenig	Multi-agent path finding with mutex propagation.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
25	Yue Duan, Zhen Zhao 0001, Lei Qi 0001, Lei Wang 0001, Luping Zhou, Yinghuan Shi, Yang Gao 0001	MutexMatch: Semi-supervised Learning with Mutex-based Consistency Regularization.	CoRR	2022	DBLP DOI BibTeX RDF
25	Bingbing Zheng, Yu Zhu 0005, Qin Shi, Dawei Yang, Yanmei Shao, Tao Xu	MA-Net: Mutex attention network for COVID-19 diagnosis on CT images.	Appl. Intell.	2022	DBLP DOI BibTeX RDF
25	Aravind Segu, Wojciech Golab	Recycling Memory in Recoverable Mutex Locks.	NETYS	2022	DBLP DOI BibTeX RDF
25	Han Zhang 0018, Yutong Li, Jiaoyang Li 0001, T. K. Satish Kumar, Sven Koenig	Mutex Propagation in Multi-Agent Path Finding for Large Agents.	SOCS	2022	DBLP DOI BibTeX RDF
25	Ahmed Fahmy, Wojciech M. Golab	A NUMA-Aware Recoverable Mutex Lock.	SPAA	2022	DBLP DOI BibTeX RDF
25	Steffen Wolf 0001, Alberto Bailoni, Constantin Pape, Nasim Rahaman, Anna Kreshuk, Ullrich Köthe, Fred A. Hamprecht	The Mutex Watershed and its Objective: Efficient, Parameter-Free Graph Partitioning.	IEEE Trans. Pattern Anal. Mach. Intell.	2021	DBLP DOI BibTeX RDF
25	Prasad Jayanti, Siddhartha Jayanti	Deterministic Constant-Amortized-RMR Abortable Mutex for CC and DSM.	ACM Trans. Parallel Comput.	2021	DBLP DOI BibTeX RDF
25	Julia Gabet, Nobuko Yoshida	Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
25	Hao Wei, Peng Peng	The Segmentation of Retinal Layer and Fluid in SD-OCT Images Using Mutex Dice Loss Based Fully Convolutional Networks.	IEEE Access	2020	DBLP DOI BibTeX RDF
25	Jie Ping, Olufunmilola Oyebamiji, Hui Yu, Scott Ness, Jeremy Chien, Fei Ye, Huining Kang, David C. Samuels, Sergey Ivanov, Danqian Chen, Ying-Yong Zhao, Yan Guo	MutEx: a multifaceted gateway for exploring integrative pan-cancer genomic data.	Briefings Bioinform.	2020	DBLP DOI BibTeX RDF
25	Pavel Surynek	At-Most-One Constraints in Efficient Representations of Mutex Networks.	CoRR	2020	DBLP BibTeX RDF
25	Julia Gabet, Nobuko Yoshida	Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).	CoRR	2020	DBLP BibTeX RDF
25	Julia Gabet, Nobuko Yoshida	Static Race Detection and Mutex Safety and Liveness for Go Programs.	ECOOP	2020	DBLP DOI BibTeX RDF
25	Daniel Fiser	Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems.	AAAI	2020	DBLP DOI BibTeX RDF
25	Pavel Surynek, Jiaoyang Li 0001, Han Zhang 0018, T. K. Satish Kumar, Sven Koenig	Mutex Propagation for SAT-based Multi-agent Path Finding.	PRIMA	2020	DBLP DOI BibTeX RDF
25	Pavel Surynek	At-Most-One Constraints in Efficient Representations of Mutex Networks.	ICTAI	2020	DBLP DOI BibTeX RDF
25	Steffen Wolf 0001, Yuyan Li, Constantin Pape, Alberto Bailoni, Anna Kreshuk, Fred A. Hamprecht	The Semantic Mutex Watershed for Efficient Bottom-Up Semantic Instance Segmentation.	ECCV (6)	2020	DBLP DOI BibTeX RDF
25	Han Zhang 0018, Jiaoyang Li 0001, Pavel Surynek, Sven Koenig, T. K. Satish Kumar	Multi-Agent Path Finding with Mutex Propagation.	ICAPS	2020	DBLP BibTeX RDF
25	Jeffrey Xiao, Zheng Zhang, Wojciech M. Golab	Benchmarking Recoverable Mutex Locks.	SPAA	2020	DBLP DOI BibTeX RDF
25	Steffen Wolf 0001, Yuyan Li, Constantin Pape, Alberto Bailoni, Anna Kreshuk, Fred A. Hamprecht	The Semantic Mutex Watershed for Efficient Bottom-Up Semantic Instance Segmentation.	CoRR	2019	DBLP BibTeX RDF
25	Steffen Wolf 0001, Alberto Bailoni, Constantin Pape, Nasim Rahaman, Anna Kreshuk, Ullrich Köthe, Fred A. Hamprecht	The Mutex Watershed and its Objective: Efficient, Parameter-Free Image Partitioning.	CoRR	2019	DBLP BibTeX RDF
25	Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld	Mutex-based Desanonymization of an Anonymous Read/Write Memory.	CoRR	2019	DBLP BibTeX RDF
25	David Spies, Jia-Huai You, Ryan Hayward	Mutex Graphs and Multicliques: Reducing Grounding Size for Planning.	ICLP Technical Communications	2019	DBLP DOI BibTeX RDF
25	Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld	Mutex-Based De-anonymization of an Anonymous Read/Write Memory.	NETYS	2019	DBLP DOI BibTeX RDF
25	Prasad Jayanti, Siddhartha V. Jayanti, Anup Joshi	A Recoverable Mutex Algorithm with Sub-logarithmic RMR on Both CC and DSM.	PODC	2019	DBLP DOI BibTeX RDF
25	Prasad Jayanti, Siddhartha Jayanti	Constant Amortized RMR Abortable Mutex for CC and DSM.	PODC	2019	DBLP DOI BibTeX RDF
25	Daniel Fiser, Antonín Komenda	Fact-Alternating Mutex Groups for Classical Planning.	J. Artif. Intell. Res.	2018	DBLP DOI BibTeX RDF
25	Nguyen Van Toan, Dam Minh Tung, Jeong-Gun Lee	Measurements of metastability in MUTEX on an FPGA.	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
25	Guillaume Fraysse, Jonathan Lejeune, Julien Sopena, Pierre Sens 0001	Mapping the allocation of resources for 5G slices to the k-MUTEX with n instances of m resources problem.	CNSM	2018	DBLP BibTeX RDF
25	Steffen Wolf 0001, Constantin Pape, Alberto Bailoni, Nasim Rahaman, Anna Kreshuk, Ullrich Köthe, Fred A. Hamprecht	The Mutex Watershed: Efficient, Parameter-Free Image Partitioning.	ECCV (4)	2018	DBLP DOI BibTeX RDF
25	Hojung Choi, Euiseong Seo	A priority mutex with bounded waiting for interactive consumer electronics systems.	ICCE	2018	DBLP DOI BibTeX RDF
25	Daniel Fiser, Antonín Komenda	Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract).	IJCAI	2018	DBLP DOI BibTeX RDF
25	Alejandro David Velasco, Bartolomeo Montrucchio, Maurizio Rebaudengo	TMR technique for mutex kernel data structures.	LATS	2017	DBLP DOI BibTeX RDF
25	Yang Zhang 0014, Leandro S. Heck, Matheus T. Moreira, David Zar, Melvin A. Breuer, Ney Laert Vilar Calazans, Peter A. Beerel	Testable MUTEX Design.	IEEE Trans. Circuits Syst. I Regul. Pap.	2016	DBLP DOI BibTeX RDF
25	Zhuo Deng, Sinisa Todorovic, Longin Jan Latecki	Semantic Segmentation of RGBD Images with Mutex Constraints.	ICCV	2015	DBLP DOI BibTeX RDF
25	John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim	Verifying Opacity of a Transactional Mutex Lock.	FM	2015	DBLP DOI BibTeX RDF
25	Huazhu Fu, Dong Xu 0001, Stephen Lin 0001, Jiang Liu 0001	Object-based RGBD image co-segmentation with mutex constraint.	CVPR	2015	DBLP DOI BibTeX RDF
25	Johan Grande, Gérard Boudol, Manuel Serrano	Jthread, a deadlock-free mutex library.	PPDP	2015	DBLP DOI BibTeX RDF
25	Bartolomeo Montrucchio, Maurizio Rebaudengo, Alejandro David Velasco	Software-implemented fault injection in operating system kernel mutex data structure.	LASCAS	2014	DBLP DOI BibTeX RDF
25	Mehdi Sadeqi, Robert C. Holte, Sandra Zilles	A Comparison of h 2 and MMM for Mutex Pair Detection Applied to Pattern Databases.	Canadian AI	2014	DBLP DOI BibTeX RDF
25	Anirban Roy, Sinisa Todorovic	Scene Labeling Using Beam Search under Mutex Constraints.	CVPR	2014	DBLP DOI BibTeX RDF
25	Jetty Kleijn, Maciej Koutny	Mutex Causality in Processes and Traces of General Elementary Nets.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
25	Pavel Surynek	Mutex reasoning in cooperative path finding modeled as propositional satisfiability.	IROS	2013	DBLP DOI BibTeX RDF
25	Mehdi Sadeqi, Robert C. Holte, Sandra Zilles	Using Coarse State Space Abstractions to Detect Mutex Pairs.	SARA	2013	DBLP BibTeX RDF
25	Mehdi Sadeqi, Robert C. Holte, Sandra Zilles	Detecting Mutex Pairs in State Spaces by Sampling.	Australasian Conference on Artificial Intelligence	2013	DBLP DOI BibTeX RDF
25	Guoqiang Li 0001, Xiaojuan Cai, Shoji Yuen	Modeling and Analysis of Real-Time Systems with Mutex Components.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
25	Prasad Jayanti, Zhiyu Liu	Abortable Reader-Writer Locks Are No More Complex Than Abortable Mutex Locks.	DISC	2012	DBLP DOI BibTeX RDF
25	Vincent Mirian, Paul Chow	Managing mutex variables in a cache-coherent shared-memory system for FPGAs.	FPT	2012	DBLP DOI BibTeX RDF
25	Tianyang Ma, Longin Jan Latecki	Maximum weight cliques with mutex constraints for video object segmentation.	CVPR	2012	DBLP DOI BibTeX RDF
25	Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Automated Analysis of MUTEX Algorithms with FASE	GandALF	2011	DBLP DOI BibTeX RDF
25	Jetty Kleijn, Maciej Koutny	The Mutex Paradigm of Concurrency.	Petri Nets	2011	DBLP DOI BibTeX RDF
25	Björn B. Brandenburg, James H. Anderson	Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks.	EMSOFT	2011	DBLP DOI BibTeX RDF
25	Luke Dalessandro, David Dice, Michael L. Scott, Nir Shavit, Michael F. Spear	Transactional Mutex Locks.	Euro-Par (2)	2010	DBLP DOI BibTeX RDF
25	Guoqiang Li 0001, Xiaojuan Cai, Shoji Yuen	Modeling and analysis of real -time systems with mutex components.	IPDPS Workshops	2010	DBLP DOI BibTeX RDF
25	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Liveness of a mutex algorithm in a fair process algebra.	Acta Informatica	2009	DBLP DOI BibTeX RDF
25	Swathi Ramasahayam, M. B. Srinivas	All Digital Duty Cycle Correction Circuit in 90nm Based on Mutex.	ISVLSI	2009	DBLP DOI BibTeX RDF
25	Pavel Surynek, Roman Barták	Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search.	FLAIRS	2007	DBLP BibTeX RDF
25	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Checking a Mutex Algorithm in a Process Algebra with Fairness.	CONCUR	2006	DBLP DOI BibTeX RDF
25	Walter Vogler	Efficiency of asynchronous systems, read arcs, and the MUTEX-problem.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
25	Ekkart Kindler, Rolf Walter	Mutex Needs Fairness.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
25	Ekkart Kindler, Rolf Walter	Message passing mutex.	STRICT	1995	DBLP DOI BibTeX RDF
17	Rudolf Fleischer, Xi Wu 0001, Liwei Yuan	Experimental Study of FPT Algorithms for the Directed Feedback Vertex Set Problem.	ESA	2009	DBLP DOI BibTeX RDF
17	Ryan Johnson 0001, Manos Athanassoulis, Radu Stoica, Anastasia Ailamaki	A new look at the roles of spinning and blocking.	DaMoN	2009	DBLP DOI BibTeX RDF
17	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
17	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Time and Fairness in a Process Algebra with Non-blocking Reading.	SOFSEM	2009	DBLP DOI BibTeX RDF
17	Yossi Lev, Victor Luchangco, Marek Olszewski	Scalable reader-writer locks.	SPAA	2009	DBLP DOI BibTeX RDF	reader-writer lock, snzi, scalable, synchronization
17	Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming	Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments.	SOFTVIS	2008	DBLP DOI BibTeX RDF	concurrency and synchronization, UML, empirical evaluation
17	Mark H. Nodine, Craig M. Files	A Mature Methodology for Implementing Multi-Valued Logic in Silicon.	ISMVL	2008	DBLP DOI BibTeX RDF	one-hot encoding, 1-of-N encoding, domino logic, null value
17	Chun Cao, Jiannong Cao 0001, Xiaoxing Ma, Jian Lü 0001	A Mutual Exclusion Algorithm for Mobile Agents-Based Applications.	ISPA	2007	DBLP DOI BibTeX RDF
17	Pavel Surynek	A Global Filtration for Satisfying Goals in Mutual Exclusion Networks.	CSCLP	2007	DBLP DOI BibTeX RDF	global filtration, mutual exclusion network, search
17	Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Active Replication of Multithreaded Applications.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	Fault tolerance, replication, multithreading, fault injection, nondeterminism
17	Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg	McRT-STM: a high performance software transactional memory system for a multi-core runtime.	PPoPP	2006	DBLP DOI BibTeX RDF	atomic constructs, two-phase locking and read-versioning, software transactional memory, runtime environment
17	Hans P. Reiser, Jörg Domaschka, Franz J. Hauck, Rüdiger Kapitza, Wolfgang Schröder-Preikschat	Consistent Replication of Multithreaded Distributed Objects.	SRDS	2006	DBLP DOI BibTeX RDF
17	Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar	Code aware resource management.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, deadlock avoidance, code analysis
17	Li Liu 0001, Yi Yang 0017, Wanbing Shi, Wumeng Lin, Lian Li 0003	A Dynamic Clustering Heuristic for Jobs Scheduling on Grid Computing Systems.	SKG	2005	DBLP DOI BibTeX RDF