Showing 81 - 100 results of 134 for search 'Deadlock (computer science)', query time: 0.14s Refine Results
  1. 81
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    Published 2008
    Table of Contents: “…Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 82
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
    Published 2010
    Table of Contents: “… of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 83
    Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
    Published 2015
    Table of Contents: “… Architectures -- A Composable Deadlock-Free Approach to Object-Based Isolation -- Scalable Data-Driven PageRank…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 84
    Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /
    Published 2012
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 85
    DNA Computing 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers /
    Published 2004
    Table of Contents: “…-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved -- Deadlock Decidability…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 86
    Distributed Computing 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings /
    Published 1998
    Table of Contents: “…Sense of direction in distributed computing -- Top-down considerations on distributed computing…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 87
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 88
    DNA Computing 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers /
    Published 2003
    Table of Contents: “…/Antiport -- Conformons-P Systems -- Parallel Rewriting P Systems with Deadlock -- A DNA-based Computational…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 89
    Distributed Computing Mobile and Wireless Computing, 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings /
    Published 2002
    Table of Contents: “… of Distance-Bound Smoothing for the Molecular Conformation Problem -- Distributed Computing -- Concurrent…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 90
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks -- Regular Papers…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 91
    High-Performance Computing and Networking 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12-14, 1999 Proceedings /
    Published 1999
    Table of Contents: “… in parallel -- Real-time signal processing in a collision avoidance radar system using parallel computing…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 92
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
    Published 2016
    Table of Contents: “… -- Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System -- Tuning energy…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 93
    Business Process Management 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings /
    Published 2009
    Table of Contents: “… of Industrial Business Process Models -- Symbolic Abstraction and Deadlock-Freeness Verification of Inter…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 94
    STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings /
    Published 1997
    Table of Contents: “… complexity, finite automata, and polynomial-time computations -- Interactive proof systems with public coin…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 95
    Communication and Architectural Support for Network-Based Parallel Computing First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings /
    Published 1997
    Table of Contents: “…Efficient communication mechanisms for cluster based parallel computing -- Stream sockets on SHRIMP…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 96
    Computer Engineering and Technology 23rd CCF Conference, NCCET 2019, Enshi, China, August 1-2, 2019, Revised Selected Papers /
    Published 2019
    Table of Contents: “… Reinforcement Computer -- Design Discussion and Performance Research of the Third-level Cache in a Multi-socket…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 97
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Published 1997
    Table of Contents: “… reduction -- Partial-order reduction in symbolic state space exploration -- Deadlock checking using net…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 98
    High Performance Computing - HiPC 2000 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings /
    Published 2000
    Table of Contents: “…System Software -- Charon Message-Passing Toolkit for Scientific Computations -- Dynamic Slicing…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 99
    Parallel Computer Routing and Communication Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings /
    Published 1998
    Table of Contents: “… Worms* -- Poster Session -- CCSIMD: a Concurrent Communication and Computation Framework for SIMD…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 100
    Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings /
    Published 1997
    Table of Contents: “… specialization in the presence of computational effects -- An axiomatic approach to binary logical relations…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search