Showing 121 - 134 results of 134 for search 'Deadlock (computer science)', query time: 0.15s Refine Results
  1. 121
    Advances in Dependability Engineering of Complex Systems Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017, Brunów, Poland /
    Published 2018
    Table of Contents: “… System and its On-line Learning -- 6.Fault tolerant ASIC/ULA-based computing systems testing via FPGA…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 122
    Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings /
    Published 2004
    Table of Contents: “… in Information Systems Development -- An Overview of Middleware -- Static Analysis -- Static Deadlock Detection…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 123
    Advances in Databases 15th British National Conference on Databases, BNCOD 15 London, United Kingdom, July 7 - 9, 1997 /
    Published 1997
    Table of Contents: “… transaction processing systems -- Detection arcs for deadlock management in nested transactions…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 124
    FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
    Published 1997
    Table of Contents: “… of the RLP1 retransmission protocol -- An efficient technique for deadlock analysis of large scale process…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 125
    The Entrepreneur in Rule-Based Economics Theory, Empirical Practice, and Policy Design /
    by Blind, Georg D.
    Published 2017
    Subjects: “…Social sciences.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 126
    Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
    Published 1997
    Table of Contents: “…-theories: Extended Abstract -- Model checking and fault tolerance -- Deadlock analysis for a fault-tolerant…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 127
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
    Published 2003
    Table of Contents: “… and Use of Formal Methods -- Verifying Emulation of Legacy Mission Computer Systems -- Improving Safety…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 128
    Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings /
    Published 2001
    Table of Contents: “… Specifications -- Proving Deadlock Freedom in Component-Based Programming -- UML -- A Real-Time Execution…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 129
    Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
    Published 2002
    Table of Contents: “… -- Formal Methods in Enterprise Computing -- Unifying Theories of Parallel Programming -- Component…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 130
    Business Information Systems 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings /
    Published 2008
    Table of Contents: “…Information Retrieval -- An Entry Vocabulary Module for a Political Science Test Collection…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 131
    Coviability of Social and Ecological Systems: Reconnecting Mankind to the Biosphere in an Era of Global Change Vol.1 : The Foundations of a New Paradigm /
    Published 2019
    Subjects: “…Computer simulation.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 132
    Claims for Secession and Federalism A Comparative Study with a Special Focus on Spain /
    Published 2019
    Table of Contents: “… Consociational Democracy to Partitocratic Deadlock? -- Secessionist Claims in a Federal System: The Belgian Case…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 133
    Transaction processing concepts and techniques concepts and techniques
    by Gray, Jim, Reuter, Andreas
    Published 1993
    Table of Contents: “…2.Basic computer science terminology…”
    Book
  14. 134
    Intellectual Property and Clean Energy The Paris Agreement and Climate Justice /
    Published 2018
    Table of Contents: “… Sousveillance, Citizen Science and Smart Grids -- 14. Promoting and Protecting Clean Energy Innovation Through…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search