Search results for "deadlocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Joaquin Ezpeleta, Fernando García-Vallés, José Manuel Colom	A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.	ICATPN	1998	DBLP DOI BibTeX RDF
9	Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni	Robust Asynchronous Protocols Are Finite-State.	ICALP	1998	DBLP DOI BibTeX RDF
9	Vladimir Castro Alves, Felipe M. G. França, Edson do Prado Granja	A BIST Scheme for Asynchronous Logic.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
9	Ali E. Abdallah	A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes.	Euro-Par	1998	DBLP DOI BibTeX RDF
9	Todd A. Anderson 0001, Yuri Breitbart, Henry F. Korth, Avishai Wool	Replication, Consistency, and Practicality: Are These Mutually Exclusive?	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
9	Robert Allen, David Garlan	Formal Modeling and Analysis of the HLA Component Integration Standard.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	component integration standards, protocol families, software architecture, formal specification, component-based software
9	Claudio Delrieux	Nonmonotonic Reasoning under Uncertain Evidence.	AIMSA	1998	DBLP DOI BibTeX RDF
9	Bettina Kemme, Gustavo Alonso	A Suite of Database Replication Protocols based on Group Communication Primitives.	ICDCS	1998	DBLP DOI BibTeX RDF	Performance Evaluation, Distributed Databases, Replication, Transactions, Group Communication
9	Claudio Casetti, Emilio Leonardi, Fabio Neri, Cosimo Anglano	Multicasting at the Host Interface Level in Wormhole Networks.	ICNP	1998	DBLP DOI BibTeX RDF
9	Carlos L. Lück	Self-Motion Representation and Global Path Planning Optimization for Redundant Manipulators through Topology-Based Discretization.	J. Intell. Robotic Syst.	1997	DBLP DOI BibTeX RDF	self-motion, mapping, topology, redundancy, path planning, discretization
9	Ausif Mahmood, Donald J. Lynch, Roger B. Shaffer	Optimally Adaptive, Minimum-Distance, Circuit-Switched Routing in Hypercubes.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	parallel processing, interconnection networks, hypercube, routing algorithms, adaptive routing, k-ary n-cube, circuit switched
9	Pedro López 0001, Juan-Miguel Martínez 0001, José Duato, Fabrizio Petrini	On the Reduction of Deadlock Frequency by Limiting Message Injection in Wormhole Networks.	PCRCW	1997	DBLP DOI BibTeX RDF
9	Patrice Godefroid	VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software.	CAV	1997	DBLP DOI BibTeX RDF
9	Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori	A Transformation System for CLP with Dynamic Scheduling and CCP.	PEPM	1997	DBLP DOI BibTeX RDF	concurrent constraint logic programming, transformation, deadlock, coroutining
9	Albert John Camilleri	A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor.	TPHOLs	1997	DBLP DOI BibTeX RDF
9	Fernando de Ferreira Rezende, Theo Härder, Andreas Gloeckner, Jörg Lutze	Detection Arcs for Deadlock Management in Nested Transactions and their Performance.	BNCOD	1997	DBLP DOI BibTeX RDF
9	Jun-Cheol Park, Raymond E. Miller	A Compositional Approach for Designing Multifunction Time-Dependent Protocols.	ICNP	1997	DBLP DOI BibTeX RDF
9	Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri	An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking
9	José Ramón González de Mendívil, Federico Fariña, Jesús E. Villadangos, José Ramón Garitagoitia	Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm.	PDP	1996	DBLP DOI BibTeX RDF	safe distributed deadlock resolution algorithm, liveness conditions, strong safety condition, distributed algorithms, concurrency control, system recovery, software fault tolerance
9	Kunihiko Hiraishi	Reducted State Space Representation for Unbounded Vector State Spaces.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
9	Mario Gerla, Prasasth Palnati, Simon Walton	Multicasting Protocols for High-Speed, Wormhole-Routing Local Area Networks.	SIGCOMM	1996	DBLP DOI BibTeX RDF
9	Edwin Naroska, Uwe Schwiegelshohn	A New Scheduling Method for Parallel Discrete-Event Simulation.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
9	Ansgar Brüll, Herbert Kuchen	TPascal - A Language for Task Parallel Programming.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
9	Jim Gray 0001, Pat Helland, Patrick E. O'Neil, Dennis E. Shasha	The Dangers of Replication and a Solution.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
9	Robert W. Horst	ServerNet Deadlock Avoidance and Fractahedral Topologies.	IPPS	1996	DBLP DOI BibTeX RDF	scalable topologies, fractahedral topologies, maximum link contention, 6-port ServerNet routers, performance evaluation, concurrency control, hypercube, mesh, multistage interconnection networks, network routing, deadlock avoidance, multistage networks, deadlock-free
9	Anjan K. Venkatramani, Timothy Mark Pinkston, José Duato	Generalized Theory for Deadlock-Free Adaptive Wormhole Routing and its Application to Disha Concurrent.	IPPS	1996	DBLP DOI BibTeX RDF	deadlock-free adaptive wormhole routing, Disha Concurrent, central buffers, sequential recovery, resource cost, mutual exclusive access, deadlock-free lane, tree-based networks, performance evaluation, parallel architectures, fault tolerant computing, concurrency control, multiprocessor interconnection networks, multiprocessor interconnection networks, network routing, system recovery, edge, Token, Hamiltonian path, deadlock recovery, k-ary n-cube networks
9	Prasasth Palnati, Mario Gerla, Emilio Leonardi	Deadlock-free routing in an optical interconnect for high-speed wormhole routing networks.	ICPADS	1996	DBLP DOI BibTeX RDF	high-speed wormhole routing networks, Supercomputer SuperNet, two-level hierarchical high-speed network, electronic mesh fabric, WDM optical backbone network, metropolitan area, campus area, backpressure hop-by-hop flow control mechanism, shufflenet multihop virtual topology, physical channels, up/down deadlock free routing scheme, bidirectional shufflenet, optical backbone, multiprocessor interconnection networks, network routing, virtual channels, wavelength division multiplexing, optical interconnections, optical interconnect, deadlock-free routing, deadlock prevention
9	Gérard Boudol, Carolina Lavatelli	Full Abstraction for Lambda Calculus with Resources and Convergence Testing.	CAAP	1996	DBLP DOI BibTeX RDF	intersection type systems, calculus, full abstraction
9	Brian Neil Levine, J. J. Garcia-Luna-Aceves	A Comparison of Known Classes of Reliable Multicast Protocols.	ICNP	1996	DBLP DOI BibTeX RDF
9	Carolina Lavatelli	Algebraic Interpretation of Lambda Calculus with Resources.	CONCUR	1996	DBLP DOI BibTeX RDF
9	Akio Nakata, Teruo Higashino, Kenichi Taniguchi	Protocol synthesis from timed and structured specifications.	ICNP	1995	DBLP DOI BibTeX RDF	LOTOS/T+, Presburger formulas, parallelism, protocols, specification languages, synchronisation, interruption, time-constraints, service specifications, protocol specifications, bisimulation equivalent
9	Shigekazu Inohara, Yoji Shigehata, Keitaro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Takashi Masuda	Page-based optimistic concurrency control for memory-mapped persistent object systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	page server, page-grain environment, optimistic schemes, distributed cooperative applications, distributed computers, groupware, distributed processing, distributed databases, concurrency control, concurrency control, object-oriented databases, cooperative work, two-phase locking, optimistic concurrency control, read-only transactions, memory-mapped, paged storage, timestamp ordering, persistent data structures
9	Carl I. Birkinshaw, Peter R. Croll	Modelling the client-server behaviour of parallel real-time systems using Petri nets.	HICSS (2)	1995	DBLP DOI BibTeX RDF	client-server behaviour modelling, parallel real-time systems, communication behaviour, potential livelock, client-server behaviour graph, real-time systems, computational complexity, parallel programming, Petri nets, Petri nets, parallel machines, deadlock, client-server systems, hard real-time system, timeliness, communication structure, state explosion problem
9	Didier Buchs, C. Buffard, Pascal Racloz	Modeling and Validation of Tasks with Algebraic Structured Nets.	Ada-Europe	1995	DBLP DOI BibTeX RDF	protected type, CO-OPN, Petri net, Ada, concurrency, abstract data type, task
9	Antti Valmari	Compositional Analysis with Place-Bordered Subnets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
9	Kimmo Varpaaniemi	On Combining the Stubborn Set Method with the Sleep Set Method.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
9	Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf	Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
9	Mahesh Girkar, Robert Moll	New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
9	Stephen Gilmore, Jane Hillston	The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
9	Abhijit Chaudhury, Dan C. Marinescu, Andrew B. Whinston	Net-Based Computational Models of Knowledge-Processing Systems.	IEEE Expert	1993	DBLP DOI BibTeX RDF
9	Steven M. German, A. Prasad Sistla	Reasoning about Systems with Many Processes.	J. ACM	1992	DBLP DOI BibTeX RDF
9	Kamel Barkaoui, Michel Minoux	A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
9	Jörg Desel	A Proof of the Rank Theorem for Extended Free Choice Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	free choice nets - analysis, structure and behaviour of nets
9	Konstantin Shteimann, Dror G. Feitelson, Larry Rudolph, Iaakov Exman	Envelopes in Adaptive Local Queues for MIMD Load Balancing.	CONPAR	1992	DBLP DOI BibTeX RDF	envlopes, load balancing, shared memory, granularity, MIMD, run-time systems
9	Roope Kaivola, Antti Valmari	The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.	CONCUR	1992	DBLP DOI BibTeX RDF
9	Antonio Brogi, Paolo Ciancarini	The Concurrent Language, Shared Prolog.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	languages for distributed programming, metainterpretation, parallel programming, logic programming, distributed programming, transition systems, blackboard
9	Patrice Godefroid, Pierre Wolper	Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.	CAV	1991	DBLP DOI BibTeX RDF
9	Francis Chi-Moon Lau, S. W. Lau	Propagating buffer: a new approach to deadlock freedom in store-and-forward networks.	SPDP	1991	DBLP DOI BibTeX RDF
9	Javier Esparza, Manuel Silva Suárez	Compositional Synthesis of Live and Bounded Free Choice Petri Nets.	CONCUR	1991	DBLP DOI BibTeX RDF	Free Choice nets, compositional synthesis, Petri nets, liveness, boundedness
9	Micha Hofri	Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example.	ACM SIGOPS Oper. Syst. Rev.	1990	DBLP DOI BibTeX RDF
9	Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper	Adding Liveness Properties to Coupled Finite-State Machines.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
9	Partha Dasgupta, Zvi M. Kedem	The Five Color Concurrency Control Protocol: Non-Two-Phase Locking in General Databases.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF
9	Maurizio Gabbrielli, Giorgio Levi	Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.	ALP	1990	DBLP DOI BibTeX RDF
9	Kunwarjit S. Bagga, Frank W. Owens	On Some Classes of Petri Nets (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
9	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
9	Yuri Breitbart, Abraham Silberschatz, Glenn R. Thompson	Reliable Transaction Management in a Multidatabase System.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
9	T. F. Leibfried Jr.	A deadlock Detection and Recovery Algorithm Using the Formalism of a Directed Graph Matrix.	ACM SIGOPS Oper. Syst. Rev.	1989	DBLP DOI BibTeX RDF
9	Reuven Cohen, Adrian Segall	An Efficient Reliable Ring Protocol.	WDAG	1989	DBLP DOI BibTeX RDF
9	Lui Sha, Ragunathan Rajkumar, John P. Lehoczky	Concurrency Control for Distributed Real-Time Databases.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF
9	Bin Jiang	Deadlock Detection is Really Cheap.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF
9	Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi	An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	interactive protocol synthesis algorithm, global state transition graph, global state transition graph, deadlock avoidance rules, complete reception, protocols, graph theory, finite-state machines, finite automata, buffer overflow, production rules, interactive programming, deadlock freeness
9	Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu	A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	transaction controller, distributed processing, program verification, transaction processing, transaction processing, programming theory, system recovery, communicating sequential processes, correctness proof, distributed deadlock detection
9	Maciej Koutny	Adequacy-Preserving Transformations of COSY Path Programs.	Concurrency	1988	DBLP DOI BibTeX RDF
9	Siamak Arya, Blaine Gaither	Parallel algorithm development workbench.	SC	1988	DBLP DOI BibTeX RDF
9	Ugur Halici, Asuman Dogac	A Method for Concurrency Control in Distributed DBMSs: Permission Test Method.	SIGMOD Rec.	1987	DBLP DOI BibTeX RDF
9	Pierpaolo Degano, Ugo Montanari	A model for distributed systems based on graph rewriting.	J. ACM	1987	DBLP DOI BibTeX RDF
9	C. P. Wang, Victor O. K. Li	The Precedence-Assignment Model for Distributed Database Concurrency Control Algorithms.	PODS	1987	DBLP DOI BibTeX RDF
9	Dushan Z. Badal	The Distributed Deadlock Detection Algorithm.	ACM Trans. Comput. Syst.	1986	DBLP DOI BibTeX RDF
9	Ahmed K. Elmagarmid	A Survey of Distributed Deadlock Algorithms.	SIGMOD Rec.	1986	DBLP DOI BibTeX RDF
9	Phillip B. Gibbons, Steven S. Muchnick	Efficient instruction scheduling for a pipelined architecture.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
9	Israel Cidon, Jeffrey M. Jaffe	Local distributed deadlock detection by knot detection.	SIGCOMM	1986	DBLP DOI BibTeX RDF
9	William A. Massey	A Probabilistic Analysis of a Database System.	SIGMETRICS	1986	DBLP DOI BibTeX RDF
9	Paul G. Spirakis	The Parallel Complexity of Deadlock Detection.	MFCS	1986	DBLP DOI BibTeX RDF
9	Steven S. Muchnick, Phillip B. Gibbons	Efficient instruction scheduling for a pipelined architecture (with retrospective)	Best of PLDI	1986	DBLP DOI BibTeX RDF
9	Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam	A Discipline for Constructing Multiphase Communication Protocols	ACM Trans. Comput. Syst.	1985	DBLP DOI BibTeX RDF
9	Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam	An exercise in constructing multi-phase communication protocols.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF
9	Rakesh Agrawal 0001, Michael J. Carey 0001, David J. DeWitt	Deadlock Detection is Cheap.	SIGMOD Rec.	1983	DBLP DOI BibTeX RDF
9	Bruce G. Lindsay 0001, Laura M. Haas, C. Mohan 0001, Paul F. Wilms, Robert A. Yost	Computation & Communication in R*: A Distributed Database Manager (Extended Abstract). (long version: ACM Trans. Comput. Syst. 2(1): 24-38(1984))	SOSP	1983	DBLP DOI BibTeX RDF
9	Ron Obermarck	Distributed Deadlock Detection Algorithm.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF
9	Joseph Sifakis	Structural Properties of Petri Nets.	MFCS	1978	DBLP DOI BibTeX RDF
9	Mohamed G. Gouda	A Hierarchial Controller for Concurrent Accessing of Distributed Databases.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF
9	David B. Lomet	A Practical Deadlock Avoidance Algorithm for Data Base Systems.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF	data base systems, resource allocation, operating systems, deadlock, multiprocessing
9	Rudolf Munz, Gunter Krenz	Concurrency in Database Systems - A Simulation Study.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF
9	Horst F. Wedde	Lose Kopplung in Informationssystemen.	GI Jahrestagung	1973	DBLP DOI BibTeX RDF