Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Benedetta Flammini, Davide Azzalini, Francesco Amigoni |
Preventing Deadlocks for Multi-Agent Pickup and Delivery in Dynamic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, pp. 580-588, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
20 | Wei-Cheng Wang, Y.-W. Yeh, Rong-Shun Chen |
A polynomial-time hybrid solver for multi-agent motion navigation against deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 44(6), pp. 8925-8941, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Frantisek Capkovic |
Dealing with Deadlocks in Industrial Multi Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Internet ![In: Future Internet 15(3), pp. 107, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Rendong Chen, Fa Wu |
Dynamically Interrupting Deadlocks in Game Learning Using Multisampling Multiarmed Bandits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Games ![In: IEEE Trans. Games 15(3), pp. 360-367, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xinyu Chen, Zichao Xing, Ligen Feng, Tingqi Zhang, Weimin Wu, Ruifen Hu |
An ETCEN-Based Motion Coordination Strategy Avoiding Active and Passive Deadlocks for Multi-AGV System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 20(2), pp. 1364-1377, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Lili Bo, Yanchi Yuan, Xiaobing Sun 0001, Hao Xie, Bin Li 0006 |
TemLock: A Lightweight Template-based Approach for Fixing Deadlocks Caused by ReentrantLock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, pp. 723-727, 2023, IEEE, 978-1-6654-5278-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Khalid Hamada, Rabah Ammour, Leonardo Brenner, Isabel Demongodin |
Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: IEEE International Conference on Networking, Sensing and Control, ICNSC 2023, Marseille, France, October 25-27, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-6950-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Kaiwen Zhang 0010, Guanjun Liu |
Automatically Transform Rust Source to Petri Nets for Checking Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.02754, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Selvaraj Srinivasan |
An incremental approach for detecting distributed deadlocks in the generalized model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 104(1), pp. 149-168, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Juhás, Ana Juhásová, Tomás Kovácik |
Deadlocks and Livelocks in Resource Constrained Workflow Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets ![In: Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022., pp. 76-100, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Jia-Ju Bai, Tuo Li, Shi-Min Hu 0001 |
DLOS: Effective Static Detection of Deadlocks in OS Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2022 USENIX Annual Technical Conference, USENIX ATC 2022, Carlsbad, CA, USA, July 11-13, 2022, pp. 367-382, 2022, USENIX Association, 978-1-939133-29-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Xinyu Crystal Wu, T. S. Eugene Ng |
Detecting and Resolving PFC Deadlocks with ITSY Entirely in the Data Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: IEEE INFOCOM 2022 - IEEE Conference on Computer Communications, London, United Kingdom, May 2-5, 2022, pp. 1928-1937, 2022, IEEE, 978-1-6654-5822-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Raina Zakir, Marco Dorigo, Andreagiovanni Reina |
Robot Swarms Break Decision Deadlocks in Collective Perception Through Cross-Inhibition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANTS Conference ![In: Swarm Intelligence - 13th International Conference, ANTS 2022, Málaga, Spain, November 2-4, 2022, Proceedings, pp. 209-221, 2022, Springer, 978-3-031-20175-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Dhriti Khanna, Rahul Purandare, Subodh Sharma 0001 |
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 1-12, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Zhengyi Qiu, Shudi Shao, Qi Zhao 0003, Guoliang Jin |
A Characteristic Study of Deadlocks in Database-Backed Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021, pp. 510-521, 2021, IEEE, 978-1-6654-2587-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Caleb Voss 0001 |
Addressing Logical Deadlocks through Task-Parallel Language Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
20 | Yuan Zhou 0005, Hesuan Hu, Yang Liu 0003, Shang-Wei Lin 0001, Zuohua Ding |
A distributed method to avoid higher-order deadlocks in multi-robot systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 112, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Damian Giebas, Rafal Wojszczyk |
Rules in Detection of Deadlocks in Multithreaded Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCAI (Special Sessions) ![In: Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020, L'Aquila, Italy, 17-19 June 2020., pp. 15-24, 2020, Springer, 978-3-030-53828-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | H. Akin Ünver |
Internet, Social Media and Conflict Studies Can Greater Interdisciplinarity Solve the Analytical Deadlocks in Cybersecurity Research? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.01777, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Toshihiro Kujirai, Takayoshi Yokota |
Breaking Deadlocks in Multi-agent Reinforcement Learning with Sparse Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI (1) ![In: PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, pp. 746-759, 2019, Springer, 978-3-030-29907-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Paul Cazenave, Manel Khlif-Bouassida, Armand Toguyéni |
Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019, Paris, France, April 23-26, 2019, pp. 1923-1928, 2019, IEEE, 978-1-7281-0521-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ji Liu 0001, Shaoshuai Mou, A. Stephen Morse, Brian D. O. Anderson, Changbin Brad Yu |
Request-based gossiping without deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 93, pp. 454-461, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Tatiana R. Shmeleva |
Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 52(7), pp. 596-604, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Eduard Kamburjan |
Detecting Deadlocks in Formal System Models with Condition Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Chelsea A. Metcalf, Tuba Yavuz |
Detecting potential deadlocks through change impact analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 26(3), pp. 1015-1036, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ruochen Tai, Jingchuan Wang, Wei Tian, Weidong Chen 0001, Hesheng Wang 0001, Yue Zhou |
A Time-Efficient Approach to Solve Conflicts and Deadlocks for Scheduling AGVs in Warehousing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCAR ![In: IEEE International Conference on Real-time Computing and Robotics, RCAR 2018, Kandima, Maldives, August 1-5, 2018, pp. 166-171, 2018, IEEE, 978-1-5386-6869-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Shira Werman, Aviv Zohar |
Avoiding Deadlocks in Payment Channel Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DPM/CBT@ESORICS ![In: Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings, pp. 175-187, 2018, Springer, 978-3-030-00304-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yong Cui 0003, Ullrich Martin, Jiajian Liang |
Searching feasible resources to reduce false-positive situations for resolving deadlocks with the Banker's algorithm in railway simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Rail Transp. Plan. Manag. ![In: J. Rail Transp. Plan. Manag. 7(1-2), pp. 50-61, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Yong Yang 0007, Wei Lu 0010, Weiwei Xing, Liqiang Wang, Xiaoping Che, Lei Chen 0047 |
Detecting and resolving deadlocks in mobile agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 42, pp. 23-30, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Vojtech Forejt, Saurabh Joshi 0001, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma 0001 |
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 39(4), pp. 15:1-15:27, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Lorenzo Maggi, Pierre-Louis Poirion, Jeremie Leguay |
Reroute backward to better break deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CloudNet ![In: 6th IEEE International Conference on Cloud Networking, CloudNet 2017, Prague, Czech Republic, September 25-27, 2017, pp. 95-100, 2017, IEEE, 978-1-5090-4026-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jinpeng Zhou, Sam Silvestro, Hongyu Liu 0005, Yan Cai 0001, Tongping Liu |
UNDEAD: detecting and preventing deadlocks in production software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, pp. 729-740, 2017, IEEE Computer Society, 978-1-5386-2684-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Lienert, Johannes Fottner |
No More Deadlocks - Applying The Time Window Routing Method To Shuttle Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: European Conference on Modelling and Simulation, ECMS 2017, Budapest, Hungary, May 23-26, 2017, Proceedings., pp. 169-175, 2017, European Council for Modeling and Simulation. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Qiong Lu |
Dynamic Testing for Deadlocks via Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 42(9), pp. 825-842, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Ji Liu 0001, Shaoshuai Mou, A. Stephen Morse, Brian D. O. Anderson, Changbin Yu |
Request-Based Gossiping without Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.08463, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Shuihai Hu, Yibo Zhu, Peng Cheng 0005, Chuanxiong Guo, Kun Tan, Jitendra Padhye, Kai Chen 0005 |
Deadlocks in Datacenter Networks: Why Do They Form, and How to Avoid Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotNets ![In: Proceedings of the 15th ACM Workshop on Hot Topics in Networks, HotNets 2016, Atlanta, GA, USA, November 9-10, 2016, pp. 92-98, 2016, ACM, 978-1-4503-4661-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Shpiner, Eitan Zahavi, Vladimir Zdornov, Tal Anker, Matty Kadosh |
Unlocking Credit Loop Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotNets ![In: Proceedings of the 15th ACM Workshop on Hot Topics in Networks, HotNets 2016, Atlanta, GA, USA, November 9-10, 2016, pp. 85-91, 2016, ACM, 978-1-4503-4661-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Zijiang Yang 0006 |
Radius aware probabilistic testing of deadlocks with guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, pp. 356-367, 2016, ACM, 978-1-4503-3845-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Lingwei Cao |
Fixing deadlocks via lock pre-acquisitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016, pp. 1109-1120, 2016, ACM, 978-1-4503-3900-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Seyed Morteza Babamir, Elmira Hassanzade, Mona Azimpour |
Predicting potential deadlocks in multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 27(17), pp. 5261-5287, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Changjiang Jia, Shangru Wu, Ke Zhai 0002, Wing Kwong Chan |
ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 26(1), pp. 13-23, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Ibrahim Al-Bahadly, Justin Moloney |
Remote monitoring system for deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 9th International Conference on Sensing Technology, ICST 2015, Auckland, New Zealand, December 8-10, 2015, pp. 82-87, 2015, IEEE, 978-1-4799-6314-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Lobo, Fernando Castor |
Deadlocks as Runtime Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 96-111, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Helidon Karcanaj, Edra Bumci, Igli Tafa, Julian Fejzaj |
Deadlocks in Different Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: 12th International Conference on Information Technology - New Generations, ITNG 2015, Las Vegas, NV, USA, April 13-15, 2015, pp. 717-718, 2015, IEEE Computer Society, 978-1-4799-8828-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Mehdi Foumani, Indra Gunawan, Kate Smith-Miles |
Resolution of deadlocks in a robotic cell scheduling problem with post-process inspection system: Avoidance and recovery scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEM ![In: 2015 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2015, Singapore, December 6-9, 2015, pp. 1107-1111, 2015, IEEE, 978-1-4673-8066-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Christian Reuter 0003, Stefan Göbel 0001, Ralf Steinmetz |
Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDG ![In: Proceedings of the 10th International Conference on the Foundations of Digital Games, FDG 2015, Pacific Grove, CA, USA, June 22-25, 2015, 2015, Society for the Advancement of the Science of Digital Games. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Yan Cai 0001, W. K. Chan 0001 |
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 40(3), pp. 266-281, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Georgiana Caltais, Bertrand Meyer 0001 |
Coffman deadlocks in SCOOP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.7514, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Katarzyna Sznajd-Weron, Karol Michal Suszczynski |
Nonlinear q-voter model with deadlocks on the Watts-Strogatz graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.0918, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma 0001 |
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 263-278, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid |
SRMP: a software pattern for deadlocks prevention inreal-time concurrency models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA ![In: QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 04, 2014, pp. 139-144, 2014, ACM, 978-1-4503-2576-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Zhi Tao, Hui Li 0022, Bing Zhu 0003, Yunmin Wang |
A Semi-centralized Algorithm to Detect and Resolve Distributed Deadlocks in the Generalized Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE ![In: 17th IEEE International Conference on Computational Science and Engineering, CSE 2014, Chengdu, China, December 19-21, 2014, pp. 735-740, 2014, IEEE Computer Society, 978-1-4799-7981-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Wei Song 0002, Guangda Zhang, Jim D. Garside |
On-line detection of the deadlocks caused by permanently faulty links in quasi-delay insensitive networks on chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Great Lakes Symposium on VLSI 2014, GLSVLSI '14, Houston, TX, USA - May 21 - 23, 2014, pp. 211-216, 2014, ACM, 978-1-4503-2816-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Shangru Wu, W. K. Chan 0001 |
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014, pp. 491-502, 2014, ACM, 978-1-4503-2756-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Surabhi Pandey, Sushanth Bhat, Vivek K. Shanbhag |
Avoiding deadlocks using stalemate and dimmunix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014, pp. 602-603, 2014, ACM, 978-1-4503-2768-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Michal Zarnay, Fernando Tricas García |
Enhancing banker's algorithm for avoiding deadlocks in systems with non-sequential processes. ![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-8, 2014, IEEE, 978-1-4799-4846-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Vaithianathan Geetha, Niladhuri Sreenath |
Preventing deadlocks and starvation in distributed object oriented systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 39(2), pp. 582-595, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Xiaohang Wang 0001, Peng Liu 0016, Mei Yang, Yingtao Jiang |
Avoiding request-request type message-dependent deadlocks in networks-on-chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 39(9), pp. 408-423, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy |
Testing Database-Centric Applications for Causes of Database Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013, pp. 174-183, 2013, IEEE Computer Society, 978-1-4673-5961-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | B. M. Mainul Hossain, Mark Grechanik, Ugo A. Buy, Haisheng Wang |
REDACT: preventing database deadlocks from application-based transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013, pp. 591-594, 2013, ACM, 978-1-4503-2237-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy, Haisheng Wang |
Preventing database deadlocks in applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013, pp. 356-366, 2013, ACM, 978-1-4503-2237-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Ruisheng Wang, Lizhong Chen, Timothy Mark Pinkston |
Bubble coloring: avoiding routing- and protocol-induced deadlocks with minimal virtual channel requirement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: International Conference on Supercomputing, ICS'13, Eugene, OR, USA - June 10 - 14, 2013, pp. 193-202, 2013, ACM, 978-1-4503-2130-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, W. K. Chan 0001, Yuen-Tak Yu |
Taming Deadlocks in Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013, pp. 276-279, 2013, IEEE, 978-1-4799-0500-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Yan Cai 0001, Ke Zhai 0002, Shangru Wu, Wing Kwong Chan |
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013, pp. 311-312, 2013, ACM, 978-1-4503-1922-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mark Grechanik |
The curse of database deadlocks: the problem with no good solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 37(5), pp. 13-14, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 38(2), pp. 354-374, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | K. S. Rashmi, V. Suma 0001, M. Vaidehi |
Enhanced Load Balancing Approach to Avoid Deadlocks in Cloud ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1209.6470, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson |
Guided Search for Deadlocks in Actor-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 242-259, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro |
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 110-127, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Matthieu Perin, Jean-Marc Faure |
Coupling timed plant and controller models with urgent transitions without introducing deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012, pp. 1-9, 2012, IEEE, 978-1-4673-4735-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Roy H. Campbell |
Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Parallel Computing ![In: Encyclopedia of Parallel Computing, pp. 524-527, 2011, Springer, 978-0-387-09765-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Selvaraj Srinivasan, Ramasamy Rajaram |
Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 35(4), pp. 489-498, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Hari K. Pyla |
Composing locks by decomposing deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 67-70, 2011, ACM, 978-1-4503-0942-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Ian Pye |
Locks, deadlocks and abstractions: experiences with multi-threaded programming at CloudFlare, Inc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH Workshops ![In: SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, and VMIL'11, Portland, OR, USA, October 22-27, 2011, pp. 129-132, 2011, ACM, 978-1-4503-1183-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, ESEM 2011, Banff, AB, Canada, September 22-23, 2011, pp. 10-19, 2011, IEEE Computer Society, 978-1-4577-2203-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Elena Giachino, Cosimo Laneve |
Analysis of Deadlocks in Object Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, pp. 168-182, 2011, Springer, 978-3-642-21460-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Freek Verbeek, Julien Schmaltz |
Hunting deadlocks efficiently in microarchitectural models of communication fabrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 223-231, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Horatiu Jula |
Deadlock Immunity - Enabling General-Purpose Software to Defend Itself against Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
DOI RDF |
|
20 | Nariman Mani, Vahid Garousi, Behrouz H. Far |
Search-Based Testing of Multi-Agent Manufacturing Systems for Deadlocks Based on Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 19(4), pp. 417-437, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | P. Yvars |
A Constraint Based Decision Support System for Deadlocks Resolution in Collaborative New Product Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Decis. Syst. ![In: J. Decis. Syst. 19(1), pp. 57-74, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli |
A method to remove deadlocks in Networks-on-Chips with Wormhole flow control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, pp. 1625-1628, 2010, IEEE Computer Society, 978-1-4244-7054-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif |
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS ![In: Architecture of Computing Systems - ARCS 2010, 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings, pp. 87-100, 2010, Springer, 978-3-642-11949-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay |
An effective dynamic analysis for detecting generalized deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010, pp. 327-336, 2010, ACM, 978-1-60558-791-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Richard Müller 0001 |
On the Notion of Deadlocks in Open Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWPN ![In: Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010, pp. 130-135, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Byung-Chul Kim, Yong-Kee Jun |
Program Visualization for Debugging Deadlocks in Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-ASEA ![In: Advances in Software Engineering - International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, pp. 228-236, 2010, Springer, 978-3-642-17577-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Michele Portolan, Bradford G. Van Treuren, Suresh Goyal |
Scan chain securization though Open-Circuit Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 2011 IEEE International Test Conference, ITC 2010, Austin, TX, USA, November 2-4, 2010, pp. 808, 2010, IEEE Computer Society, 978-1-4244-7206-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jong Hyuk Park, Hyoung Joong Kim, Chulung Lee |
Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 20(3), pp. 321-325, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Xiaoyu Song, Limei Sun, Qiuhong Meng |
Deadlocks Solving Strategies in Hybrid PSO Algorithm for JSSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (7) ![In: Fourth International Conference on Natural Computation, ICNC 2008, Jinan, Shandong, China, 18-20 October 2008, Volume 7, pp. 614-618, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Enrique Alba 0001, Francisco Chicano, Marco Ferreira, Juan Antonio Gómez Pulido |
Finding deadlocks in large concurrent Java programs using genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1735-1742, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
memory operator, genetic algorithm, model checking, graph search |
20 | Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea |
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, pp. 295-308, 2008, USENIX Association, 978-1-931971-65-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Gabriela Avram |
Of Deadlocks and Peopleware - Collaborative Work Practices in Global Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGSE ![In: 2nd IEEE International Conference on Global Software Engineering, ICGSE 2007, Munich, Germany, 27-30 August, 2007, pp. 91-102, 2007, IEEE Computer Society, 978-0-7695-2920-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Martin Raußen |
Deadlocks and dihomotopy in mutual exclusion models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 365(3), pp. 247-257, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Soojung Lee, Kil Hong Joo |
Efficient detection and resolution of OR deadlocks in distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 65(9), pp. 985-993, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Sara Gradara, Antonella Santone, Maria Luisa Villani |
Using heuristic search for finding deadlocks in concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 202(2), pp. 191-226, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Martin Raussen |
Deadlocks and Dihomotopy in Mutual Exclusion Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Representation ![In: Spatial Representation: Discrete vs. Continuous Computational Models, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Soojung Lee |
Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(9), pp. 561-573, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Xinli Wang, Jean Mayo |
A Distributed Algorithm for Detecting Deadlocks under the OR Model and the Resolution Based on Hardware Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCS ![In: Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, September 15-17, 2004, The Canterbury Hotel, San Francisco, California, USA, pp. 193-200, 2004, ISCA, 1-880843-52-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Michael Kersten, Wolfgang Nebel |
On Detecting Deadlocks in Large UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France, pp. 11-20, 2004, Kluwer/Springer, 1-4020-8148-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Fragkiskos Pentaris, Yannis E. Ioannidis |
Self-Deadlocks in Disparate Scientific Data Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 21-23 June 2004, Santorini Island, Greece, pp. 445-446, 2004, IEEE Computer Society, 0-7695-2146-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Bassel R. Arafeh |
A task duplication scheme for resolving deadlocks in clustered DAGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 29(6), pp. 795-820, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|