Εμφανίζονται 1.201 - 1.220 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,42δλ Περιορισμός αποτελεσμάτων
  1. 1201
    Climate of the Southeast United States Variability, Change, Impacts, and Vulnerability /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…1. Climate Change in the Southeast USA: Executive Summary -- 2. Climate of the Southeast USA: Past…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1202
    Decisions : an engineering and management perspective /
    ανά Gaynor, Gerard H.
    Έκδοση 2015
    Πίνακας περιεχομένων: “… 15 -- Executives 17 -- Managers 19 -- Engineers and Other Discipline Specialists 24 -- Project…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  3. 1203
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… with infinite but regular state spaces -- Formal verification of out-of-order execution using incremental…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1204
    Διαχείριση κινδύνου σε δημόσιους και ιδιωτικούς φορείς με έμφαση στην πρόληψη
    Λήψη πλήρους κειμένου
    Thesis
  5. 1205
    High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1206
    Applications of combinatorial optimization /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…; 2.2.7.2. Constraints; 2.2.7.3. Objectives of the allocation; 2.2.7.3.1. Minimizing the execution duration…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  7. 1207
    Service-Oriented Computing - ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Transactions -- ASTRO: Supporting Composition and Execution of Web Services -- Demonstrating Dynamic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1208
    Computer Security - ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Separation Vulnerabilities in IoT Firmware with Symbolic Execution -- iCAT: An Interactive Customizable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1209
    Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… for User Tasks Execution on Cluster -- SeloGPU: A Selective O®-loading framework for High Performance GPGPU…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1210
    Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design
    ανά Chen, Weiwei
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1211
    Robot Intelligence Technology and Applications 3 Results from the 3rd International Conference on Robot Intelligence Technology and Applications /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1212
    Proteases in Apoptosis: Pathways, Protocols and Translational Advances
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1213
    Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… of Safety Cases.- Challenges in the Implementation of MrsP -- An Execution Model for Fine-Grained…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1214
    Fault-Tolerance Techniques for High-Performance Computing
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1215
    Interactive Multimedia Documents Modeling, Authoring, and Implementation Experiences /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1216
    Principles and Practice of Declarative Programming International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Constraint Handling Rules into Prolog with Attributed Variables -- Parallel Execution Models for Constraint…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1217
    Databases in Networked Information Systems International Workshop DNIS 2000 Aizu, Japan, December 4-6, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… in Telecommunications and E-commerce -- Web Log Mining and Parallel SQL Based Execution -- Data Providers - A Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1218
    React Native for iOS Development
    ανά Paul, Akshat, Nalwaya, Abhishek
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1219
    Input/Output Intensive Massively Parallel Computing Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems /
    ανά Brezany, Peter, Brezany, Peter
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1220
    Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…-Assessed Software Maintainability Metrics -- Precise Heap Differentiating Using Access Path and Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email