Εμφανίζονται 21 - 40 Αποτελέσματα από 134 για την αναζήτηση 'Deadlock (computer science)', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 21
    Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Computational Benchmarks Using FPGAs -- Extended Abstracts (Posters) -- A Timing Driven Cycle-Accurate…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 22
    Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Designs -- Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion -- Cuts from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 24
    Service-Oriented and Cloud Computing 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…On or Off the Blockchain? Insights on Off-Chaining Computation and Data -- Microservices…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 25
    Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Models of Parallel Computing -- Asynchronous Language and System of Numerical Algorithms Fragmented…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 26
    High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 27
    Proceedings of the European Computing Conference Volume 2 /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Information -- A Computerized Solution for the Financial Diagnose of the SMEs -- DELP System: Tracking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 28
    Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… on NASA Science and Engineering Applications -- Session IV A: Sensor Networks II -- Hierarchical Routing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 29
    Transaction Processing Management of the Logical Database and its Underlying Physical Structure /
    ανά Sippu, Seppo, Soisalon-Soininen, Eljas
    Έκδοση 2014
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 30
    Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Discussion on New Challanges for TCS -- New Challenges for Theoretical Computer Science -- Algorithm Design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 31
    VLSI-SoC: Research Trends in VLSI and Systems on Chip Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Library Compatible Variational Delay Computation -- A Power-Efficient Methodology for Mapping Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 32
    Advanced Multicore Systems-On-Chip Architecture, On-Chip Network, Design /
    ανά Ben Abdallah, Abderazek
    Έκδοση 2017
    Πίνακας περιεχομένων: “… for Single and Multicore Computing -- 8. Power Optimization Techniques for Multicore SoCs -- 9. Real Deign…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 33
    FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case -- Word Equations over…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 34
    SQL Server 2008 Query Performance Tuning Distilled
    ανά Fritchey, Grant, Dam, Sajal
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Analysis -- Blocking Analysis -- Deadlock Analysis -- Cursor Cost Analysis -- Database Workload…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 35
    Distributed Algorithms for Message-Passing Systems
    ανά Raynal, Michel
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 36
    Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- The PlusCal Algorithm Language -- The Secret Art of Computer Programming -- Verification, Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 37
    Pro SQL Server Internals
    ανά Korotkevitch, Dmitri
    Έκδοση 2016
    Πίνακας περιεχομένων: “… and Transaction Isolation Levels -- 18. Troubleshooting Blocking Issues -- 19. Deadlocks -- 20. Lock Escalations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 38
    Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets -- Extremal Throughputs in Free-Choice Nets…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 39
    Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- On Mechanisms for Deadlock Avoidance in SIP Servlet Containers -- Lawful Interception in P2P-Based VoIP Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 40
    Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Unbounded Allocation in Bounded Heaps -- On the Complexity of Adding Convergence -- Deadlock…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email