Search results for "mutual-exclusion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Yang Zhao, John Boyland	Assuring Lock Usage in Multithreaded Programs with Fractional Permissions.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
12	Nels E. Beckman	Modular typestate checking in concurrent Java programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	Java, concurrency, static analysis, typestate
12	Yin Wang 0001, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke	The theory of deadlock avoidance via discrete control.	POPL	2009	DBLP DOI BibTeX RDF	discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming
12	Siak Chuan Tan, Jinglan Zhang	Dynamic lock synchronisation for collaborative 3D applications.	MoMM	2009	DBLP DOI BibTeX RDF	collaboration, mobile devices, multimodal, synchronisation, 3D
12	Jean-Michel Hélary	Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement!	DISC	2009	DBLP DOI BibTeX RDF
12	Harshit J. Shah, R. K. Shyamasundar, Pradeep Varma	Concurrent SSA for general barrier-synchronized parallel programs.	IPDPS	2009	DBLP DOI BibTeX RDF
12	Haris Volos 0001, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy	NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems.	ECOOP	2009	DBLP DOI BibTeX RDF
12	Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro	Modeling Concurrent Systems with Shared Resources.	FMICS	2009	DBLP DOI BibTeX RDF	Verification, Concurrency, Validation, Shared resource
12	Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali	Towards Safe Design of Synchronous Bus Protocols in Event-B.	SBMF	2009	DBLP DOI BibTeX RDF	synchronous systems, Event-B, parameterized systems, bus protocols
12	Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer	An annotation assistant for interactive debugging of programs with common synchronization idioms.	PADTAD	2009	DBLP DOI BibTeX RDF	synchronization idioms, concurrent programs, atomicity
12	Marcello M. Bonsangue, Dave Clarke 0001, Alexandra Silva 0001	Automata for Context-Dependent Connectors.	COORDINATION	2009	DBLP DOI BibTeX RDF
12	Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler	Verification of Parameterized Systems with Combinations of Abstract Domains.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
12	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
12	Artur Boronat, Reiko Heckel, José Meseguer 0001	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
12	Qingchun Ren, Qilian Liang	Throughput and Energy-Efficiency-Aware Protocol for Ultrawideband Communication in Wireless Sensor Networks: A Cross-Layer Approach.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	wireless communication, Network Protocols, Access schemes
12	Anup Kumar Bandyopadhyay	Weakest precondition based verification tool that models spatial ordering.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	spatial ordering, distributed systems, correctness, weakest precondition
12	Luigi Piroddi, Roberto Cordone, Ivano Fumagalli	Selective Siphon Control for Deadlock Prevention in Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
12	Michael M. Zavlanos, George J. Pappas	Dynamic Assignment in Distributed Motion Planning With Local Coordination.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
12	Brijesh Dongol, Arjan J. Mooij	Streamlining progress-based derivations of concurrent programs.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Mathematical techniques, Concurrent programs, Progress, Program derivation
12	Olga Grinchtein, Martin Leucker	Network invariants for real-time systems.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Real-time systems, Parameterized systems, Network invariants
12	Alessandro Giua, Carla Seatzu	Modeling and Supervisory Control of Railway Networks Using Petri Nets.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
12	Michael Sammeth, Gabriel Valiente, Roderic Guigó	Bubbles: Alternative Splicing Events of Arbitrary Dimension in Splicing Graphs.	RECOMB	2008	DBLP DOI BibTeX RDF	exon-intron structure, splicing variation, alternative splicing event, expressed sequence tags, high-throughput sequencing, parallel sequencing, galled network, directed acyclic graph, bubble, blob
12	David Herrero Pérez, Humberto Martínez Barberá	Decentralized coordination of autonomous AGVs in flexible manufacturing systems.	IROS	2008	DBLP DOI BibTeX RDF
12	Yu David Liu, Xiaoqi Lu, Scott F. Smith 0001	Coqa: Concurrent Objects with Quantized Atomicity.	CC	2008	DBLP DOI BibTeX RDF
12	Sandip Dey	Solving Classic Problems in Distributed Systems: The Smart-Message Paradigm.	ICDCN	2008	DBLP DOI BibTeX RDF
12	Christian Boulinier, Franck Petit	Self-stabilizing wavelets and rho-hops coordination.	IPDPS	2008	DBLP DOI BibTeX RDF
12	Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon 0002, Tatiana Shpeisman, Suresh Jagannathan	A Uniform Transactional Execution Environment for Java.	ECOOP	2008	DBLP DOI BibTeX RDF
12	Shinya Umeno	Event order abstraction for parametric real-time system verification.	EMSOFT	2008	DBLP DOI BibTeX RDF	automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification
12	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
12	Sabrina Tollari, Marcin Detyniecki, Ali Fakeri-Tabrizi, Christophe Marsala, Massih-Reza Amini, Patrick Gallinari	Using Visual Concepts and Fast Visual Diversity to Improve Image Retrieval.	CLEF	2008	DBLP DOI BibTeX RDF
12	Xiaoning Ma, Jiancheng Fang, Wei Sheng	Development of an Onboard Software System for Mini Unmanned Aerial Vehicle Based on VxWorks.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	VxWorks, flight software, shared memory, unmanned aerial vehicle (UAV), inter-process communication
12	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.	TACAS	2008	DBLP DOI BibTeX RDF
12	Jan Schäfer 0002, Arnd Poetzsch-Heffter	CoBoxes: Unifying Active Objects and Structured Heaps.	FMOODS	2008	DBLP DOI BibTeX RDF
12	Chao Yan 0001, Mark R. Greenstreet	Verifying an Arbiter Circuit.	FMCAD	2008	DBLP DOI BibTeX RDF
12	Claude Évéquoz	Non-Blocking Concurrent FIFO Queues with Single Word Synchronization Primitives.	ICPP	2008	DBLP DOI BibTeX RDF
12	Jiaqi Zhang, Zhiyi Huang 0001, Wenguang Chen, Qihang Huang, Weimin Zheng	Maotai: View-Oriented Parallel Programming on CMT Processors.	ICPP	2008	DBLP DOI BibTeX RDF
12	Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine	Handling Parameterized Systems with Non-atomic Global Conditions.	VMCAI	2008	DBLP DOI BibTeX RDF
12	Antti Siirtola, Michal Valenta	Verifying Parameterized taDOM+ Lock Managers.	SOFSEM	2008	DBLP DOI BibTeX RDF	model-checking, Verification, case study, XML databases, parameterized systems
12	Claude Évéquoz	Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Concurrent queue, load-linked/store-conditional (LL/SC), lock-free, compare-and-swap (CAS), non-blocking
12	Eric Goubault, Emmanuel Haucourt	Components of the Fundamental Category II.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40
12	Victor Khomenko, Maciej Koutny	Verification of bounded Petri nets using integer programming.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming
12	Alper Sen 0001, Vijay K. Garg	Formal Verification of Simulation Traces Using Computation Slicing.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Simulation, formal verification, temporal logic, partial order, runtime verification, lattice theory
12	Mehmet Hakan Karaata, Mohamed G. Gouda	A Stabilizing Deactivation/Reactivation Protocol.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Deactivation/reactivation, fault tolerance, sensor networks, stabilization, network protocols
12	Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin	Model Checking Safety-Critical Systems Using Safecharts.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Safecharts, extended timed automaton, model checking, Safety-critical systems
12	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Ordering of events in two-process concurrent system.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
12	Eun-Young Kang 0001, Stephan Merz	Predicate diagrams for the verification of real-time systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF
12	Evgeny Bolotin, Zvika Guz, Israel Cidon, Ran Ginosar, Avinoam Kolodny	The Power of Priority: NoC Based Distributed Cache Coherency.	NOCS	2007	DBLP DOI BibTeX RDF
12	Guang R. Gao	On Parallel Models of Computation.	NPC	2007	DBLP DOI BibTeX RDF
12	K. H. Kim, Juan A. Colmenares, Kee-Wook Rim	Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads.	ISORC	2007	DBLP DOI BibTeX RDF	event message communication, producer-consumer, concurrent programming, real-time computing systems, non-blocking algorithms
12	Michael M. Zavlanos, George J. Pappas	Sensor-Based Dynamic Assignment in Distributed Motion Planning.	ICRA	2007	DBLP DOI BibTeX RDF
12	Christian Koehler 0001, Alexander Lazovik, Farhad Arbab	ReoService: Coordination Modeling Tool.	ICSOC	2007	DBLP DOI BibTeX RDF
12	Tom Ridge	Operational Reasoning for Concurrent Caml Programs and Weak Memory Models.	TPHOLs	2007	DBLP DOI BibTeX RDF
12	Mark B. Josephs	Gate-level modelling and verification of asynchronous circuits using CSPM and FDR.	ASYNC	2007	DBLP DOI BibTeX RDF
12	Michael M. Zavlanos, George J. Pappas	Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games.	HSCC	2007	DBLP DOI BibTeX RDF
12	Vijay A. Saraswat	X10: Concurrent Programming for Modern Architectures.	APLAS	2007	DBLP DOI BibTeX RDF
12	Mehdi EffatParvar, MohammadReza EffatParvar, Akbar Bemana, Mehdi Dehghan 0001	Determining a Central Controlling Processor with Fault Tolerant Method in Distributed System.	ITNG	2007	DBLP DOI BibTeX RDF
12	Min Li 0029, Shuming Gao, Jerry Y. H. Fuh, Yunfeng Zhang	A Fine Granular Concurrency Control Mechanism for a Peer-to-Peer Cooperative Design Environment.	CSCWD	2007	DBLP DOI BibTeX RDF
12	Zhiyi Huang 0001, Wenguang Chen	Revisit of View-Oriented Parallel Programming.	CCGRID	2007	DBLP DOI BibTeX RDF
12	Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy A. Lynch, Calvin C. Newport	On the weakest failure detector ever.	PODC	2007	DBLP DOI BibTeX RDF	wait-free impossibilities, weakest failure detector ever, failure detectors, set-agreement
12	Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine	Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).	TACAS	2007	DBLP DOI BibTeX RDF
12	Maria Gradinariu, Sébastien Tixeuil	Conflict Managers for Self-stabilization without Fairness Assumption.	ICDCS	2007	DBLP DOI BibTeX RDF
12	Francisco Afonso, Carlos A. Silva 0002, Sergio Montenegro 0001, Adriano Tavares	Applying aspects to a real-time embedded operating system.	ACP4IS	2007	DBLP DOI BibTeX RDF	aspect oriented programming, modularization, customization
12	Jeffrey Fischer, Rupak Majumdar	Ensuring consistency in long running transactions.	ASE	2007	DBLP DOI BibTeX RDF	flow composition, set consistency, semantics, business process, transactions, compensation
12	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPoPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
12	Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun	Transactional collection classes.	PPoPP	2007	DBLP DOI BibTeX RDF	collection classes, Java, transactional memory, multiprocessor architecture
12	Adam Ponzi	Model of Cue Extraction from Distractors by Active Recall.	ICONIP (1)	2007	DBLP DOI BibTeX RDF
12	Hiroshi Wada, Junichi Suzuki, Katsuya Oba	A Feature Modeling Support for Non-Functional Constraints in Service Oriented Architecture.	IEEE SCC	2007	DBLP DOI BibTeX RDF
12	Laurent Fribourg, Stéphane Messika, Claudine Picaronny	Coupling and self-stabilization.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Fault tolerance, Markov chains, Rates of convergence, Randomized distributed algorithms
12	Scott D. Stoller, Ernie Cohen	Optimistic synchronization-based state-space reduction.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Omega algebra, Model checking, Reduction, Partial-order methods
12	Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Xuhui Li 0001	Mobile agent-enabled framework for structuring and building distributed systems on the internet.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	distributed systems, mobile agent, internet computing, deadlock detection
12	Maurice Herlihy, Fabian Kuhn, Srikanta Tirthapura, Roger Wattenhofer	Dynamic Analysis of the Arrow Distributed Protocol.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
12	Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li 0020	Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Real-time systems, energy-efficient scheduling, time/utility functions, utility accrual scheduling
12	Markus Schneider 0001, Thomas Behr	Topological relationships between complex spatial objects.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	9-intersection model, complex spatial data type, proof-by-constraint-and-drawing, topological cluster predicate, topological constraint rule, topological predicate group, Topological predicate
12	Rudolf Berghammer, Renate A. Schmidt	Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
12	Spyros A. Reveliotis, Jin Young Choi 0001	Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.	ICATPN	2006	DBLP DOI BibTeX RDF
12	Christian Engelmann, Stephen L. Scott, Chokchai Leangsuksun, Xubin (Ben) He	Active/Active Replication for Highly Available HPC System Services.	ARES	2006	DBLP DOI BibTeX RDF
12	Kazuhiro Ogata 0001, Kokichi Futatsugi	Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
12	Andrzej Goscinski, Gudula Rünger, Edgar Gabriel, Christine Morin	Topic 8: Distributed Systems and Algorithms.	Euro-Par	2006	DBLP DOI BibTeX RDF
12	Jürg Gutknecht	The Dining Philosophers Problem Revisited.	JMLC	2006	DBLP DOI BibTeX RDF
12	Ming-Hsien Tsai 0001, Bow-Yaw Wang	Modular Formalization of Reactive Modules in COQ.	ASIAN	2006	DBLP DOI BibTeX RDF
12	Tomasz Madajczak, Henryk Krawczyk	Integrating SHECS-Based Critical Sections with Hardware SMP Scheduler in TLP-CMPs.	PARELEC	2006	DBLP DOI BibTeX RDF
12	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks 0001	Existential Label Flow Inference Via CFL Reachability.	SAS	2006	DBLP DOI BibTeX RDF
12	Ruben Merz, Alaeddine El Fawal, Jean-Yves Le Boudec, Bozidar Radunovic, Jörg Widmer	The optimal MAC layer for low-power UWB is non-coordinated.	ISCAS	2006	DBLP DOI BibTeX RDF
12	Gadi Taubenfeld	Computing in the Presence of Timing Failures.	ICDCS	2006	DBLP DOI BibTeX RDF
12	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Checking a Mutex Algorithm in a Process Algebra with Fairness.	CONCUR	2006	DBLP DOI BibTeX RDF
12	Julien d'Orso, Tayssir Touili	Regular Hedge Model Checking.	IFIP TCS	2006	DBLP DOI BibTeX RDF
12	Bernd Finkbeiner, Sriram Sankaranarayanan 0001, Henny Sipma	Collecting Statistics Over Runtime Executions.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program profiling, temporal logic, specification languages, runtime verification, runtime monitoring
12	Yan Tang, Tao Wang 0004, Xiaoming Li 0001	The design and implementation of LilyTask in shared memory.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	C
12	Roberto Baldoni, Leonardo Querzoni, Antonino Virgillito, Ricardo Jiménez-Peris, Marta Patiño-Martínez	Dynamic Quorums for DHT-based P2P Networks.	NCA	2005	DBLP DOI BibTeX RDF
12	Crescenzo D'Alessandro, Delong Shang, Alexandre V. Bystrov, Alexandre Yakovlev	PSK Signalling on NoC Buses.	PATMOS	2005	DBLP DOI BibTeX RDF
12	Azzedine Boukerche, Tingxue Huang, Kaouther Abrougui	Design and Performance Evaluation of a QoS-Based Dynamic Channel Allocation Protocol for Wireless and Mobile Networks.	MASCOTS	2005	DBLP DOI BibTeX RDF
12	David Saint-Voirin, Christophe Lang, Noureddine Zerhouni	Distributed Cooperative Systems Meta-Model for Maintenance Using Petri Nets and Multi-Agent Systems.	DFMA	2005	DBLP DOI BibTeX RDF
12	Takashi Yamanoue	Sharing the Same Operation with a Large Number of Users Using P2P.	ICITA (2)	2005	DBLP DOI BibTeX RDF
12	Chaiwat Sathawornwichit, Takuya Katayama	A Parametric Model Checking Approach for Real-Time Systems Design.	APSEC	2005	DBLP DOI BibTeX RDF
12	Ryan Eccles, Blair Nonneck, Deborah A. Stacey	Exploring Parallel Programming Knowledge in the Novice.	HPCS	2005	DBLP DOI BibTeX RDF
12	Markus Schneider 0001, Thomas Behr	Topological Relationships Between Complex Lines and Complex Regions.	ER	2005	DBLP DOI BibTeX RDF	topological constraint rule, proof-by-constraint-and-drawing, complex spatial data type, 9-intersection model, Topological predicate
12	Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata	Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications.	INAP	2005	DBLP DOI BibTeX RDF
12	Marc Shapiro 0001, Idit Keidar, Felix C. Freiling, Luís E. T. Rodrigues	Topic 8 - Distributed Systems and Algorithms.	Euro-Par	2005	DBLP DOI BibTeX RDF
12	Jérémie Chalopin, Yves Métivier	A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs.	MFCS	2005	DBLP DOI BibTeX RDF
12	Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan	Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification.	CHARME	2005	DBLP DOI BibTeX RDF