Showing 101 - 120 results of 134 for search 'Deadlock (computer science)', query time: 0.13s Refine Results
  1. 101
    Databases in Networked Information Systems Second International Workshop, DNIS 2002, Aizu, Japan, December 16-18, 2002, Proceedings /
    Published 2002
    Table of Contents: “… -- Communication Deadlock Detection of Inter-organizational Workflow Definition -- Web Data Management Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 102
    Applications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings /
    Published 2001
    Table of Contents: “… of Product Form Stochastic Petri Nets -- Generalized Conditions for Liveness Enforcement and Deadlock…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 103
    Euro-Par'98 Parallel Processing 4th International Euro-Par Conference Southampton, UK, September 1-4, 1998 Proceedings /
    Published 1998
    Table of Contents: “…Random number generation and simulation on vector and parallel computers -- Heterogeneous HPC…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 104
    The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday /
    Published 2019
    Table of Contents: “…Concurrency -- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 105
    Euro-Par'97 Parallel Processing Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings /
    Published 1997
    Table of Contents: “… parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 106
    Network-Based Parallel Computing - Communication, Architecture, and Applications 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings /
    Published 2000
    Table of Contents: “… to Compute Deadlock-Free Routing Tables for Irregular Networks -- On the Performance of Up*/Down* Routing…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 107
    Network-Based Parallel Computing Communication, Architecture, and Applications Third International Workshop, CANPC'99, Orlando, Florida, USA, January 9th, 1999, Proceedings /
    Published 1999
    Table of Contents: “… -- Adaptation Models for Network-Aware Distributed Computations -- Prototyping Execution Models for HTMT…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 108
    The United Nations and the Regions Third World Report on Regional Integration /
    Published 2012
    Table of Contents: “… Integration Processes: The Case of ECLAC; Edgard Moncayo Jiménez -- Chapter 3: Breaking the Deadlock…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 109
    Reinventing Data Protection?
    Published 2009
    Table of Contents: “… and Identifiablity: Legal and Technical Deadlocks for Protecting Human Beings in the Information Society…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 110
    CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Secure Information Flow for Concurrent Processes -- LP Deadlock Checking Using Partial Order Dependencies…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 111
    Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /
    Published 1997
    Table of Contents: “… component of PEP -- A tool to support formal reasoning about computer languages -- The term processor…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 112
    Globalization and Summit Reform An Experiment in International Governance /
    by Heap, Peter C.
    Published 2008
    Subjects: “…Political science.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 113
    CONCUR '98 Concurrency Theory 9th International Conference, Nice, France, September 8-11, 1998, Proceedings /
    Published 1998
    Table of Contents: “… evolving object structures -- Modelling IP mobility -- Reduction in TLA -- Detecting deadlocks…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 114
    International Politics Political Issues Under Debate - Vol. 1 /
    by Jahn, Egbert
    Published 2015
    Table of Contents: “… Interventions”).- 4 Bosnia and Herzegovina – EU Policy in Deadlock.- 5 Federalisation – A First Step Towards…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 115
    Water, Politics and Money A Reality Check on Privatization /
    by Schiffler, Manuel
    Published 2015
    Table of Contents: “… Deadlock, with an Exception -- Egypt: Kafka on the Nile -- Jordan: Private Plants, Public Utilities -- Part…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 116
    Reliable Software Technologies Ada-Europe 2000 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings /
    Published 2000
    Table of Contents: “… Analysis for Detecting Deadlocks in Ada Tasking Programs -- Exceptions in OO Languages: Using Them…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 117
    Application and Theory of Petri Nets 1998 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 Proceedings /
    Published 1998
    Table of Contents: “… of Queueing Networks with Blocking -- Deadlock Detection in the Face of Transaction and Data Dependencies…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 118
    Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Published 1999
    Table of Contents: “… in CLP -- Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 119
    Applications and Theory of Petri Nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings /
    Published 2003
    Table of Contents: “… -- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets -- On the Use…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 120
    Engineering Distributed Objects Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers /
    Published 2001
    Table of Contents: “… Model Checking to Detect Deadlocks in Distributed Object Systems -- Component Metadata for Software…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search