Tag deadlock [90 articles] Export

Recent papers classified by the tag deadlock.

	Petri Net Modeling and Deadlock Analysis of Parallel Manufacturing Processes with Shared Resources [My Copy] Journal of Systems and Software (13 November 2009) by Farooq Ahmad, Hejiao Huang, Xiao-long Wang posted to modelado deadlock bloqueos analisis by fernand0 on 2009-11-24 08:57:12 as
	Does Size Matter? CFSP Committees after Enlargement [My Copy] Journal of European Integration, Vol. 30, No. 4. (September 2008), pp. 493-509. by Ana Juncos, Karolina Pomorska posted to socialization eu-enlargement eu decision_making deadlock cfsp by henningninneh on 2009-09-02 11:24:56 as
	Dreadlocks: efficient deadlock detection [My Copy] In SPAA '08: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures (2008), pp. 297-303. by Eric Koskinen, Maurice Herlihy posted to deadlock lock by ilyashn on 2009-05-18 08:44:54 as
	On systematic methods to remove redundant monitors from liveness-enforcing net supervisors☆ [My Copy] Computers & Industrial Engineering, Vol. 56, No. 1. (February 2009), pp. 53-62. by Zhiwu Li, Hesuan Hu posted to deadlock liveness monitors nets petri prevention resources by fernand0 on 2009-02-20 12:16:35 as
	Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems [My Copy] Systems, Man and Cybernetics, Part A, IEEE Transactions on In Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 39, No. 1. (2009), pp. 188-199. by Keyi Xing, Meng C. Zhou, Huixia Liu, Feng Tian posted to ams avoidance complexity deadlock flexbile manufacturing polynomial systems by fernand0 on 2009-01-30 11:17:32 as
	Relational concurrent refinement part II: Internal operations and outputs [My Copy] Formal Aspects of Computing by Eerke Boiten, John Derrick, Gerhard Schellhorn posted to data deadlock divergences failures kiv process-algebra refinement semantics simulation state-machine trace by michaelbanks on 2008-11-10 10:22:47 as along with 1 person leonardo
	Deadlock control of concurrent manufacturing processes sharing finite resources [My Copy] The International Journal of Advanced Manufacturing Technology, Vol. 38, No. 7-8. (September 2008), pp. 787-800. by Li, Zhiwu, Uzam, Murat, Zhou, Mengchu posted to citas control deadlock fms resources siphon by fernand0 on 2008-09-04 09:02:15 as
	An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems [My Copy] The International Journal of Advanced Manufacturing Technology, Vol. 38, No. 3. (2008), pp. 309-320. by Hesuan Hu, Zhiwu Li posted to citas control deadlock fms siphons by fernand0 on 2008-08-29 10:20:48 as
	Distributed discrete-event simulation [My Copy] ACM Comput. Surv., Vol. 18, No. 1. (March 1986), pp. 39-65. by Jayadev Misra posted to 1986 deadlock discrete-event distributed simulation by ddahlem on 2008-08-15 16:13:23 as
	Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts [My Copy] Programming Languages and Systems (2007), pp. 490-504. by Kohei Suenaga, Naoki Kobayashi posted to 2007 concurrent deadlock pi type by shimomura on 2008-05-14 06:54:18 as
	A New Type System for Deadlock-Free Processes [My Copy] CONCUR 2006 – Concurrency Theory (2006), pp. 233-247. by Naoki Kobayashi posted to concurrency deadlock picalculus by keigoi on 2008-04-30 04:21:15 as
	On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets [My Copy] Systems, Man and Cybernetics, Part A, IEEE Transactions on In Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 38, No. 2. (2008), pp. 369-384. by Z. Li, M. Zhao posted to cerrojos citas deadlock nets petri prevention siphons by fernand0 on 2008-03-19 08:18:21 as
	A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems [My Copy] Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on In Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on, Vol. 38, No. 2. (2008), pp. 173-188. by Li, M. Zhou, N. Wu posted to cifras citas comparaciones deadlock fms prevention survey by fernand0 on 2008-03-19 08:16:45 as
	Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks [My Copy] Software Engineering Conference, 2007. ASWEC 2007. 18th Australian In Software Engineering Conference, 2007. ASWEC 2007. 18th Australian (2007), pp. 223-232. by J. Ngui, P. Strooper, L. Wildman, M. Wojcicki posted to deadlock java model_checking static_analysis by bfraser on 2008-02-26 15:55:26 as
	Types for Safe Locking [My Copy] Programming Languages and Systems (1999), pp. 640-640. by Cormac Flanagan, Martín Abadi posted to deadlock type_theory by bfraser on 2008-02-25 19:21:02 as
	Dynamic inference of polymorphic lock types [My Copy] Sci. Comput. Program., Vol. 58, No. 3. (December 2005), pp. 366-383. by James Rose, Nikhil Swamy, Michael Hicks posted to deadlock static_analysis by bfraser on 2008-02-25 19:18:49 as
	Static Deadlock Detection for Java Libraries [My Copy] ECOOP 2005 - Object-Oriented Programming (2005), pp. 602-629. by Amy Williams, William Thies, Michael D. Ernst posted to concurrency deadlock java static_analysis by bfraser on 2008-02-11 20:22:12 as along with 1 person keigoi
	Control of Elementary and Dependent Siphons in Petri Nets and Their Application [My Copy] Systems, Man and Cybernetics, Part A, IEEE Transactions on In Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 38, No. 1. (2008), pp. 133-148. by Z. Li, M. Zhou posted to citas control deadlock siphons by fernand0 on 2008-02-05 11:00:03 as
	Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems [My Copy] Systems, Man and Cybernetics, Part A, IEEE Transactions on In Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 38, No. 1. (2008), pp. 56-69. by N. Wu, M. Zhou, Z. Li posted to avoidance deadlock deadlockavoidance ras resources by fernand0 on 2008-01-31 12:35:53 as
	Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems [My Copy] Automatic Control, IEEE Transactions on In Automatic Control, IEEE Transactions on, Vol. 52, No. 12. (2007), pp. 2345-2350. by S. A. Reveliotis, E. Roszkowska, J. Y. Choi posted to avoidance deadlock ras resources by fernand0 on 2008-01-28 10:10:46 as
	Deadlock control policy for a class of petri nets without complete siphon enumeration [My Copy] Control Theory & Applications, IET In Control Theory & Applications, IET, Vol. 1, No. 6. (2007), pp. 1594-1605. by Z. Li, M. Zhou, M. Uzam posted to bloqueos citas deadlock enumeration nets petri siphon by fernand0 on 2008-01-14 16:24:18 as
	Design of deadlock prevention supervisors using Petri nets [My Copy] The International Journal of Advanced Manufacturing Technology by Yi-Sheng Huang posted to cifras citas comparacin deadlock prevention rcn s3pr by fernand0 on 2008-01-08 11:41:54 as
	A resource decoupling approach for deadlock prevention in FMS [My Copy] The International Journal of Advanced Manufacturing Technology by Luigi Piroddi, Michele Cossalter, Luca Ferrarini posted to citas deadlock fms prevention by fernand0 on 2007-12-28 11:19:25 as
	Deadlock-Free Resource Allocation Control for a Reconfigurable Manufacturing System With Serial and Parallel Configuration [My Copy] Systems, Man and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on In Systems, Man and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on, Vol. 37, No. 6. (2007), pp. 1373-1381. by S. Lee, D. M. Tilbury posted to deadlock deadlockavoidance deadlocks by fernand0 on 2007-11-29 11:59:02 as
	An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems [My Copy] International Journal of Production Research, Vol. 44, No. 10. (2006), pp. 1987-2030. by M. Uzam, M. C. Zhou posted to comparison deadlock nets petri petri-nets by fernand0 on 2007-10-10 17:26:21 as
	An Optimization Approach to Petri Net Monitor Design [My Copy] Automatic Control, IEEE Transactions on, Vol. 52, No. 2. (2007), pp. 306-311. by Francesco Basile, Pasquale Chiacchio, Alessandro Giua posted to deadlock monitor nets petri siphon by fernand0 on 2007-03-22 09:32:58 as
	Shortest Routing of Bidirectional Automated Guided Vehicles Avoiding Deadlock and Blocking [My Copy] Mechatronics, IEEE/ASME Transactions on, Vol. 12, No. 1. (2007), pp. 63-72. by Wu, M. C. Zhou posted to agv blocking deadlock by fernand0 on 2007-03-21 09:15:51 as
	Local and Global Deadlock-Detection in Component-Based Systems are NP-hard [My Copy] Information Processing Letters, Vol. In Press, Accepted Manuscript by Christoph Minnameier posted to deadlock detection np np-hard by fernand0 on 2007-03-13 10:46:52 as
	A Deadlock Detection Mechanism for True Fully Adaptive Routing in Regular Wormhole Networks [My Copy] Computer Communications, Vol. In Press, Accepted Manuscript by Soojung Lee posted to deadlock detection networks routing wormhole by fernand0 on 2007-03-09 16:35:54 as
	A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems [My Copy] Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1234-1243. by J. Ezpeleta, R. Valk posted to deadlock manufacturing manufacturing-control manufacturing_control petri petri-net petri_nets by pverstra on 2007-02-22 17:27:43 as along with 1 person and 1 group fernand0 macc
	Deadlock-free connection-based adaptive routing with dynamic virtual circuits [My Copy] Journal of Parallel and Distributed Computing, Vol. 67, No. 1. (January 2007), pp. 13-32. by Yoshio Turner, Yuval Tamir posted to circuits deadlock routing by fernand0 on 2007-02-14 10:54:39 as
	An Effective Design of Deadlock-Free Routing Algorithms Based on 2D Turn Model for Irregular Networks [My Copy] Parallel and Distributed Systems, IEEE Transactions on, Vol. 18, No. 3. (2007), pp. 320-333. by A. Jouraku, M. Koibuchi, H. Amano posted to 2d deadlock networks routing by fernand0 on 2007-02-14 10:51:24 as
	Supervision Based on Place Invariants: A Survey [My Copy] Discrete Event Dynamic Systems, Vol. 16, No. 4. (December 2006), pp. 451-492. by Iordache, M., Antsaklis, P. posted to supervisory place petri nets deadlock control citas by fernand0 on 2007-02-08 09:20:43 as
	Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS [My Copy] The International Journal of Advanced Manufacturing Technology by Murat Uzam, Zhiwu Li, Mengchu Zhou posted to siphon redundant petri nets deadlock by fernand0 on 2007-02-08 09:00:54 as
	Development of an intelligent agent-based AGV controller for a flexible manufacturing system [My Copy] The International Journal of Advanced Manufacturing Technology by Sharad C. Srivastava, Alok K. Choudhary, Surendra Kumar, M. K. Tiwari posted to fms deadlock by fernand0 on 2007-02-06 16:10:20 as
	Clarifications on the Definitions of Elementary Siphons in Petri Nets [My Copy] Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1227-1229. by Z. Li, M. Zhou posted to siphon petri nets deadlock by fernand0 on 2007-01-19 17:20:14 as
	Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems [My Copy] Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1248-1256. by Y. S. Huang, M. Jeng, X. Xie, D. H. Chung posted to siphon petri nets deadlock citas by fernand0 on 2007-01-19 17:11:41 as along with 2 people and 1 group pverstra sajehzs macc
	Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor [My Copy] Automatica, Vol. 43, No. 2. (February 2007), pp. 377-383. by Seong-Jin Park, Kwang-Hyun Cho posted to deadlock des supervisory by fernand0 on 2007-01-18 08:21:44 as
	Termination, deadlock, and divergence [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 147-187. by L. Aceto, M. Hennessy posted to termination divergence deadlock concurrency chu-space by scis0000001 on 2007-01-12 19:58:07 as
	Hierarchical control of aircraft propulsion systems: Discrete event supervisor approach [My Copy] Control Engineering Practice, Vol. 15, No. 2. (February 2007), pp. 149-162. by Murat Yasar, Asok Ray posted to supervisory deadlock by fernand0 on 2007-01-10 10:22:02 as
	Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system [My Copy] pp. 5247-5259. by Wenle Zhang posted to digraphs deadlock circuits by fernand0 on 2007-01-10 10:12:12 as
	Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system [My Copy] American Control Conference, 2003. Proceedings of the 2003, Vol. 5 (2003), pp. 3679-3683 vol.5. by Wenle Zhang, R. P. Judd, P. E. Deering posted to digraphs deadlock circuits by fernand0 on 2007-01-10 10:10:19 as
	Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons [My Copy] Systems, Man and Cybernetics, Part B, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1332-1341. by D. Y. Chao posted to deadlock nets petri siphons by fernand0 on 2007-01-09 11:22:19 as
	Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets [My Copy] Industrial Informatics, IEEE Transactions on, Vol. 2, No. 4. (2006), pp. 313-325. by Z. Li, M. Zhou posted to banquero citas deadlock net petri by fernand0 on 2007-01-09 10:44:57 as
	The structure of the “the”-multiprogramming system [My Copy] In SOSP '67: Proceedings of the first ACM symposium on Operating System Principles (1967) by Edsger W. Dijkstra posted to deadlock multiprogramming operatingsystem semaphores by 7oby on 2006-12-22 14:24:26 as along with 2 people muli RobotAdam
	A Novel O(n) Parallel Banker's Algorithm for System-on-a-Chip [My Copy] Parallel and Distributed Systems, IEEE Transactions on, Vol. 17, No. 12. (2006), pp. 1377-1389. by J. J. Lee, V. J. Mooney posted to banker bloqueos citas deadlock hardware by fernand0 on 2006-12-19 11:04:52 as
	Computation of Elementary Siphons in Petri Nets For Deadlock Control [My Copy] The Computer Journal, Vol. 49, No. 4. (1 July 2006), pp. 470-479. by Daniel Y. Chao posted to citas deadlock nets petri siphons supervisory by fernand0 on 2006-10-09 09:48:33 as
	Efficient supervisory synthesis of large systems [My Copy] Control Engineering Practice In The Seventh Workshop On Discrete Event Systems (WODES2004), Vol. 14, No. 10. (October 2006), pp. 1157-1167. by Arash Vahidi, Martin Fabian, Bengt Lennartson posted to deadlock supervisory synthesis by fernand0 on 2006-09-25 17:13:58 as along with 1 person voronov
	An Efficient Distributed Knot Detection Algorithm [My Copy] IEEE Trans. Softw. Eng., Vol. 15, No. 5. (May 1989), pp. 644-649. by Israel Cidon posted to cycle-detector deadlock graph knots by kghoshal on 2006-09-20 17:24:29 as
	Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets [My Copy] Automatic Control, IEEE Transactions on, Vol. 51, No. 9. (2006), pp. 1472-1481. by J. Julvez, L. Recalde, M. Silva posted to continuous deadlock nets petri by fernand0 on 2006-09-19 08:35:25 as

Note: You may cite this page as: http://www.citeulike.org/tag/deadlock

Result page: 1 2 Next

petri	30
nets	27
citas	26
supervisory	20
siphon	12
static_analysis	9
petri-nets	8
banker	7
petrinets	7
fms	5
java	5
prevention	5
siphons	5
control	4
cycle-detector	4
graph	4
knots	4
resources	4
avoidance	3
bloqueos	3
circuits	3
concurrency	3
diffusing-computation	3
manufacturing	3
ras	3
routing	3
termination	3
agv	2
cifras	2
deadlockavoidance	2
deadlocks	2
detection	2
digraphs	2
manufacturing-control	2
manufacturing_control	2
model_checking	2
networks	2
petri-net	2
petri_nets	2
simulation	2
2001	1
2007	1
2d	1
ams	1
analisis	1
banquero	1
blocking	1
c	1
cerrojos	1
cfsp	1
chu-space	1
comparacin	1
comparaciones	1
comparison	1
continuous	1
controlflow	1
data	1
decision_making	1
des	1
discrete-event	1
distributed_systems	1
divergence	1
divergences	1
eu	1
eu-enlargement	1
failures	1
flexbile	1
kiv	1
liveness	1
lock	1
modelado	1
modelchecking	1
monitor	1
monitors	1
multiprogramming	1
np	1
np-hard	1
petri_net	1
petrinet	1
pi	1
picalculus	1
polynomial	1
process-algebra	1
rcn	1
redundant	1
refinement	1
semantics	1
semaphores	1
state-machine	1
supervistoy	1
survey	1
synthesis	1
systems	1
tpn	1
trace	1
type	1
type_theory	1
uppaal	1
verification	1
wormhole	1

Tag deadlock [90 articles] Export

Related Tags