Search results for "deadlocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Jesper Larsson Träff, Joachim Worringen	Verifying Collective MPI Calls.	PVM/MPI	2004	DBLP DOI BibTeX RDF
9	Zhiwu Li 0001, Jingwei Liang, Yang Lu, Anrong Wang	A deadlock prevention method for FMS with multiple resource acquisitions.	ICARCV	2004	DBLP DOI BibTeX RDF
9	Christian Haubelt	Design Space Exploration for Distributed Hardware Reconfigurable Systems.	FPL	2004	DBLP DOI BibTeX RDF
9	Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood 0001	Using Speculation to Simplify Multiprocessor Design.	IPDPS	2004	DBLP DOI BibTeX RDF
9	Charles Lakos, Laure Petrucci	Modular Analysis of Systems Composed of Semiautonomous Subsystems.	ACSD	2004	DBLP DOI BibTeX RDF
9	Behzad Bordbar, Kozo Okano	Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.	FATES	2004	DBLP DOI BibTeX RDF
9	Jean-Michel Fourneau, David J. Nott	Mixed Routing for ROMEO Optical Burst.	ISCIS	2004	DBLP DOI BibTeX RDF
9	Yi-Sheng Huang, Jenn-Huei Lin, Chien-Nin Hsu	Comparison of deadlock prevention policies in FMS based on Petri nets siphons.	SMC (5)	2004	DBLP DOI BibTeX RDF
9	ZhiWu Li 0001, XiangFeng Zhang	A deadlock prevention approach using elementary siphons for a class of Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
9	ZhiWu Li 0001, MengChu Zhou	Some results and open problems concerning elementary siphons of Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
9	Yu Ru, Weimin Wu, Hongye Su, Jian Chu	State feedback based deadlock-free supervisor synthesis for bounded Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
9	ZhiWu Li 0001, Anrong Wang, Hua Lin	A deadlock prevention approach for FMS using siphons and the theory of regions.	SMC (6)	2004	DBLP DOI BibTeX RDF
9	Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino	A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems.	RTSS	2004	DBLP DOI BibTeX RDF	parametric model checking, real-time systems, high-level synthesis, HW/SW co-design
9	Bettina Krammer, Matthias S. Müller, Michael M. Resch	MPI Application Development Using the Analysis Tool MARMOT.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
9	Aekyung Moon, Haengrae Cho	Global Concurrency Control Using Message Ordering of Group Communication in Multidatabase Systems.	ICCSA (3)	2004	DBLP DOI BibTeX RDF
9	Venkata Praveen Guddeti	A Dynamic Restart Strategy for Randomized BT Search.	CP	2004	DBLP DOI BibTeX RDF
9	Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Daoxu Chen, Jian Lu 0001	A Mobile Agent Enabled Approach for Distributed Deadlock Detection.	GCC	2004	DBLP DOI BibTeX RDF	Mobile Computing, Mobile Agent, Deadlock Detection
9	Jingyang Zhou, Xiaolin Chen, Han Dai, Jiannong Cao 0001, Daoxu Chen	M-Guard: A New Distributed Deadlock Detection Algorithm Based on Mobile Agent Technology.	ISPA	2004	DBLP DOI BibTeX RDF
9	Jipeng Zhou, Francis C. M. Lau 0001	Fault-Tolerant Wormhole Routing Algorithm in 2D Meshes Without Virtual Channels.	ISPA	2004	DBLP DOI BibTeX RDF
9	Lin Liu 0003, Jonathan Billington	Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.	MMM	2004	DBLP DOI BibTeX RDF	Multimedia Protocols, Recursive Service Language, Formal Methods, Automata, Coloured Petri Nets
9	German Florez, Zhen Liu, Susan Bridges, Rayford B. Vaughn, Anthony Skjellum	Detecting Anomalies in High-Performance Parallel Programs.	ITCC (2)	2004	DBLP DOI BibTeX RDF
9	Rolf H. Möhring, Ekkehard Köhler, Ewgenij Gawrilow, Björn Stenzel	Conflict-free Real-time AGV Routing.	OR	2004	DBLP DOI BibTeX RDF
9	Cyrille Artho, Klaus Havelund	Applying Jlint to Space Exploration Software.	VMCAI	2004	DBLP DOI BibTeX RDF
9	Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz	Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.	DS-RT	2004	DBLP DOI BibTeX RDF	Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS
9	Peter T. Breuer, Marisol García-Valls	Static Deadlock Detection in the Linux Kernel.	Ada-Europe	2004	DBLP DOI BibTeX RDF
9	Gertrude Neuman Levine	Defining deadlock with fungible resources.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF
9	Jesús E. Villadangos, Federico Fariña, Alberto Córdoba, José Ramón González de Mendívil, José Ramón Garitagoitia	Knot Resolution Algorithm and its Performance Evaluation.	PDP	2003	DBLP DOI BibTeX RDF
9	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli	Smart play-out.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs
9	Philip K. F. Hölzenspies, Erik Schepers, Wouter Bach, Mischa Jonker, Bart Sikkes, Gerard J. M. Smit, Paul J. M. Havinga	A Communication Model Based on an n-Dimensional Torus Architecture Using Deadlock-Free Wormhole Routing.	DSD	2003	DBLP DOI BibTeX RDF
9	Thomas Villiger, Hubert Kaeslin, Frank K. Gürkaynak, Stephan Oetiker, Wolfgang Fichtner	Self-Timed Ring for Globally-Asynchronous Locally-Synchronous Systems.	ASYNC	2003	DBLP DOI BibTeX RDF
9	Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino	Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking.	FPL	2003	DBLP DOI BibTeX RDF
9	Mahadevan Subramaniam	Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL.	IPDPS	2003	DBLP DOI BibTeX RDF
9	Ernesto Novillo, Paul Lu	A Case Study of Selected SPLASH-2 Applications and the SBT Debugging Tool.	IPDPS	2003	DBLP DOI BibTeX RDF
9	Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser	Experiments with Test Case Generation and Runtime Analysis.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
9	Pablo Boronat, Vicent Cholvi	A Transformation to Provide Deadlock-Free Programs.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
9	Atsushi Ohta, Kohkichi Tsuji	Insufficiently marked siphon of Petri nets - extension of token-free siphon.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
9	Olav Lysne, Timothy Mark Pinkston, José Duato	A Methodology for Developing Dynamic Network Reconfiguration Processes.	ICPP	2003	DBLP DOI BibTeX RDF	dynamic network reconfiguration, interconnection network architecture, highly-available and highly-dependable network-based systems, Deadlock-free routing
9	Hui Wu 0001, Wei-Ngan Chin, Joxan Jaffar	An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	distributed deadlock avoidance, partially ordered rank, wait-for graph, concurrency control
9	James B. Lim, Ali R. Hurson	Transaction Processing in Mobile, Heterogeneous Database Systems.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	global information sharing process, caching and prefetching, simulation and analysis, concurrency control, Mobile computing environment
9	Soojung Le	Fast Detection and Resolution of Generalized Distributed Deadlock.	PDP	2002	DBLP DOI BibTeX RDF	distributed deadlock, generalized deadlock, distributed algorithms, deadlock detection, deadlock resolution
9	Jaeyong Shim, Dongsoo Han, Hongsoog Kim	Communication Deadlock Detection of Inter-organizational Workflow Definition.	DNIS	2002	DBLP DOI BibTeX RDF
9	Ahmad Khonsari, Alireza Farahani, Mohamed Ould-Khaoua	Disha: A Performance Model of a True Fully Adaptive Routing Algorithm in k-Ary n-Cubes.	MASCOTS	2002	DBLP DOI BibTeX RDF
9	Kurt Lautenbach	Reproducibility of the Empty Marking.	ICATPN	2002	DBLP DOI BibTeX RDF
9	Yu Lei 0001, Kuo-Chung Tai	Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs.	ISSRE	2002	DBLP DOI BibTeX RDF
9	Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. Verbeek	An Alternative Way to Analyze Workflow Graphs.	CAiSE	2002	DBLP DOI BibTeX RDF
9	Alex Groce, Willem Visser	Model checking Java programs using structural heuristics.	ISSTA	2002	DBLP DOI BibTeX RDF	model checking, testing, heuristics, coverage metrics
9	Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian	A Reflective Middleware Framework for Communication in Dynamic Environments.	OTM	2002	DBLP DOI BibTeX RDF
9	Patrice Godefroid, Sarfraz Khurshid	Exploring Very Large State Spaces Using Genetic Algorithms.	TACAS	2002	DBLP DOI BibTeX RDF
9	Naoyasu Ubayashi, Tetsuo Tamai	Aspect-oriented programming with model checking.	AOSD	2002	DBLP DOI BibTeX RDF	checking frameworks, model checking, validation
9	Dong Xiang, Ai Chen	Fault-Tolerant Routing in 2D Tori or Meshes Using Limited-Global-Safety Information.	ICPP	2002	DBLP DOI BibTeX RDF
9	Yong Ho Song, Timothy Mark Pinkston	A New Mechanism for Congestion and Deadlock Resolution.	ICPP	2002	DBLP DOI BibTeX RDF
9	Eric Goubault, Martin Raußen	Dihomotopy as a Tool in State Space Analysis.	LATIN	2002	DBLP DOI BibTeX RDF
9	Geraldo Pereira de Souza, Gerson Henrique Pfitscher	An Implementation of a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs Based on the CSP Model and Java.	DS-RT	2002	DBLP DOI BibTeX RDF
9	Michael D. Beynon, Henrique Andrade, Joel H. Saltz	Low-Cost Non-Intrusive Debugging Strategies for Distributed Parallel Programs.	CLUSTER	2002	DBLP DOI BibTeX RDF
9	Dah-Ming Chiu, Miriam Kadansky, Radia J. Perlman, John Reynders, Guy L. Steele Jr., Murat Yuksel	Deadlock-Free Routing Based on Ordered Links.	LCN	2002	DBLP DOI BibTeX RDF
9	Adi Botea	Using Abstraction for Heuristic Search and Planning.	SARA	2002	DBLP DOI BibTeX RDF
9	José Duato, Timothy Mark Pinkston	A General Theory for Deadlock-Free Adaptive Routing Using a Mixed Set of Resources.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	General theory for deadlock-free fully adaptive routing, nonatomic queue allocation, irregular networks, regular networks
9	Alex Aizman	Easy concurrency.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Rules of concurrency, Application, Conflict, Relationship, Operation, Resource
9	Wil M. P. van der Aalst	Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change.	Inf. Syst. Frontiers	2001	DBLP DOI BibTeX RDF	workflow change, petri nets, workflow management, dynamic change
9	Ricardo Pena, Clara Segura	Sized Types for Typing Eden Skeletons.	IFL	2001	DBLP DOI BibTeX RDF
9	Katharina Mehner	JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.	Software Visualization	2001	DBLP DOI BibTeX RDF
9	Kuo-Chung Tai, Bengi Karaçali	On Godefroid's Stateless Search Technique for Testing Concurrent Programs.	ISADS	2001	DBLP DOI BibTeX RDF
9	Valérie Gouranton, Pierre Réty, Helmut Seidl	Synchronized Tree Languages Revisited and New Applications.	FoSSaCS	2001	DBLP DOI BibTeX RDF	tree-tuple language, concurrency, rewriting
9	Dieter Kranzlmüller, Rene Kobler, Jens Volkert	Event Manipulation for Nondeterministic Shared-Memory Programs.	HPCN	2001	DBLP DOI BibTeX RDF
9	Paola Inverardi, Massimo Tivoli	Automatic synthesis of deadlock free connectors for COM/DCOM applications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
9	Lennart Beringer	Typing Assembly Programs with Explicit Forwarding.	TACS	2001	DBLP DOI BibTeX RDF
9	Paolo Baldan, Andrea Corradini 0001, Barbara König 0001	A Static Analysis Technique for Graph Transformation Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
9	Paola Inverardi, Simone Scriboni	Connectors Synthesis for Deadlock-Free Component-Based Architectures.	ASE	2001	DBLP DOI BibTeX RDF
9	Vladimír Marík, Martyn Fletcher, Michal Pechoucek	Holons & Agents: Recent Developments and Mutual Impacts.	Multi-Agent-Systems and Applications	2001	DBLP DOI BibTeX RDF
9	Michihiro Koibuchi, Akira Funahashi, Akiya Jouraku, Hideharu Amano	L-Turn Routing: An Adaptive Routing in Irregular Networks.	ICPP	2001	DBLP DOI BibTeX RDF
9	Toshinori Takabatake, Masato Kitakami, Hideo Ito	Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks.	PRDC	2001	DBLP DOI BibTeX RDF
9	Gabriele Manduchi, Michele Moro	Automatic verification for a class of distributed systems.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Distributed Systems, State Space reduction, Computer aided verification, State Transition Systems
9	Dinesh Kadamuddi, Jeffrey J. P. Tsai	Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Parallel processing, distributed application, deadlock, clustering algorithm, synchronous communication, software environment
9	A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson	SMC: a symmetry-based model checker for verification of safety and liveness properties.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	model checking, automata
9	Bettina Kemme, Gustavo Alonso	A new approach to developing and implementing eager database replication protocols.	ACM Trans. Database Syst.	2000	DBLP DOI BibTeX RDF	one-copy-serializability, total error multicast, fault-tolerance, group communication, database replication, replica control, isolation levels
9	Karsten Schmidt 0004	LoLA: A Low Level Analyser.	ICATPN	2000	DBLP DOI BibTeX RDF
9	Jessica Chen	On Using Static Analysis in Distributed System Testing.	EDO	2000	DBLP DOI BibTeX RDF	Distributed Systems, CORBA, Automata, Nondeterminism, Specification-based Testing
9	Bangqing Li, Baowen Xu, Hongji Yang, William C. Chu	ConC++: A Concurrent C++.	COMPSAC	2000	DBLP DOI BibTeX RDF	ConC++, concurrent class, protected class, concurrent object-oriented, C++
9	Stefan Bussmann, Klaus Schild	Self-Organizing Manufacturing Control: An Industrial Application of Agent Technology.	ICMAS	2000	DBLP DOI BibTeX RDF
9	José Flich, Manuel P. Malumbres, Pedro López 0001, José Duato	Performance evaluation of a new routing strategy for irregular networks with source routing.	ICS	2000	DBLP DOI BibTeX RDF	networks of workstations, wormhole switching, irregular topologies, source routing, minimal routing
9	Juhana Helovuo, Antti Valmari	Checking for CFFD-Preorder with Tester Processes.	TACAS	2000	DBLP DOI BibTeX RDF
9	David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill	Java Model Checking.	ASE	2000	DBLP DOI BibTeX RDF
9	JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi	Using Multicast Communication to Reduce Deadlock in Replicated Databases.	SRDS	2000	DBLP DOI BibTeX RDF
9	Satish Chandra 0001, Brad Richards, James R. Larus	Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	distributed systems, verification, Domain-specific languages, continuations, cache coherence
9	Federico Silla, José Duato	Is It Worth the Flexibility Provided by Irregular Topologies in Networks of Workstations?	CANPC	1999	DBLP DOI BibTeX RDF
9	Frank Huch	Verification of Erlang Programs using Abstract Interpretation and Model Mhecking.	ICFP	1999	DBLP DOI BibTeX RDF	distributed system, model checking, verification, abstract interpretation, Erlang
9	Woochun Jun	Providing High Concurrency in Object-Oriented Database Systems.	DANTE	1999	DBLP DOI BibTeX RDF
9	Marco Caccamo, Giuseppe Lipari, Giorgio C. Buttazzo	Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines.	RTSS	1999	DBLP DOI BibTeX RDF	hybrid task sets, dynamic deadlines, Real-time scheduling, resource constraints
9	S. Misbah Deen	Resolution of Preferential Conflicts in Agent Based Cooperative Processes.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	Conflict Resolution, Preferences, Cooperation Model
9	Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi	Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	real-time systems, verification, timed automata, deadlock freeness
9	Jean Mayo, Phil Kearns	Distributed Deadlock Detection and Resolution Based on Hardware Clocks.	ICDCS	1999	DBLP DOI BibTeX RDF
9	Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda	Definition of Deadlock Patterns for Business Processes Workflow Models.	HICSS	1999	DBLP DOI BibTeX RDF
9	Antti Puhakka, Antti Valmari	Weakest-Congruence Results for Livelock-Preserving Equivalences.	CONCUR	1999	DBLP DOI BibTeX RDF
9	Barbara König 0001	Generating Type Systems for Process Graphs.	CONCUR	1999	DBLP DOI BibTeX RDF
9	David F. Redmiles	Can Model Checking Scale to Software? (Panel).	ASE	1999	DBLP DOI BibTeX RDF
9	Shih-Chang Wang, Hung-Yau Lin, Sy-Yen Kuo, Yennun Huang	A Simple and Efficient Deadlock Recovery Scheme for Wormhole Routed 2-Dimensional Meshes.	PRDC	1999	DBLP DOI BibTeX RDF
9	Zhichen Xu, Barton P. Miller, Oscar Naim	Dynamic Instrumentation of Threaded Applications.	PPoPP	1999	DBLP DOI BibTeX RDF
9	Soojung Lee, Yoonjoon Lee	A Distributed Algorithm for Deadlock Detection under OR-request Model.	SRDS	1999	DBLP DOI BibTeX RDF
9	Steven Gordon, Jonathan Billington	Analysing a Missile Simulator with Coloured Petri Nets.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Missile simulator design, Simulation, Distributed systems, Coloured Petri nets, Reachability analysis
9	Prasant Mohapatra	Wormhole Routing Techniques for Directly Connected Multicomputer Systems.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF