Showing 1 - 20 results of 134 for search 'Deadlock (computer science)', query time: 0.16s Refine Results
  1. 1
    Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs
    Published 2016
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the First International Workshop on Many-core Embedded Systems
    Published 2013
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
    Published 2006
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach /
    by Li, ZhiWu, Zhou, MengChu
    Published 2009
    Table of Contents: “…Petri Nets -- Elementary Siphons of Petri Nets -- Monitor Implementation of GMECs -- Deadlock…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Computer and Information Science 2010
    Published 2010
    Table of Contents: “… Modifications -- On Influence of Refractory Parameter in Incremental Learning -- Deadlock Detection for Parallel…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I /
    Published 2007
    Table of Contents: “… Constrained Minimum Cost -- Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Computational Science - ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II /
    Published 2018
    Table of Contents: “…Track of Advances in High-Performance Computational Earth -- Sciences: Applications and Frameworks…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Graph-Theoretic Concepts in Computer Science 23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997. Proceedings /
    Published 1997
    Table of Contents: “… -- Pseudo-hamiltonian graphs -- Acyclic orientations for deadlock prevention in interconnection networks…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 /
    Published 1998
    Table of Contents: “… in neural computation -- From algorithms to working programs: On the use of program checking in LEDA…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings /
    Published 2012
    Table of Contents: “… Channel.- Fast Distributed Computation in Dynamic Networks via Random Walks.- Dense Subgraphs on Dynamic…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Position-Based Fast Radix-2 Algorithm for Computing the DHT -- Study of Bit-Parallel Approximate…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings /
    Published 1998
    Table of Contents: “… Approach to the Assignment of Non-reusable Frequencies -- Session 1(b) -- Deadlock Sensitive Types…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Performability in Component-Based Systems -- Multimedia Retrieval Algorithmics -- Foundations of Computer Science…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Advanced Techniques in Computing Sciences and Software Engineering
    Published 2010
    Table of Contents: “… Techniques -- Economic Path Scheduling for Mobile Agent System on Computer Network -- A Database-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Intelligent Systems for Science and Information Extended and Selected Results from the Science and Information Conference 2013 /
    Published 2014
    Table of Contents: “… Mining Approach in Host and Network-based -- Two Types of Deadlock Detection: Cyclic and Acyclic…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers /
    Published 2013
    Table of Contents: “… Refinement Types for Authentication and Authorization -- Seamless Distributed Computing from the Geometry…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Model Checking of Deadlock Freedom -- Exponential-Condition-Based Barrier Certificate Generation…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings /
    Published 2018
    Table of Contents: “… of Knot-Free Vertex Deletion - A Deadlock Resolution Graph Problem -- Approximating Global Optimum…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /
    Published 2014
    Table of Contents: “…-Calculi -- A Sorted Semantic Framework for Applied Process Calculi -- Static Deadlock Resolution in the Pi…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search