Search results for "deadlock-detection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
176	Philip P. Macri	Deadlock Detection and Resolution in a CODASYL Based Data Management System.	SIGMOD Conference	1976	DBLP DOI BibTeX RDF
155	Yibei Ling, Shigang Chen, Cho-Yu Jason Chiang	On Optimal Deadlock Detection Scheduling.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Deadlock detection scheduling, deadlock formation rate, deadlock persistence time
133	Shigang Chen, Yibei Ling	Stochastic analysis of distributed deadlock scheduling.	PODC	2005	DBLP DOI BibTeX RDF	deadlock detection scheduling, deadlock formation rate, deadlock persistence time
125	Juan-Miguel Martinez-Rubio, Pedro López 0001, José Duato	FC3D: Flow Control-Based Distributed Deadlock Detection Mechanism for True Fully Adaptive Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	true fully adaptive routing, Wormhole switching, deadlock detection, deadlock recovery
121	Juan-Miguel Martínez 0001, Pedro López 0001, José Duato, Timothy Mark Pinkston	Software-Based Deadlock Recovery Technique for True Fully Adaptive Routing in Wormhole Networks.	ICPP	1997	DBLP DOI BibTeX RDF	adaptive routing, virtual channels, Wormhole switching, deadlock detection, deadlock recovery
98	Juan-Miguel Martinez-Rubio, Pedro López 0001, José Duato	A Cost-Effective Approach to Deadlock Handling in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	injection limitation, adaptive routing, Wormhole switching, deadlock detection, deadlock recovery
90	Jaehwan John Lee, Vincent John Mooney III	An o(min(m, n)) parallel deadlock detection algorithm.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Deadlock detection
86	Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz 0001, Matthias S. Müller	A graph based approach for MPI deadlock detection.	ICS	2009	DBLP DOI BibTeX RDF	umpire, parallel programming, deadlock detection, mpi
80	Young Man Kim, Ten-Hwang Lai, Neelam Soundarajan	Efficient Distributed Deadlock Detection and Resolution using Probes, Tokens, and Barriers.	ICPADS	1997	DBLP DOI BibTeX RDF
79	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
78	Md. Abdur Razzaque, Md. Mamun-Or-Rashid, Choong Seon Hong	MC2DR: Multi-cycle Deadlock Detection and Recovery Algorithm for Distributed Systems.	HPCC	2007	DBLP DOI BibTeX RDF
76	Soojung Lee	Turn-based Deadlock Detection for Wormhole Routed Networks.	CIT	2006	DBLP DOI BibTeX RDF
76	Pun H. Shiu, Yudong Tan, Vincent John Mooney III	A novel parallel deadlock detection algorithm and architecture.	CODES	2001	DBLP DOI BibTeX RDF	parallel algorithm, hardware/software codesign, real-time operating system, deadlock detection
74	Soojung Lee	Efficient Generalized Deadlock Detection and Resolution in Distributed Systems.	ICDCS	2001	DBLP DOI BibTeX RDF
73	Kamel Barkaoui, Rabah Benamara	Towards an efficient probabilistic deadlock detection method for multidatabase systems.	FTDCS	1997	DBLP DOI BibTeX RDF	probabilistic deadlock detection method, local transaction visibility, local systems autonomy, PCG method, mean condition, random graph theory, random deadlock detection, performance, concurrency control, concurrency control, contention, multidatabase systems
68	Sugath Warnakulasuriya, Timothy Mark Pinkston	A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Deadlock detection/resolution, network resource model, true fully-adaptive routing, virtual cut-through/wormhole switching, interconnection network
67	Juan-Miguel Martínez 0001, Pedro López 0001, José Duato	Impact of Buffer Size on the Efficiency of Deadlock Detection.	HPCA	1999	DBLP DOI BibTeX RDF
67	Soojung Lee	Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
66	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
65	Soojung Lee, Junguk L. Kim	Performance Analysis of Distributed Deadlock Detection Algorithms.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	wait-for graph, distributed systems, distributed algorithms, Deadlock detection, cycle detection
62	Baolin Shao, Nalini Vasudevan, Stephen A. Edwards	Compositional deadlock detection for rendezvous communication.	EMSOFT	2009	DBLP DOI BibTeX RDF	SHIM, concurrency, static analysis, deadlock, divide-and-conquer
57	Xiang Xiao, Jaehwan John Lee	A Novel Parallel Deadlock Detection Algorithm and Hardware for Multiprocessor System-on-a-Chip.	IEEE Comput. Archit. Lett.	2007	DBLP DOI BibTeX RDF
56	Nacer Farajzadeh, Mehdi Hashemzadeh, Morteza Mousakhani, Abolfazl Toroghi Haghighat	An Efficient Generalized Deadlock Detection and Resolution Algorithm in Distributed Systems.	CIT	2005	DBLP DOI BibTeX RDF	deadlock detection and resolution, wait-for-graph, Distributed systems, algorithm
56	Soojung Lee	Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
54	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Interconnection Networks.	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
53	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
52	Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal	Deadlocks in Distributed Systems: Request Models and Definitions.	FTDCS	1995	DBLP DOI BibTeX RDF	Deadlock models, message communication systems, distributed algorithms, distributed deadlock detection
51	Mariagrazia Dotoli, Maria Pia Fanti	Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
51	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
50	Paul G. Spirakis	The Parallel Complexity of Deadlock Detection.	MFCS	1986	DBLP DOI BibTeX RDF
48	Xiang Xiao, Jaehwan John Lee	A Novel O(1) Deadlock Detection Methodology for Multiunit Resource Systems and Its Hardware Implementation for System-on-Chip.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF
47	Israel Cidon, Jeffrey M. Jaffe	Local distributed deadlock detection by knot detection.	SIGCOMM	1986	DBLP DOI BibTeX RDF
46	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
44	Mariagrazia Dotoli, Maria Pia Fanti, Giorgio Iacobellis	Comparing deadlock detection and avoidance policies in automated storage and retrieval systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
44	Barbara E. Wójcik, Zbigniew M. Wójcik	Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	wait-for contiguous requests, query message, wait-for cycle, no-deadlock message, query initiator, deadlock-free situation, query intercessor, periodical deadlock handling, indefinite wait-die scheme, protocol, distributed processing, replication, system recovery, sufficient condition, distributed deadlock detection, communication deadlock
44	Ju Gyun Kim	High Performance Cycle Detection Scheme for Multiprocessing Systems.	HiPC	2004	DBLP DOI BibTeX RDF
44	Keijo Heljanko	Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets.	TACAS	1999	DBLP DOI BibTeX RDF
43	Xiang Xiao, Jaehwan John Lee	A novel O(1) parallel deadlock detection algorithm and architecture for multi-unit resource systems.	ICCD	2007	DBLP DOI BibTeX RDF
41	Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley	A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	modified priority based probe algorithm, distributed databases, system recovery, distributed database system, distributed deadlock detection, deadlock resolution
40	José Ramón González de Mendívil, Federico Fariña, José Ramón Garitagoitia, Carlos F. Alastruey, José M. Bernabéu-Aubán	A Distributed Deadlock Resolution Algorithm for the AND Model.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems
39	Wei Huang, Deyu Qi 0001	A Local Deadlock Detection and Resolution Algorithm for Process Networks.	CSSE (3)	2008	DBLP DOI BibTeX RDF
39	Christian F. Orellana, Cristian Ruz, Yadran Eterovic	Self-stabilizing Deadlock Detection Under the OR Requirement Model.	Euro-Par	2006	DBLP DOI BibTeX RDF
38	Xin Cheng, Xiaozong Yang, Feng Jin	An Agent-Based Deadlock Detection/Resolution Algorithm for the AND Model.	PDCAT	2005	DBLP DOI BibTeX RDF
37	Soojung Lee, Yoonjoon Lee	A Distributed Algorithm for Deadlock Detection under OR-request Model.	SRDS	1999	DBLP DOI BibTeX RDF
37	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Client/Server Programs.	ICDCS	2000	DBLP DOI BibTeX RDF	client/server program, deadlock, labeled transition system, reachability graph
37	Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda	Definition of Deadlock Patterns for Business Processes Workflow Models.	HICSS	1999	DBLP DOI BibTeX RDF
37	Sugath Warnakulasuriya, Timothy Mark Pinkston	Modeling Message Blocking and Deadlock in Interconnection Networks.	PCRCW	1997	DBLP DOI BibTeX RDF
36	Azzedine Boukerche, Carl Tropper	A distributed algorithm for the detection of local cycles and knots.	IPPS	1995	DBLP DOI BibTeX RDF	2m messages, blocking paradigm, deadlock breaking, distributed algorithms, distributed algorithm, graph theory, concurrency control, parallel simulation, cycles, deadlock detection, speed up, knots, diffusing computation
35	Ahmed K. Elmagarmid	A Survey of Distributed Deadlock Algorithms.	SIGMOD Rec.	1986	DBLP DOI BibTeX RDF
35	Israel Cidon	An Efficient Distributed Knot Detection Algorithm.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	memory bits, store communication networks, distributed knot detection algorithm, forward communication networks, clustering, computational complexity, graph theory, distributed processing, messages, links, nodes, deadlock detection, general graphs, transaction systems, cycle detection
35	D. Manivannan 0001, Mukesh Singhal	An Efficient Distributed Algorithm for Detection of Knots and Cycles in a Distributed Graph.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Distributed graph, knot detection, distributed systems, distributed algorithms, distributed simulation, deadlock detection
34	Alberto Córdoba, Federico Fariña, José Ramón Garitagoitia, José Ramón González de Mendívil, Jesús E. Villadangos	A Low Communication Cost Algorithm for Distributed Deadlock Detection and Resolution.	PDP	2003	DBLP DOI BibTeX RDF
34	Ajay D. Kshemkalyani, Mukesh Singhal	Correct Two-Phase and One-Phase Deadlock Detection Algorithms for Distributed Systems.	SPDP	1990	DBLP DOI BibTeX RDF
33	Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin	LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect.	MEMOCODE	2003	DBLP DOI BibTeX RDF
33	Manuel Prieto 0002, Jesús E. Villadangos, Federico Fariña, Alberto Córdoba	An O(n) Distributed Deadlock Resolution Algorithm.	PDP	2006	DBLP DOI BibTeX RDF	Deadlock detection/resolution, Single-resource request model, Distributed systems, Complexity, Distributed algorithms
32	David A. Cape, Bruce M. McMillin	Dihomotopic Reduction Used in Deadlock Detection.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
32	Elisa Bertino, Giovanni Chiola, Luigi V. Mancini	Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models.	ICATPN	1998	DBLP DOI BibTeX RDF
32	Chim-fu Yeung, Sheung-lun Hung, Kam-yiu Lam	Performance Evaluation of a New Distributed Deadlock Detection Algorithm.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
32	Randy Appleton	Deadlock detection in a multidatabase.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
32	Eric Koskinen, Maurice Herlihy	Dreadlocks: efficient deadlock detection.	SPAA	2008	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection
32	Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk	Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.	DSN	2000	DBLP DOI BibTeX RDF	Simultaneous Reachability Analysis, Extended Finite State Machine Model, Race Conditions, Deadlock Detection
32	Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley	Correction to "A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution".	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	modified priority based probe algorithm, pseudocode, distributed processing, error correction, system recovery, distributed deadlock detection
32	Ahmed K. Elmagarmid, Ajoy Kumar Datta	Two-Phase Deadlock Detection Algorithm.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	deadlock detection algorithm, transaction-wait-for, multiple disjoint controllers, two-phase property, detection step, actual cycle detection, transaction-based distributed processing systems, distributed algorithm, distributed processing, distributed databases, transaction processing, deadlocks
32	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
32	K. Mani Chandy, Jayadev Misra, Laura M. Haas	Distributed Deadlock Detection	ACM Trans. Comput. Syst.	1983	DBLP DOI BibTeX RDF	message communication systems, resource deadlock, distributed deadlock detection, communication deadlock
30	Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay	Effective static deadlock detection.	ICSE	2009	DBLP DOI BibTeX RDF
30	Nalini Vasudevan, Stephen A. Edwards	Static Deadlock Detection for the SHIM Concurrent Language.	MEMOCODE	2008	DBLP DOI BibTeX RDF
30	Jaeyong Shim, Dongsoo Han, Hongsoog Kim	Communication Deadlock Detection of Inter-organizational Workflow Definition.	DNIS	2002	DBLP DOI BibTeX RDF
30	R. C. Hansdah, Nilanjan Gantait, Sandip Dey	A Fault-Tolerant Distributed Deadlock Detection Algorithm.	IWDC	2002	DBLP DOI BibTeX RDF
30	Mitchell Flatebo, Ajoy Kumar Datta	Self-stabilizing Deadlock Detection Algorithms.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
30	Wuxu Peng, S. Purushothaman	A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.	CAV	1990	DBLP DOI BibTeX RDF
30	Beverly A. Sanders, Philipp A. Heuberger	Distributed Deadlock Detection and Resolution with Probes.	WDAG	1989	DBLP DOI BibTeX RDF
30	Rakesh Agrawal 0001, Michael J. Carey 0001, David J. DeWitt	Deadlock Detection is Cheap.	SIGMOD Rec.	1983	DBLP DOI BibTeX RDF
29	Teruo Higashino, Gregor von Bochmann	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
28	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
27	Andrei Karatkevich, Iwona Grobelna	Deadlock detection in Petri nets: One trace for one deadlock?	HSI	2014	DBLP DOI BibTeX RDF
27	Rahil Hosseini, Abolfazl Toroghi Haghighat	A Survey of Distributed Probe-based Deadlock Detection Algorithms and an Improvement for Solving False Deadlock.	Parallel and Distributed Computing and Networks	2005	DBLP BibTeX RDF
27	Markus Jäger 0001, Bernhard Nebel	Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots.	IROS	2001	DBLP DOI BibTeX RDF
27	Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal	Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection.	J. Parallel Distributed Comput.	1996	DBLP DOI BibTeX RDF
27	Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal	Deadlock Models and a General Algorithm for Distributed Deadlock Detection.	J. Parallel Distributed Comput.	1995	DBLP DOI BibTeX RDF
26	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
26	Kamel Barkaoui, Rabah Benamara	On Concurrency Control in Multidatabase Systems with an Extended Transaction Model.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	global deadlock, extended transaction model, multidatabase systems
26	Bao-Chyuan Jenq, Walter H. Kohler, Donald F. Towsley	A Queueing Network Model for a Distributed Database Testbed System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	distributed database testbed system, transaction workload, transaction recovery protocol, write-ahead logging, centralized two-phase commit, protocols, distributed databases, queueing theory, program testing, system recovery, queueing network model, two-phase locking, commit protocol, distributed deadlock detection, concurrency control protocol
25	Henry F. Korth, Ravi Krishnamurthy, Anil Nigam, John T. Robinson	A Framework for Understanding Distributed (Deadlock Detection) Algorithms.	PODS	1983	DBLP DOI BibTeX RDF
25	Thomas Panhofer, Werner Friesenbichler, Martin Delvai	Fault tolerant Four-State Logic by using Self-Healing Cells.	ICCD	2008	DBLP DOI BibTeX RDF
23	Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis	D-Finder: A Tool for Compositional Deadlock Detection and Verification.	CAV	2009	DBLP DOI BibTeX RDF
23	James C. Corbett	Evaluating Deadlock Detection Methods for Concurrent Software.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Concurrency analysis, inequality necessary conditions, empirical evaluation, symbolic model checking, state space reduction, Ada tasking
23	Dushan Z. Badal	The Distributed Deadlock Detection Algorithm.	ACM Trans. Comput. Syst.	1986	DBLP DOI BibTeX RDF
23	Ron Obermarck	Distributed Deadlock Detection Algorithm.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF
23	Saddek Bensalem, Klaus Havelund	Dynamic Deadlock Analysis of Multi-threaded Programs.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
23	Zhonghua Huang, Zhiming Wu	Deadlock-free Scheduling Method for Automated Manufacturing Systems Using Genetic Algorithm and Petri Nets.	ICRA	2004	DBLP DOI BibTeX RDF
23	Jun Zhou, Kuo-Chung Tai	Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication.	ISSRE	2001	DBLP DOI BibTeX RDF
23	Mahesh Girkar, Robert Moll	New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
23	Peter B. Ladkin, Barbara Simons	Compile-time analysis of communicating processes.	ICS	1992	DBLP DOI BibTeX RDF
23	Jayadev Misra	Distributed Discrete-Event Simulation.	ACM Comput. Surv.	1986	DBLP DOI BibTeX RDF
19	Mehdi Hashemzadeh, Nacer Farajzadeh, Abolfazl Toroghi Haghighat	Optimal Detection and Resolution of Distributed Deadlocks in the Generalized Model.	PDP	2006	DBLP DOI BibTeX RDF
18	Hyunok Oh	Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior.	ISQED	2008	DBLP DOI BibTeX RDF	intermediate ports, t op down design, model of computation, synchronous dataflow, dynamic behavior
18	Alper Sen 0001, Vinit Ogale, Magdy S. Abadir	Predictive runtime verification of multi-processor SoCs in SystemC.	DAC	2008	DBLP DOI BibTeX RDF	predictive verification, deadlock, SystemC, assertion, ESL
18	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
18	Sagar Chaki, Nishant Sinha 0001	Assume-Guarantee Reasoning for Deadlock.	FMCAD	2006	DBLP DOI BibTeX RDF