Search results for "deadlocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Byung-Chul Kim, Sang-Woo Jun, Dae Joon Hwang, Yong-Kee Jun	Visualizing Potential Deadlocks in Multithreaded Programs.	PaCT	2009	DBLP DOI BibTeX RDF	potential deadlocks, lock-causality graph, visualization, debugging, multithreaded programs
3	Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati	A type system for preventing data races and deadlocks in the java virtual machine language: 1.	LCTES	2007	DBLP DOI BibTeX RDF	SafeJava, deadlocks, data races, ownership types
3	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
3	Jan Christiansen, Frank Huch	Searching for deadlocks while debugging concurrent haskell programs.	ICFP	2004	DBLP DOI BibTeX RDF	concurrent haskell, detecting deadlocks, debugging, deadlock
3	Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard	Ownership types for safe programming: preventing data races and deadlocks.	OOPSLA	2002	DBLP DOI BibTeX RDF	deadlocks, encapsulation, data races, ownership types
3	Rajendra V. Boppana, Suresh Chalasani, C. S. Raghavendra	Resource Deadlocks and Performance of Wormhole Multicast Routing Algorithms.	IEEE Trans. Parallel Distrib. Syst.	1998	DBLP DOI BibTeX RDF	Consumption channels, multicasts, routing algorithms, deadlocks, wormhole routing, multicomputers
3	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Interconnection Networks. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	deadlocks characterisation, true deadlock detection, bidirectionality, routing adaptivity, node degree, deadlock formation, routing flexibility blocked messages, resource dependencies, simulator, interconnection networks, multiprocessor interconnection networks, virtual channels, buffer size, design parameters, deadlock-free routing algorithms
3	SangKeun Lee, Chong-Sun Hwang, Won-Gyu Lee	A unified approach to global concurrency control and global deadlocks in a multidatabase environment. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	unified approach, global concurrency control, global deadlocks, multidatabase environment, multidatabase transaction management, rigid conflict serializability, global serializability, concurrency control, interleavings, sufficient condition, database operations
3	Waleed A. Muhanna	Composite Programs: Hierarchical Construction, Circularity, and Deadlocks.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	hierarchical construction, nonprocedural development environment, composite programs, input ports, output ports, coupling graph, cycle enumeration, atomic programs, deadly cycles, graph theory, graph theory, concurrency control, interfaces, programming environments, decomposition, programming theory, necessary and sufficient conditions, circularity, communication behavior, cyclic, communication deadlocks
3	Valmir C. Barbosa	Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	randomly generated systems, distributed parallel programs, unavailability, message buffers, message buffering space, buffer usage, NP-hard optimization problems, computational complexity, parallel programming, concurrency, heuristic, upper bounds, programming theory, communication channels, deadlock prevention, process execution, communication deadlocks
3	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
3	Liu Lingzhong	Comments on ``A Distributed Scheme for Detecting Communication Deadlocks''.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	communication deadlocks detection, distributed scheme, distributed processing, correctness proof
2	Na Deng, Desheng Li, Changbao Li, Junliang Chen, Chuanchang Liu	On-the-Fly Detection Approach of Control Dependency Deadlocks in BPEL.	ICWS	2011	DBLP DOI BibTeX RDF	simple circuit, web services, directed graph, business process modeling, BPEL, deadlocks, control dependency
2	Andreas Lankes, Thomas Wild, Andreas Herkersdorf, Sören Sonntag, Helmut Reinig	Comparison of Deadlock Recovery and Avoidance Mechanisms to Approach Message Dependent Deadlocks in On-chip Networks.	NOCS	2010	DBLP DOI BibTeX RDF	message dependent deadlocks, strict ordering, Network-on-chip, deadlock avoidance, deadlock recovery
2		Deadlocks in Distributed Database Systems.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik	A randomized dynamic program analysis technique for detecting real deadlocks.	PLDI	2009	DBLP DOI BibTeX RDF	active testing, concurrency, deadlock detection, dynamic program analysis
2	Bill Mitchell	Characterizing Communication Channel Deadlocks in Sequence Diagrams.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Formal methods, Requirements Analysis, Distributed programming, Distributed networks, Protocol verification
2	Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur	Deadlocks: From Exhibiting to Healing.	RV	2008	DBLP DOI BibTeX RDF
2	Ahmed Awad, Frank Puhlmann	Structural Detection of Deadlocks in Business Process Models.	BIS	2008	DBLP DOI BibTeX RDF
2	Mathias Kohler, Andreas Schaad	Avoiding Policy-based Deadlocks in Business Processes.	ARES	2008	DBLP DOI BibTeX RDF	Security, Access Control, Business Process, Deadlock Avoidance
2	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.	MoDELS	2008	DBLP DOI BibTeX RDF	SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis
2	John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki	Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.	ASWEC	2007	DBLP DOI BibTeX RDF
2	Jonathan Billington, Bing Han	Modelling and analysing the functional behaviour of TCP's connection management procedures.	STTT	2007	DBLP DOI BibTeX RDF	TCP connection management, Termination property, Deadlocks, Coloured Petri Nets, State space analysis
2	Jingde Cheng	Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.	Ada-Europe	2006	DBLP DOI BibTeX RDF
2	Mehdi Hashemzadeh, Nacer Farajzadeh, Abolfazl Toroghi Haghighat	Optimal Detection and Resolution of Distributed Deadlocks in the Generalized Model.	PDP	2006	DBLP DOI BibTeX RDF
2	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha	Concurrent software verification with states, events, and deadlocks.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
2	Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
2	A. Wegrzyn	Parallel algorithm for computation of deadlocks and traps in Petri nets.	ETFA	2005	DBLP DOI BibTeX RDF
2	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
2	Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, Alberto Córdoba	A Safe Algorithm for Resolving OR Deadlocks.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Deadlock detection/resolution, OR request model, distributed systems, distributed algorithms
2	Mark J. Karol, S. Jamaloddin Golestani, David Lee	Prevention of deadlocks and livelocks in lossless backpressured packet networks.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	backpressure, livelock prevention, lossless networks, congestion control, deadlock prevention, bounded delay
2	Dawson R. Engler, Ken Ashcraft	RacerX: effective, static detection of race conditions and deadlocks.	SOSP	2003	DBLP DOI BibTeX RDF	deadlock detection, race detection, program checking
2	Subhash Bhalla, Masaki Hasegawa	Automatic Detection of Multi-Level Deadlocks in Distributed Transaction Management Systems.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
2	Sheng-De Wang, Pao Hwa Sui	Fault-Tolerant Routing in Two-Dimensional Mesh Networks with Less-Restricted Fault Patterns.	PRDC	2001	DBLP DOI BibTeX RDF	deadlocks, wormhole routing, Mesh networks, virtual channels, fault-tolerant routing
2	Yong Ho Song, Timothy Mark Pinkston	On Message.Dependent Deadlocks in Multiprocessor/Multicomputer Systems.	HiPC	2000	DBLP DOI BibTeX RDF
2	Johann Blieberger, Bernd Burgstaller, Bernhard Scholz	Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.	Ada-Europe	2000	DBLP DOI BibTeX RDF
2	Nima Kaveh	Using Model Checking to Detect Deadlocks in Distributed Object Systems.	EDO	2000	DBLP DOI BibTeX RDF	Object Middleware, Model Checking, Software Architecture
2	Christopher Rouff, James L. Rash, Michael G. Hinchey	Experience Using Formal Methods for Specifying a Multi-Agent System.	ICECCS	2000	DBLP DOI BibTeX RDF	multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team
2	Klaus Havelund, Thomas Pressburger	Model Checking JAVA Programs using JAVA PathFinder.	STTT	2000	DBLP DOI BibTeX RDF	Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
2	Ajay D. Kshemkalyani, Mukesh Singhal	A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	generalized deadlock, Distributed database, replicated database, graph reduction, quorum consensus
2	Timothy Mark Pinkston, Sugath Warnakulasuriya	Characterization of Deadlocks in k-ary n-Cube Networks.	IEEE Trans. Parallel Distrib. Syst.	1999	DBLP DOI BibTeX RDF	Deadlock characterization, true fully adaptive routing, $k$-ary $n$-cube interconnection networks, deadlock detection, deadlock recovery
2	Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, José M. Bernabéu-Aubán, Gottfried Vossen	Resolving Distributed Deadlocks in the OR Request Model. (PDF / PS)	SRDS	1999	DBLP DOI BibTeX RDF
2	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Irregular Networks. (PDF / PS)	ICPP	1999	DBLP DOI BibTeX RDF	deadlock characterization, non-atomic buffer allocation, Interconnection networks, adaptive routing, irregular topology
2	Olav Lysne	Deadlock Avoidance for Switches Based on Wormhole Networks. (PDF / PS)	ICPP	1999	DBLP DOI BibTeX RDF	Inter-switch deadlocks, Interconnect networks, Wormhole routing, Deadlock avoidance, Switch fabric
2	Lisbeth Fajstrup, Eric Goubault, Martin Raußen	Detecting Deadlocks in Concurrent Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
2	Fabrizio Petrini, Marco Vanneschi	Performance Analysis of Minimal Adaptive Wormhole Routing with Time-Dependent Deadlock Recovery. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	minimal adaptive wormhole routing, potential deadlocks, performance analysis, multiprocessor interconnection networks, virtual channels, deadlock avoidance, timeout, deadlock recovery
2	Jingde Cheng, Kazuo Ushijima	Tasking Deadlocks in Ada 95 Programs and Their Detection.	Ada-Europe	1996	DBLP DOI BibTeX RDF
2	Hiroaki Higaki	Extended group communication algorithm for updating distributed programs. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	extended group communication algorithm, distributed programs updating, protocol errors, distributed application programs, protocols, distributed processing, concurrency control, deadlocks, user requirements, dynamic updating
2	Xuemin Lin, Jian Chen	An optimal deadlock resolution algorithm in multidatabase systems. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	global deadlocks, global transactions, distributed databases, concurrency control, transaction processing, transaction processing, multidatabase systems, multidatabase system, deadlock resolution
2	Andrea Clematis, Vittoria Gianuzzi	CPVM - Extending PVM for Consistent Checkpointing.	PDP	1996	DBLP DOI BibTeX RDF	CPVM, consistent checkpointing, global checkpoint-restart algorithms, job-swapping, parallel programming, software tools, concurrency control, migration, deadlocks, termination, software fault tolerance, software fault-tolerance, software libraries, software library, PVM, Parallel Virtual Machine, software portability, nonblocking
2	Antti Valmari, Konsta Karsisto, Manu Setälä	Visualisation of Reduced Abstracted Behaviour as a Design Tool.	PDP	1996	DBLP DOI BibTeX RDF	reduced abstracted behaviour visualisation, software design tool, user-friendly formal method, incorrect actions, simultaneous analysis, communication protocol development, distributed system, formal specification, distributed processing, concurrency control, feedback, transport protocols, deadlocks, data visualisation, program diagnostics, graphical representation, livelocks, graphical display, design errors
2	Azzedine Boukerche, Carl Tropper	Hierarchical schedulings of time-next-event heuristic on distributed memory machines.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	semi-global time-next-event heuristic, logical process unblocking, interprocessor deadlocks, processor cluster, queuing network simulation, one-level scheduling, parallel algorithms, concurrency control, distributed memory systems, processor scheduling, torus, heuristic programming, run time, distributed memory machines, hierarchical scheduling, shortest path algorithm, lookahead, two-level scheduling, simulation parallelism
2	Arindam Saha	A simulator for real-time parallel processing architectures.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	real-time parallel processing architectures, time-driven flit-based wormhole-routed parallel processor network simulator, user-friendly graphical user interface, prioritized queues, resource allocation policies, message priorities, average latency convergence, throughput monitoring, communication characteristics, performance, real-time systems, resource allocation, parallel architectures, graphical user interfaces, virtual machines, concurrency control, convergence, deadlocks, virtual channel, overlaps, real-time networks
2	Moreno Coli, Paolo Palazzari	An adaptive deadlock and livelock free routing algorithm.	PDP	1995	DBLP DOI BibTeX RDF	livelock free routing algorithm, store and forward deadlocks, interprocessor network systems, buffered packet switched communications, DL free routing, nonadaptive routing modality, interconnection network bandwidth, communication topology, adaptive DL free routing, network buffers, casual movement, transputer based parallel machine, fault tolerant computing, multiprocessor interconnection networks, packet switching, adaptive systems, performance tests, deadlock free routing, fault tolerance capabilities
2	Ajay D. Kshemkalyani, Mukesh Singhal	Efficient Detection and Resolution of Generalized Distributed Deadlocks.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	generalized distributed deadlock resolution, one-phase algorithm, concurrent sweeps, generalized distributed deadlock detection, outward sweep, distributed wait-for-graph, inward sweep, distributed snapshot, algorithm correctness, worst-case message complexity, leaf nodes, distributed system, computational complexity, concurrency control, directed graphs, directed graph, time complexity, messages, operating systems (computers), graph reduction
2	Kamel Barkaoui, Claude Dutheillet, Serge Haddad	An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
2	Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian	Distributed Concurrency Control Based on Limited Wait-Depth.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	Wait-DepthLimited, Wound-Wait CC, distributed 2PL, limited wait-depth, distributedalgorithms, performance evaluation, performance evaluation, distributed algorithms, distributed databases, distributed databases, concurrency control, concurrency control, distributed, transaction processing, transaction processing, deadlocks, database theory, two-phase locking
2	Jingde Cheng, Kazuo Ushijima	Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.	Ada-Europe	1991	DBLP DOI BibTeX RDF
2	Berthold Kröger, Reinhard Lüling, Burkhard Monien, Oliver Vornberger	An Improved Algorithm to Detect Communication Deadlocks in Distributed Systems.	WDAG	1990	DBLP DOI BibTeX RDF
2	Leo Yuhsiang Liu, R. K. Shyamasundar	Static Analysis of Real-Time Distributed Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors
2	In Kyung Ryu, Alexander Thomasian	Performance Analysis of Dynamic Locking with the No-Waiting Policy.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	dynamic locking, no-waiting policy, blocking delays, cyclic restarts, throughput characteristic, read-only query, time-stamp ordering method, performance evaluation, performance analysis, concurrency control, concurrency control, transaction processing, deadlocks, transaction processing system, update transactions
2	Marina Roesler, Walter A. Burkhard	Resolution of Deadlocks in Object-Oriented Distributed Systems.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	worst time complexity, object-oriented distributed systems, semantic lock model, message traffic, average time complexities, distributed algorithm, distributed databases, concurrency control, deadlocks resolution, dependence relations, concurrency control algorithms
2	Larry Soulé, Anoop Gupta	Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation.	DAC	1989	DBLP DOI BibTeX RDF
2	Ugur Halici, Asuman Dogac	Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	concurrent transaction execution, distributed database management systems, ordering by serialization numbers, OSN method, certifier model, time-interval techniques, short-term locks, standard transaction execution policy, log classification, concurrency, distributed databases, distributed databases, concurrency control, concurrency control, deadlocks, serializability, complexity analysis, two-phase locking, distributed scheduler, timestamp ordering
2	Bo Sanden	Correction to ``The Case for Electric Design of Real-Time Software''.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	communication deadlocks detection, distributed scheme, distributed processing, correctness proof
2	Marta Rukoz	A Distributed Solution for Detecting Deadlock in Distributed Nested Transaction Systems.	WDAG	1989	DBLP DOI BibTeX RDF	distributed computation, distributed databases, deadlocks, distributed transactions, nested transactions
2	Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe	An Acyclic Expansion Algorithm for Fast Protocol Validation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	acyclic expansion algorithm, protocol errors, system deadlocks, channel overflows, protocols, finite state machines, program verification, finite automata, system recovery, state transitions, computer communications software, protocol validation, communications software
2	Tony T. Lee, Ming-Yee Lai	A Relational Algebraic Approach to Protocol Verification.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES
2	N. Natarajan	A Distributed Algorithm for Detecting Communication Deadlocks.	FSTTCS	1984	DBLP DOI BibTeX RDF
2	Joseph Hellerstein, Wesley W. Chu	Some potential deadlocks in layered communications architectures.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
2	Koji Nezu	System deadlocks resolution.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
1	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems.	IEEE Trans. Software Eng.	2012	DBLP DOI BibTeX RDF
1	Roy H. Campbell	Deadlocks.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Elena Giachino, Cosimo Laneve	Analysis of Deadlocks in Object Groups.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
1	Ian Pye	Locks, deadlocks and abstractions: experiences with multi-threaded programming at CloudFlare, Inc.	SPLASH Workshops	2011	DBLP DOI BibTeX RDF
1	Hari K. Pyla	Composing locks by decomposing deadlocks.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Wladimir Araujo, Lionel C. Briand, Yvan Labiche	On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software.	ESEM	2011	DBLP DOI BibTeX RDF
1	Nariman Mani, Vahid Garousi, Behrouz H. Far	Search-Based Testing of Multi-Agent Manufacturing Systems for Deadlocks Based on Models.	International Journal on Artificial Intelligence Tools	2010	DBLP DOI BibTeX RDF
1	P. Yvars	A Constraint Based Decision Support System for Deadlocks Resolution in Collaborative New Product Design.	Journal of Decision Systems	2010	DBLP BibTeX RDF
1	Michele Portolan, Bradford G. Van Treuren, Suresh Goyal	Scan chain securization though Open-Circuit Deadlocks.	ITC	2010	DBLP DOI BibTeX RDF
1	Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif	On Deadlocks and Fairness in Self-organizing Resource-Flow Systems.	ARCS	2010	DBLP DOI BibTeX RDF
1	Byung-Chul Kim, Yong-Kee Jun	Program Visualization for Debugging Deadlocks in Multithreaded Programs.	FGIT-ASEA	2010	DBLP DOI BibTeX RDF
1	Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli	A method to remove deadlocks in Networks-on-Chips with Wormhole flow control.	DATE	2010	DBLP BibTeX RDF
1	Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay	An effective dynamic analysis for detecting generalized deadlocks.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Robert A. Chesebrough, Ivan Turner	Parallel computing: at the interface of high school and industry.	SIGCSE	2010	DBLP DOI BibTeX RDF	intel parallel studio, threading building blocks, parallelism, concurrency, synchronization, openmp, deadlocks, reductions, domain decomposition, role playing, race conditions, critical sections, high school, task decomposition
1	Linda Dailey Paulson	Libraries Face the Challenge of Archiving Digital Material.	IEEE Computer	2010	DBLP DOI BibTeX RDF	born digital content, Dimmunix, piezoelectric, lead zirconate titanate, Alzheimer's Association, GPS, deadlocks, libraries, digital forensics, archive, Alzheimer's disease, software bugs
1	Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa	Minimal Sets of Turns for Breaking Cycles in Graphs Modeling Networks.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	turn prohibition, Routing algorithms, deadlocks, wormhole routing, livelocks
1	Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte	A randomized scheduler with probabilistic guarantees of finding bugs.	ASPLOS	2010	DBLP DOI BibTeX RDF	testing, concurrency, randomized algorithms, race conditions
1	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
1	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	PPOPP	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
1	JongSoo Park, William J. Dally	Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures.	SPAA	2010	DBLP DOI BibTeX RDF	compiler and tools for concurrent programming, green computing and power-efficient architectures, multi-core architectures, stream programming
1	Chinmay Eishan Kulkarni, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero	Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions.	PPOPP	2009	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlocks, deadlock-detection
1	Ricardo Seguel, Rik Eshuis, Paul W. P. J. Grefen	Constructing minimal protocol adaptors for service composition.	WEWST	2009	DBLP DOI BibTeX RDF	cross-organizational processes, protocol adaptor, web services, service composition, service adaptation, process integration
1	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser	Dingo: taming device drivers.	EuroSys	2009	DBLP DOI BibTeX RDF	reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance
1	Claris Castillo, George N. Rouskas, Khaled Harfoush	Resource co-allocation for large-scale distributed environments.	HPDC	2009	DBLP DOI BibTeX RDF	scheduling, advance reservations, resource co-allocation
1	Ken Hironaka, Hideo Saito, Kenjiro Taura	High performance wide-area overlay using deadlock-free routing.	HPDC	2009	DBLP DOI BibTeX RDF	grids, bandwidth, collective communication, overlays, parallel applications, deadlock-free routing
1	Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz, Matthias S. Müller	A graph based approach for MPI deadlock detection.	ICS	2009	DBLP DOI BibTeX RDF	umpire, parallel programming, deadlock detection, mpi
1	Zachary Stengel, Tevfik Bultan	Analyzing singularity channel contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	conversations, asynchronous communication, realizability
1	Fancong Zeng	Pattern-driven deadlock avoidance.	PADTAD	2009	DBLP DOI BibTeX RDF	Java, deadlock, exception, just-in-time (JIT) compilation
1	Srivatsava Daruru, Nena M. Marin, Matt Walker, Joydeep Ghosh	Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data.	KDD	2009	DBLP DOI BibTeX RDF	scalability, predictive modeling, dataflow, co-clustering