Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Zana Ghaderi, Ayed Alqahtani 0001, Nader Bagherzadeh |
AROMa: Aging-Aware Deadlock-Free Adaptive Routing Algorithm and Online Monitoring in 3D NoCs. |
IEEE Trans. Parallel Distributed Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | German Maglione Mathey, Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles 0001, Eitan Zahavi |
Scalable Deadlock-Free Deterministic Minimal-Path Routing Engine for InfiniBand-Based Dragonfly Networks. |
IEEE Trans. Parallel Distributed Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Gonzalo Mejía, Juan Pablo Caballero-Villalobos, Carlos Montoya |
Petri Nets and Deadlock-Free Scheduling of Open Shop Manufacturing Systems. |
IEEE Trans. Syst. Man Cybern. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Victor R. L. Shen, Cheng-Ying Yang, Rong-Kuan Shen, Yu-Chia Chen |
Application of Petri nets to deadlock avoidance in iPad-like manufacturing systems. |
J. Intell. Manuf. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | LiBin Han, Keyi Xing, Xiao Chen, Fuli Xiong |
A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems. |
J. Intell. Manuf. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Qi Zhou, Bing-Hai Zhou |
An impending deadlock-free scheduling method in the case of unified automated material handling systems in 300 mm wafer fabrications. |
J. Intell. Manuf. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Luca Padovani |
Deadlock-Free Typestate-Oriented Programming. |
Art Sci. Eng. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Pieter Stroobant, Sergi Abadal, Wouter Tavernier, Eduard Alarcón, Didier Colle, Mario Pickavet |
A General, Fault tolerant, Adaptive, Deadlock-free Routing Protocol for Network-on-chip. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Ornela Dardha, Jorge A. Pérez 0001 |
Comparing Type Systems for Deadlock-Freedom. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Luca Padovani |
Deadlock-Free Typestate-Oriented Programming. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel |
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Marius Bozga, Radu Iosif, Joseph Sifakis |
Checking Deadlock-Freedom of Parametric Component-Based Systems. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Geraint I. Palmer, Paul R. Harper, Vincent A. Knight |
Modelling deadlock in open restricted queueing networks. |
Eur. J. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber 0001, Joseph Sifakis, Fadi A. Zaraket |
Global and Local Deadlock Freedom in BIP. |
ACM Trans. Softw. Eng. Methodol. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | William Sims Bainbridge |
Deadlock. |
Commun. ACM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Wei Lu 0010, Yong Yang 0007, Liqiang Wang, Weiwei Xing, Xiaoping Che, Lei Chen 0047 |
A fault tolerant election-based deadlock detection algorithm in distributed systems. |
Softw. Qual. J. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ilwoo Hwang |
A theory of bargaining deadlock. |
Games Econ. Behav. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Tatsushi Nishi, Yushin Watanabe, Masaru Sakai |
An Efficient Deadlock Prevention Policy for Noncyclic Scheduling of Multicluster Tools. |
IEEE Trans Autom. Sci. Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Mayank Parasar, Ankit Sinha, Tushar Krishna |
Brownian Bubble Router: Enabling Deadlock Freedom via Guaranteed Forward Progress. |
NOCS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Wiktor B. Daszczuk |
Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS). |
FedCSIS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Pieter Stroobant, Sergi Abadal, Wouter Tavernier, Eduard Alarcón, Didier Colle, Mario Pickavet |
A General, Fault tolerant, Adaptive, Deadlock-free Routing Protocol for Network-on-chip. |
NoCArc@MICRO |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Cosimo Laneve |
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink |
Deadlock Detection for Actor-Based Coroutines. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Waqar Haque, Adam Vezina, Matthew Fontaine |
Topological Response to Deadlock Detection and Resolution in Real-Time Database Systems. |
iThings/GreenCom/CPSCom/SmartData |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sankui Sun, Chonglin Gu, Qian Wan 0002, Hejiao Huang, Xiaohua Jia |
CROTPN Based Collision-Free and Deadlock-Free Path Planning of AGVs in Logistic Center. |
ICARCV |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ornela Dardha, Simon J. Gay |
A New Linear Logic for Deadlock-Free Session-Typed Processes. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jafar Hamin, Bart Jacobs 0002 |
Deadlock-Free Monitors. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Aida Lahouij, Lazhar Hamel, Mohamed Graiet |
Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. |
OTM Conferences (1) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Michael Ibrahim 0001, Spyros A. Reveliotis |
Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation Systems. |
CDC |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Eman Aldakheel, Ugo A. Buy, Simran Kaur 0005 |
DDS: Deadlock Detector and Solver. |
ISSRE Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Lev Kurbanov, Ksenia Rozhdestvenskaya, Elena Suvorova |
Deadlock-Free Routing in SpaceWire Onboard Network. |
FRUCT |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Youngho Choi, Jaeook Kwon, Seokjae Jeong, Hansub Park, Young Ik Eom |
Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jose Antonio Pascual, Javier Navaridas |
High-Performance, Low-Complexity Deadlock Avoidance for Arbitrary Topologies/Routings. |
ICS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Yuya Minami, Nobuhiro Kajikawa, Ryohei Saka, Yuma Nakao, Eitaro Kohno, Yoshiaki Kakuda |
Arbitration-Based Deadlock Mitigation Mechanism for Fast Connection Establishment in Autonomous Self-Organized Bluetooth MANETs. |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Craig C. Douglas, Krishanthan Krishnamoorthy |
Static Analysis and Symbolic Execution for Deadlock Detection in MPI Programs. |
ICCS (2) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | André B. Bondi |
Predicting the Time to Migrate Into Deadlock Using a Discrete Time Markov Chain. |
ICPE Companion |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Yuan Cai, Dong Xiang, Xiang Ji |
Deadlock-Free Adaptive Routing Based on the Repetitive Turn Model for 3D Network-on-Chip. |
ISPA/IUCC/BDCloud/SocialCom/SustainCom |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Yanjun Lu, ChunRong Pan, Yan Qiao, Naiqi Wu, Yufeng Chen 0001 |
Petri net-based deadlock avoidance for single-arm cluster tools with concurrently processing two-type wafers. |
ICNSC |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Eman Aldakheel |
Deadlock detector and solver (DDS). |
ICSE (Companion Volume) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ionut Tamas, Ioan Salomie, Marcel Antal |
Atomic invariants verification and deadlock detection at compile-time. |
ICCP |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Alan Diêgo Aurélio Carneiro, Fábio Protti, Uéverton S. Souza |
Fine-Grained Parameterized Complexity Analysis of Knot-Free Vertex Deletion - A Deadlock Resolution Graph Problem. |
COCOON |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Aniruddh Ramrakhyani, Paul V. Gratz, Tushar Krishna |
Synchronized Progress in Interconnection Networks (SPIN): A New Theory for Deadlock Freedom. |
ISCA |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jyotiranjan Swain, Sumanta Pyne |
Deadlock Detection in Digital Microfluidics Biochip Droplet Routing. |
VDAT |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Mandy Weißbach, Wolf Zimmermann |
On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems. |
ESOCC Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman |
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Feng Tian 0002, Rong Zhang, Jacek Lewandowski, Kuo-Ming Chao, Longzhuang Li, Bo Dong |
Deadlock-free migration for virtual machine consolidation using Chicken Swarm Optimization algorithm. |
J. Intell. Fuzzy Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jianchao Luo, Keyi Xing, MengChu Zhou, Xiao Ling Li 0001, Xinnian Wang |
Scheduling of deadlock and failure-prone automated manufacturing systems via hybrid heuristic search. |
Int. J. Prod. Res. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jinwei Guo, Yamiao Cui, Che Liu |
Deadlock Control Based on Capacity Restrictions for FMS. |
IMA J. Math. Control. Inf. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Alfaro-Cortes, Francisco José Quiles Flor |
Providing differentiated services, congestion management, and deadlock freedom in dragonfly networks with adaptive routing. |
Concurr. Comput. Pract. Exp. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Alfaro-Cortes, Francisco J. Quiles 0001 |
Providing differentiated services, congestion management, and deadlock freedom in dragonfly networks with adaptive routing. |
Concurr. Comput. Pract. Exp. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Yufeng Chen 0001, ZhiWu Li 0001, Abdulrahman Al-Ahmari, Naiqi Wu, Ting Qu |
Deadlock recovery for flexible manufacturing systems modeled with Petri nets. |
Inf. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Miao Liu, ShouGuang Wang, MengChu Zhou, Ding Liu, Abdulrahman Al-Ahmari, Ting Qu, Naiqi Wu, ZhiWu Li 0001 |
Deadlock and liveness characterization for a class of generalized Petri nets. |
Inf. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Mi Zhao, Murat Uzam |
A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems. |
Inf. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Guangda Zhang, Wei Song 0002, Jim D. Garside, Javier Navaridas, Zhiying Wang 0003 |
Handling Physical-Layer Deadlock Caused by Permanent Faults in Quasi-Delay-Insensitive Networks-on-Chip. |
IEEE Trans. Very Large Scale Integr. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ryuta Kawano, Hiroshi Nakahara, Seiichi Tade, Ikki Fujiwara, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano |
A Novel Channel Assignment Method to Ensure Deadlock-Freedom for Deterministic Routing. |
IEICE Trans. Inf. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Peng Li, Jonathan C. Beard, Jeremy D. Buhler |
Deadlock-free buffer configuration for stream computing. |
Int. J. High Perform. Comput. Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Hadi Zibaeenejad, John G. Thistle |
Deadlock Analysis of Parameterized-Chain Networks. |
IEEE Trans. Autom. Control. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Wei Liu 0051, Lu Wang, Yuyue Du, Maozhen Li 0001 |
Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure. |
Int. J. Parallel Program. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh |
Deadlock Verification of Cache Coherence Protocols and Communication Fabrics. |
IEEE Trans. Computers |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Yuan Zhou 0005, Hesuan Hu, Yang Liu 0003, Zuohua Ding |
Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach. |
IEEE Trans. Syst. Man Cybern. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Abel Garcia, Cosimo Laneve |
Deadlock detection of Java Bytecode. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel |
On the Generation of Initial Contexts for Effective Deadlock Detection. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Wiktor B. Daszczuk |
Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Hang Lei, Keyi Xing, LiBin Han, Zhenxin Gao |
Hybrid heuristic search approach for deadlock-free scheduling of flexible manufacturing systems using Petri nets. |
Appl. Soft Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Einollah Pira, Vahid Rafe, Amin Nikanjam |
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm. |
J. Syst. Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Gonzalo Mejía, Karen Niño |
A new Hybrid Filtered Beam Search algorithm for deadlock-free scheduling of flexible manufacturing systems using Petri Nets. |
Comput. Ind. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Cheng Chen, Zheng Zheng 0001, Haoqin Wang, Yu Qiao |
基于测试充分性准则的非死锁并发缺陷定位方法 (Non-deadlock Concurrency Fault Localization Approach Based on Adequate Test Criteria). |
计算机科学 |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Spyros A. Reveliotis, Zhennan Fei |
Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages. |
IEEE Trans Autom. Sci. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Naoki Kobayashi 0001, Cosimo Laneve |
Deadlock analysis of unbounded process networks. |
Inf. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Wiktor B. Daszczuk |
Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking. |
Comput. J. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Frank S. de Boer, Stijn de Gouw |
Run-Time Deadlock Detection. |
Provably Correct Systems |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul |
Deadlock-Freeness Verification of Business Process Configuration Using SOG. |
ICSOC |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Vahid Janfaza, Elaheh Baharlouei |
A new fault-tolerant deadlock-free fully adaptive routing in NOC. |
EWDTS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jindun Dai, Xin Jiang 0003, Renjie Li, Takahiro Watanabe |
An Efficient Deadlock-Free Adaptive Routing Algorithm for 3D Network-on-Chips. |
MCSoC |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Aniruddh Ramrakhyani, Tushar Krishna |
Static Bubble: A Framework for Deadlock-Free Irregular On-chip Topologies. |
HPCA |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles 0001, Torsten Hoefler |
An Effective Queuing Scheme to Provide Slim Fly Topologies with HoL Blocking Reduction and Deadlock Freedom for Minimal-Path Routing. |
HiPINEB@HPCA |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Wiktor B. Daszczuk, Wlodek M. Zuberek |
Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets. |
DepCoS-RELCOMEX |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Waqar Haque, Matthew Fontaine, Adam Vezina |
Adaptive Deadlock Detection and Resolution in Real-Time Distributed Environments. |
HPCC/SmartCity/DSS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Luis F. Mejia-Ricart, Aspen Olmsted |
Avoiding unnecessary deaths: Drag-Back, a deadlock avoidance model. |
ICITST |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Peter Trautman |
Breaking the Human-Robot Deadlock: Surpassing Shared Control Performance Limits with Sparse Human-Robot Interaction. |
Robotics: Science and Systems |
2017 |
DBLP BibTeX RDF |
|
13 | Bingyi Cao, Kenneth A. Ross, Stephen A. Edwards, Martha A. Kim |
Deadlock-free joins in DB-mesh, an asynchronous systolic array accelerator. |
DaMoN |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Shuihai Hu, Yibo Zhu, Peng Cheng 0005, Chuanxiong Guo, Kun Tan, Jitendra Padhye, Kai Chen 0005 |
Tagger: Practical PFC Deadlock Prevention in Data Center Networks. |
CoNEXT |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Anirudh Santhiar, Aditya Kanade |
Static deadlock detection for asynchronous C# programs. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ryuta Kawano, Ryota Yasudo, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano |
HiRy: An Advanced Theory on Design of Deadlock-Free Adaptive Routing for Arbitrary Topologies. |
ICPADS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Yin Chen 0003, Xinjun Mao, Fu Hou |
Deadlock Prevention in Rendezvous Generation for On-demand Inter-robot Resource Delivery. |
ICAART (2) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Abderrahim Ait Wakrime |
Deadlock-freedom of scientific applications using strict colored FIFO nets. |
CoDIT |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Koji Hasebe, Mitsuaki Tsuji, Kazuhiko Kato |
Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking. |
DASC/PiCom/DataCom/CyberSciTech |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Alan Diêgo Aurélio Carneiro, Fábio Protti, Uéverton S. Souza |
Deletion Graph Problems Based on Deadlock Resolution. |
COCOON |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Mowafak H. Abdul-Hussin, Zbigniew Antoni Banaszak |
Siphon-based deadlock prevention for a class of S4PR generalized Petri nets. |
ICCAIS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Cosimo Laneve, Abel Garcia |
Deadlock Detection of Java Bytecode. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel |
Generation of Initial Contexts for Effective Deadlock Detection. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Masoumeh Ebrahimi, Masoud Daneshtalab |
EbDa: A New Theory on Design and Verification of Deadlock-free Interconnection Networks. |
ISCA |
2017 |
DBLP BibTeX RDF |
|
13 | Mandy Weißbach, Wolf Zimmermann |
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. |
ESOCC |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira |
A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. |
ICEIS (2) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jens Domke |
Routing on the Channel Dependency Graph:: A New Approach to Deadlock-Free, Destination-Based, High-Performance Routing for Lossless Interconnection Networks. |
|
2017 |
RDF |
|
13 | Rosa Yousefian, Shahryar Aboutorabi, Vahid Rafe |
A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems. |
J. Intell. Fuzzy Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Ka I Pun, Martin Steffen, Volker Stolz |
Effect-polymorphic behaviour inference for deadlock checking. |
J. Log. Algebraic Methods Program. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Christian Engelmann, Thomas J. Naughton |
A new deadlock resolution protocol and message matching algorithm for the extreme-scale simulator. |
Concurr. Comput. Pract. Exp. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Elena Giachino, Cosimo Laneve, Michael Lienhardt |
A framework for deadlock detection in core ABS. |
Softw. Syst. Model. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Yunchao Wu, Keyi Xing, Jianchao Luo, Yanxiang Feng |
Robust deadlock control for automated manufacturing systems with an unreliable resource. |
Inf. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|