Εμφανίζονται 41 - 60 Αποτελέσματα από 134 για την αναζήτηση 'Deadlock (computer science)', χρόνος αναζήτησης: 0,26δλ Περιορισμός αποτελεσμάτων
  1. 41
    High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 42
    Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Computing and Self-organization -- The JoSchKa System: Organic Job Distribution in Heterogeneous…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 43
    Type Systems for Distributed Programs: Components and Sessions
    ανά Dardha, Ornela
    Έκδοση 2016
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 44
    CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Metrics -- Choreographies, Logically -- Deadlock Analysis of Unbounded Process Networks -- Trees from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 45
    Design Methods and Applications for Distributed Embedded Systems IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) 22–27 August 2004 Toulouse, France /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- On Detecting Deadlocks in Large UML Models -- Verification Framework for UML-Based Design of Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 46
    SQL Server 2000 Fast Answers for DBAs and Developers /
    ανά Sack, Joseph
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and Configuring Databases -- SQL Server Agent and SQL Logs -- Transactions, Locking, Blocking, and Deadlocking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 47
    SQL Server 2005 T-SQL Recipes A Problem-Solution Approach /
    ανά Sack, Joseph
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Select -- Insert, Update, Delete -- Transactions, Locking, Blocking, and Deadlocking -- Tables…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 48
    SQL Server 2008 Transact-SQL Recipes
    ανά Sack, Joseph
    Έκδοση 2008
    Πίνακας περιεχομένων: “…, and Deadlocking -- Tables -- Indexes -- Full-Text Search -- Views -- SQL Server Functions -- Conditional…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 49
    Secrets of the Oracle Database
    ανά Debes, Norbert
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Monitoring -- Events -- Event 10027 and Deadlock Diagnosis -- Event 10046 and Extended SQL Trace -- Event…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 50
    Provably Correct Systems
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 51
    Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… on Relational Domains -- Computing Procedure Summaries for Interprocedural Analysis -- Small Witnesses…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 52
    Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Distributed Systems -- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring -- Dynamic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 53
    CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 54
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… for the Validation of Numerical Programs -- Invited Talk -- The Verifying Compiler, a Grand Challenge for Computing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 55
    Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Algorithms -- A Simple and Efficient Fault-Tolerant Adaptive Routing Algorithm for Meshes -- Deadlock-Free…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 56
    Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Verification Rules for Exception Handling in Eiffel -- Sound reduction of persistent sets for deadlock…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 57
    Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 58
    Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 59
    Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… of Message Passing Programs Using SMT-Solvers -- An Expressive Framework for Verifying Deadlock Freedom…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 60
    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom -- A Game-Theoretic Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email