Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Oussama Noui, Lemnouar Noui |
A Robust Watermarking Scheme for Ownership Protection and Deadlock Prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAC ![In: IPAC '15: International Conference on Intelligent Information Processing, Security and Advanced Communication, Batna, Algeria, November, 2015, pp. 5:1-5:5, 2015, ACM, 978-1-4503-3458-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | ShouGuang Wang, Carla Seatzu, Lingyun Huang |
A three-stage deadlock prevention strategy for S3PR nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, August 24-28, 2015, pp. 286-291, 2015, IEEE, 978-1-4673-8183-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Yuh Chao, Tsung Hsien Yu |
MLR: A new concept to launch a partial deadlock avoidance policy for k-th order system of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015, pp. 3148-3152, 2015, IEEE, 978-1-4799-1762-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ernesto Villegas Castillo, Gabriele Miorandi, Davide Bertozzi, Jiang Chau Wang |
DyAFNoC: Dynamically Reconfigurable NoC Characterization Using a Simple Adaptive Deadlock-Free Routing Algorithm with a Low Implementation Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Applied Reconfigurable Computing - 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings, pp. 419-426, 2015, Springer, 978-3-319-16213-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Hefeng Chen, Naiqi Wu, Mengchu Zhou |
Resource-Oriented Petri Net-Based Approach to Deadlock Prevention of AMSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2015 IEEE International Conference on Systems, Man, and Cybernetics, Kowloon Tong, Hong Kong, October 9-12, 2015, pp. 515-520, 2015, IEEE, 978-1-4799-8697-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Chun-Hong Shih, Yi-Hsiang Lai, Jie-Hong Roland Jiang |
SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015, pp. 442-449, 2015, IEEE, 978-1-4673-8389-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Poona Bahrebar, Dirk Stroobandt |
Hamiltonian Path Strategy for Deadlock-Free and Adaptive Routing in Diametrical 2D Mesh NoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2015, Shenzhen, China, May 4-7, 2015, pp. 1209-1212, 2015, IEEE Computer Society, 978-1-4799-8006-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Johan Grande, Gérard Boudol, Manuel Serrano |
Jthread, a deadlock-free mutex library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 149-160, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Wei Lu 0010, Yong Yang 0007, Liqiang Wang, Weiwei Xing, Xiaoping Che |
A Novel Concurrent Generalized Deadlock Detection Algorithm in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (2) ![In: Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II, pp. 479-493, 2015, Springer, 978-3-319-27121-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Zhigang Yu, Xinyu Wang 0015, Kele Shen, Haikuo Liu |
A General Methodology to Design Deadlock-Free Routing Algorithms for Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (1) ![In: Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I, pp. 478-491, 2015, Springer, 978-3-319-27118-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Edwin Hsing-Mean Sha, Weiwen Jiang, Qingfeng Zhuge, Xianzhang Chen, Lei Yang 0018 |
Prevent Deadlock and Remove Blocking for Self-Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (1) ![In: Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I, pp. 155-169, 2015, Springer, 978-3-319-27118-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Yunkai Du, Naijie Gu |
Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR ![In: Third International Symposium on Computing and Networking, CANDAR 2015, Sapporo, Hokkaido, Japan, December 8-11, 2015, pp. 75-81, 2015, IEEE Computer Society, 978-1-4673-9797-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Luca Padovani, Tzu-Chun Chen, Andrea Tosatto |
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, pp. 83-98, 2015, Springer, 978-3-319-19281-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Huixia Liu, Weimin Wu |
Deadlock control policy for a class of automated manufacturing systems with key resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: 12th IEEE International Conference on Networking, Sensing and Control, ICNSC 2015, Taipei, Taiwan, April 9-11, 2015, pp. 486-491, 2015, IEEE, 978-1-4799-8069-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Luca Padovani, Luca Novara |
Types for Deadlock-Free Higher-Order Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, pp. 3-18, 2015, Springer, 978-3-319-19194-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Bernd Glatz, Roman Beneder, Martin Horauer, Thomas Rauscher |
Deadlock detection runtime service for Embedded Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, Luxembourg, September 8-11, 2015, pp. 1-7, 2015, IEEE, 978-1-4673-7929-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Peng Li, Jonathan C. Beard, Jeremy Buhler |
Deadlock-free buffer configuration for stream computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PMAM@PPoPP ![In: Proceedings of the Sixth International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP 2015, San Francisco, CA, USA, February 7-8, 2015, pp. 164-169, 2015, ACM, 978-1-4503-3404-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida |
Dynamic deadlock verification for general barrier synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA, February 7-11, 2015, pp. 150-160, 2015, ACM, 978-1-4503-3205-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Leiliane Pereira de Rezende, Stéphane Julia |
Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (1) ![In: ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 1, Barcelona, Spain, 27-30 April, 2015, pp. 429-439, 2015, SciTePress, 978-989-758-096-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Leiliane Pereira de Rezende, Stéphane Julia |
Possibilistic WorkFlow Net for Deadlock Avoidance in Interorganizational Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (Revised Selected Papers) ![In: Enterprise Information Systems - 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers, pp. 168-191, 2015, Springer, 978-3-319-29132-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Lankes |
A Selective Packet Discard Technique for Efficient Deadlock Recovery in Networks-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
13 | Ding Liu |
On Intrinsically Live Structure and Deadlock Control of Generalized Petri Nets Modeling Flexible Manufacturing Systems. (Sur le contrôle de blocage dans les systèmes flexibles de production à base de réseaux de Petri généralisés). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
13 | Mohammad Reza Shoaei |
Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
13 | Guido Marcelo Sanchez, Leonardo Luis Giovanini |
Autonomous navigation with deadlock detection and avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inteligencia Artif. ![In: Inteligencia Artif. 17(53), pp. 13-23, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | JongBeom Lim, Taeweon Suh, Heon-Chang Yu |
Unstructured deadlock detection technique with scalability and complexity-efficiency in clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Commun. Syst. ![In: Int. J. Commun. Syst. 27(6), pp. 852-870, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ka I Pun, Martin Steffen, Volker Stolz |
Deadlock checking by data race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 83(5-6), pp. 400-426, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Chin-Yao Chang, Kuen-Jong Lee |
On Deadlock Problem of On-Chip Buses Supporting Out-of-Order Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 22(3), pp. 484-496, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Nadav Sofy, David Sarne |
Effective deadlock resolution with self-interested partially-rational agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 72(3-4), pp. 225-266, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jianlong Xu, Zibin Zheng, Michael R. Lyu |
CGA-based deadlock solving strategies towards vehicle sensing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Wirel. Commun. Netw. ![In: EURASIP J. Wirel. Commun. Netw. 2014, pp. 214, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Yifan Hou, ZhiWu Li 0001, Mi Zhao, Ding Liu |
Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 27(1), pp. 85-102, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Freek Verbeek, Julien Schmaltz |
A Decision Procedure for Deadlock-Free Routing in Wormhole Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 25(8), pp. 1935-1944, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ben Akram Ahmed, Abderazek Ben Abdallah |
Graceful deadlock-free fault-tolerant routing algorithm for 3D Network-on-Chip architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 74(4), pp. 2229-2240, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Murat Uzam, Gökhan Gelen |
Comments on "Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 44(10), pp. 1455-1456, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Zuohua Ding, MengChu Zhou, ShouGuang Wang |
Ordinary Differential Equation-Based Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 44(10), pp. 1435-1454, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Yufeng Chen 0001, ZhiWu Li 0001, Abdulrahman Al-Ahmari |
Corrections to "Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 44(6), pp. 804, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Kanagasabapathi Somasundaram, Juha Plosila, Nallasamy Viswanathan |
Deadlock free routing algorithm for minimizing congestion in a Hamiltonian connected recursive 3D-NoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 45(8), pp. 989-1000, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Divjyot Sethi, Muralidhar Talupur, Sharad Malik |
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.7468, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro |
Deadlock Freedom by Construction for Distributed Adaptive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.0970, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Mohiadeen Abdul Kadhar |
A deadlock-free dynamic reconfiguration protocol for distributed routing on interconnection networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Arab J. Inf. Technol. ![In: Int. Arab J. Inf. Technol. 11(6), pp. 616-622, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Libertad Caicedo Acosta, Camilo Andrés Ospina Acosta, Nancy Yaneth Gelvez García, Oswaldo Alberto Romero Villalobos |
Design of a Mutual Exclusion and Deadlock Algorithm in PCBSD - FreeBSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Interact. Multim. Artif. Intell. ![In: Int. J. Interact. Multim. Artif. Intell. 3(1), pp. 44-48, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Hang Lei, Keyi Xing, LiBin Han, Fuli Xiong, Zhaoqiang Ge 0001 |
Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 72, pp. 297-305, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Mark G. Karpovsky, Lev B. Levitin, Mehmet Mustafa |
Optimal Turn Prohibition for Deadlock Prevention in Networks With Regular Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 1(1), pp. 74-85, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Fabiano de S. Oliveira, Valmir Carneiro Barbosa |
Revisiting deadlock prevention: A probabilistic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 63(2), pp. 203-210, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Bertrand Meyer 0001 |
An Automatic Technique for Static Deadlock Prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, pp. 45-58, 2014, Springer, 978-3-662-46822-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ernesto Villegas Castillo, Gabriele Miorandi, Jiang Chau Wang |
DyAFNoC: Characterization and analysis of a dynamically reconfigurable NoC using a DOR-based deadlock-free routing algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: Eighth IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2014, Ferrara, Italy, September 17-19, 2014, pp. 190-191, 2014, IEEE, 978-1-4799-5347-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ha Huy Cuong Nguyen, Van Son Le, Thanh Thuy Nguyen |
Algorithmic approach to deadlock detection for resource allocation in heterogeneous platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMARTCOMP ![In: International Conference on Smart Computing, SMARTCOMP 2014, Hong Kong, China, November 3-5, 2014, pp. 97-103, 2014, IEEE Computer Society, 978-1-4799-5711-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Prakash Chandrasekaran, Kavum Muriyil Balachandran Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram |
A multi-core version of FreeRTOS verified for datarace and deadlock freedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 62-71, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | M. B. Hadim |
The Multi-level Communication: Minimal Deadlock-Free and Storage Efficient Routing for Torus Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014, pp. 44-51, 2014, IEEE Computer Society, 978-1-4799-2729-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | JongSeung Park, Toshitake Nunogaki, Joo-Ho Lee 0001 |
The deadlock free path generation algorithm for multi-MoMo in R+iSpace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIM ![In: IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM 2014, Besancon, France, July 8-11, 2014, pp. 1030-1035, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Helio Waldman, Raul C. Almeida, Rodrigo C. Bortoletto, Karcius Day Rosario Assis |
Deadlock avoidance under incremental traffic in the elastic single link. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTON ![In: 16th International Conference on Transparent Optical Networks, ICTON 2014, Graz, Austria, July 6-10, 2014, pp. 1-4, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Malavika Samak, Murali Krishna Ramanathan |
Omen: a tool for synthesizing tests for deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH (Companion Volume) ![In: SPLASH'14 - Companion Publication of the 2014 ACM SIGPLAN Conference on Systems, Programming, and Applications: Software for Humanity, Portland, OR, USA, October 20-24, 2014, pp. 37-38, 2014, ACM, 978-1-4503-3208-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Malavika Samak, Murali Krishna Ramanathan |
Multithreaded test synthesis for deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014, pp. 473-489, 2014, ACM, 978-1-4503-2585-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Olaf Owe, Ingrid Chieh Yu |
Deadlock detection of active objects with synchronous and asynchronous method calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIK ![In: 27th Norsk Informatikkonferanse, NIK 2014, Høgskolen i Østfold, Fredrikstad, Norway, November 17-19, 2014, 2014, Bibsys Open Journal Systems, Norway. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Christian Hammer 0001 |
Detecting Deadlock in Programs with Data-Centric Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany, pp. 43-44, 2014, GI, 978-388579-621-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock 0001 |
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 62-77, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Divjyot Sethi, Muralidhar Talupur, Sharad Malik |
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pp. 330-347, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis |
Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014, pp. 5935-5942, 2014, IEEE, 978-1-4799-7746-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Piotr Dziurzanski, Tomasz Maka |
Network on chips link bandwidth minimization of deadlock-free multi-path routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSIP ![In: International Conference on Systems, Signals and Image Processing, IWSSIP 2014, Dubrovnik, Croatia, May 12-15, 2014, pp. 131-134, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile |
Deadlock and Temporal Properties Analysis in Mixed Reality Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014, pp. 55-65, 2014, IEEE Computer Society, 978-1-4799-6032-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ahmad Yasser Afaghani, Yasumichi Aiyama |
Advanced-collision-map-based on-line collision and deadlock avoidance between two robot manipulators with PTP commands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 2014 IEEE International Conference on Automation Science and Engineering, CASE 2014, New Taipei, Taiwan, August 18-22, 2014, pp. 1244-1251, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Malavika Samak, Murali Krishna Ramanathan |
Omen+: a precise dynamic deadlock detector for multithreaded Java libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pp. 735-738, 2014, ACM, 978-1-4503-3056-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Mahdi Eslamimehr, Jens Palsberg |
Sherlock: scalable deadlock detection for concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pp. 353-365, 2014, ACM, 978-1-4503-3056-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari 0001 |
Deadlock Avoidance in Train Scheduling: A Model Checking Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, pp. 109-123, 2014, Springer, 978-3-319-10701-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Elena Giachino, Cosimo Laneve |
Deadlock Detection in Linear Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pp. 26-64, 2014, Springer, 978-3-319-07316-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson |
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., pp. 362-369, 2014, International Federation of Automatic Control, 978-3-902823-61-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Hadi Zibaeenejad, John G. Thistle |
Deadlock Analysis of Generalized Parameterized Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., pp. 370-375, 2014, International Federation of Automatic Control, 978-3-902823-61-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Yushin Watanabe, Tatsushi Nishi |
A new deadlock prevention policy for multi-cluster tools with dual path. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014, pp. 1330-1335, 2014, IEEE, 978-1-4799-3840-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Boguslaw Schreyer, Krzysztof Kosinski |
Finite Automata In Software Modeling With Semaphores And Deadlock Potential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCCCE ![In: Proceedings of the 19th Western Canadian Conference on Computing Education, WCCCE '14, Richmond, BC, Canada, May 2-3, 2014, pp. 13:1-13:5, 2014, ACM, 978-1-4503-2899-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Yiyan Lin, Sandeep S. Kulkarni |
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 237-247, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Lígia Maria Soares Passos, Stéphane Julia |
Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, pp. 316-320, 2014, IEEE Computer Society, 978-1-4799-6572-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Simone Casale Brunet, Endri Bezati, Marco Mattavelli, Massimo Canale, Jörn W. Janneck |
Execution trace graph analysis of dataflow programs: Bounded buffer scheduling and deadlock recovery using model predictive control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing, DASIP 2014, Madrid, Spain, October 8-10, 2014, pp. 1-6, 2014, IEEE, 979-10-92279-06-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Elena Giachino, Naoki Kobayashi 0001, Cosimo Laneve |
Deadlock Analysis of Unbounded Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 63-77, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Florent Perronnet, Abdeljalil Abbas-Turki, Abdellah El Moudni |
Vehicle routing through deadlock-free policy for cooperative traffic control in a network of intersections: Reservation and congestion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 17th International IEEE Conference on Intelligent Transportation Systems, ITSC 2014, Qingdao, China, October 8-11, 2014, pp. 2233-2238, 2014, IEEE, 978-1-4799-6078-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans |
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 31-45, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari 0001 |
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 264-269, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Davide Patti, Andrea Mineo, Salvatore Monteleone, Vincenzo Catania |
Topology Discovery in Deadlock Free Self-assembled DNA Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSOC ![In: Modern Trends and Techniques in Computer Science - 3rd Computer Science On-line Conference 2014 (CSOC 2014), pp. 301-311, 2014, Springer, 978-3-319-06739-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Yuh Chao, Tsung Hsien Yu, Chia Chang Liou |
Enumeration of reachable, forbidden, live, and deadlock states of bottom k-th order system (with a left side non-sharing resource place) of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014, Miami, FL, USA, April 7-9, 2014, pp. 572-577, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Huixia Liu, Weimin Wu |
An efficient deadlock prevention policy based on selective transition covers for flexible manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014, Miami, FL, USA, April 7-9, 2014, pp. 484-489, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Xu Wang 0019, Cristian Mahulea, Manuel Silva Suárez |
Deadlock prevention policy for S3PR - Application to robot planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014, pp. 1-7, 2014, IEEE, 978-1-4799-4846-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Juan-Pablo López-Grao, José Manuel Colom, Fernando Tricas |
The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014, pp. 1-12, 2014, IEEE, 978-1-4799-4846-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Luca Padovani |
Deadlock and lock freedom in the linear π-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 72:1-72:10, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Francisco J. Andújar, Juan A. Villar, Francisco J. Alfaro, José L. Sánchez 0002, José Duato |
Deadlock-free routing mechanism for 3D twin torus networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INA-OCMC@HiPEAC ![In: Proceedings of the 8th International Workshop on Interconnection Network Architecture - On-Chip, Multi-Chip, INA-OCMC 2014, Vienna, Austria, January 22, 2014, pp. 3:1-3:4, 2014, ACM, 978-1-4503-2639-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Malavika Samak, Murali Krishna Ramanathan |
Trace driven dynamic deadlock detection and reproduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '14, Orlando, FL, USA, February 15-19, 2014, pp. 29-42, 2014, ACM, 978-1-4503-2656-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ka I Pun, Martin Steffen, Volker Stolz |
Behaviour Inference for Deadlock Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 106-113, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Michel Raynal |
Simple Deadlock Detection for the And-Communication Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Eighth International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014, Birmingham, UK, July 2-4, 2014, pp. 273-278, 2014, IEEE Computer Society, 978-1-4799-4325-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ka I Pun, Martin Steffen, Volker Stolz |
Effect-Polymorphic Behaviour Inference for Deadlock Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, pp. 50-64, 2014, Springer, 978-3-319-10430-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | GaiYun Liu, ZhiWu Li 0001, Kamel Barkaoui, Abdulrahman Al-Ahmari |
Robustness of deadlock control for a class of Petri nets with unreliable resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 235, pp. 259-279, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Hesuan Hu, MengChu Zhou, Zhiwu Li 0001, Ying Tang 0001 |
Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 9(1), pp. 109-121, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Renu Verma, Mohammad Ayoub Khan, Amit Zinzuwadiya |
Power and Latency Optimized Deadlock-Free Routing Algorithm on Irregular 2D Mesh NoC using LBDRe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Real Time Commun. Syst. ![In: Int. J. Embed. Real Time Commun. Syst. 4(2), pp. 36-49, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Nizar Dahir, Terrence S. T. Mak, Ra'ed Al-Dujaily, Alex Yakovlev |
Highly adaptive and deadlock-free routing for three-dimensional networks-on-chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Comput. Digit. Tech. ![In: IET Comput. Digit. Tech. 7(6), pp. 255-263, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis |
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 58(11), pp. 2772-2787, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Yang Wang 0006, Paul Lu |
Maximizing Active Storage Resources with Deadlock Avoidance in Workflow-Based Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 62(11), pp. 2210-2223, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Florentine Dubois, Abbas Sheibanyrad, Frédéric Pétrot, Maryam Bahmani |
Elevator-First: A Deadlock-Free Distributed Routing Algorithm for Vertically Partially Connected 3D-NoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 62(3), pp. 609-615, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Yufeng Chen 0001, ZhiWu Li 0001, Abdulrahman Al-Ahmari |
Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 43(2), pp. 252-265, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | ZhiWu Li 0001, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou |
Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 43(2), pp. 474, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Shao Yong Li, Aimin An, Ying Wang, Gang Wang, Cai Qin Hou, Ying Cai |
Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 24(6), pp. 1157-1173, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Yang Wang 0006, Paul Lu |
DDS: A deadlock detection-based scheduling algorithm for workflow computations in HPC systems with storage constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 39(8), pp. 291-305, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Miao Liu, Shouguang Wang, Zhiwu Li 0001 |
Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2013, pp. 315894:1-315894:11, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Yi-Sheng Huang, Yen-Liang Pan, Pin-June Su |
Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 12(1), pp. 11:1-11:13, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Naiqi Wu, Mengchu Zhou, Gang Hu |
One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 12(1), pp. 10:1-10:23, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|