Showing 61 - 80 results of 134 for search 'Deadlock (computer science)', query time: 0.12s Refine Results
  1. 61
    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 /
    Published 2015
    Table of Contents: “…Replica-Based High-Performance Tuple Space Computing -- Investigating Fluid-Flow Semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 62
    Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
    Published 2015
    Table of Contents: “… for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 63
    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 /
    Published 2010
    Table of Contents: “… Visualization for Debugging Deadlocks in Multithreaded Programs -- A Fast PDE Algorithm Using Adaptive Scan…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 64
    ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Deadlock Detection for Java Libraries.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 65
    Performance Modeling of Operating Systems Using Object-Oriented Simulation A Practical Introduction /
    by Garrido, José M.
    Published 2000
    Table of Contents: “… -- Deadlock -- Inter-Process Communication -- Virtual Memory -- Device Management -- Additional Models.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 66
    Business Process Management 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings /
    Published 2008
    Table of Contents: “… in Open Nets -- Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 67
    Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /
    Published 2007
    Table of Contents: “… of Distributed Component-Based Software -- A Family of Distributed Deadlock Avoidance Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 68
    Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Computation and Automated Reasoning for Program Analysis -- Program verification -- On Type Checking Delta…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 69
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… for Information Systems -- Object Orientation and Model Driven Engineering -- A Modular Scheme for Deadlock…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 70
    Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /
    Published 2013
    Table of Contents: “… of Chip Multiprocessors -- Agent-Based Credibility Protection Model for Decentralized Network Computing…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 71
    Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness /
    by Mendling, Jan
    Published 2008
    Subjects: “…Computer science.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 72
    Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
    Published 2008
    Table of Contents: “… Conformance -- Deadlocks: From Exhibiting to Healing -- A Scalable, Sound, Eventually-Complete Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 73
    Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… for quiescent Real-Time Systems -- Online Testing of Real-time Systems Using Uppaal -- Testing Deadlock-Freeness…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 74
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /
    Published 2010
    Table of Contents: “…Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 75
    New Trends in Applied Harmonic Analysis Sparse Representations, Compressed Sensing, and Multifractal Analysis /
    Published 2016
    Subjects: “…Computer science Mathematics.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 76
    Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
    Published 2014
    Table of Contents: “… System by Model-Checking -- Deadlock Avoidance in Train Scheduling: A Model Checking Approach -- An Open…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 77
    Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 78
    Context-Aware Systems and Applications 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings /
    Published 2017
    Table of Contents: “… Balancing Game Approach for VM Provision Cloud Computing based on Ant Colony Optimization -- Enhanced Human…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 79
    Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings /
    Published 2006
    Table of Contents: “… of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 80
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Obstacles and Some Possibilities? -- A Refinement Based Strategy for Local Deadlock Analysis of Networks…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search