Εμφανίζονται 1.421 - 1.440 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 1421
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1422
    Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… and Ontological Reasoning -- Program Transformation Based on Symbolic Execution and Deduction -- Constraint…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1423
    Cloud Data Management
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1424
    Business Information Systems 16th International Conference, BIS 2013, Poznań, Poland, June 19-21, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Execution.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1425
    Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Lazy and Speculative Execution in Computer Systems -- In Search of the Holy Grail: Looking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1426
    Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1427
    Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Symbolic Execution -- Static Detection of Place Locality and Elimination of Runtime Checks -- Certified…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1428
    Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… with Abstraction-Guided Symbolic Execution -- Subsumer-First: Steering Symbolic Reachability Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1429
    Process Mining Discovery, Conformance and Enhancement of Business Processes /
    ανά van der Aalst, Wil M. P.
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1430
    The Basic Principles of External Fixation Using the Ilizarov Device
    ανά Solomin, Leonid N.
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1431
    Practical Security Properties on Commodity Computing Platforms The uber eXtensible Micro-Hypervisor Framework /
    ανά Vasudevan, Amit, Vasudevan, Amit
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1432
    Managing the Dynamics of New Product Development Processes A New Product Lifecycle Management Paradigm /
    ανά Karniel, Arie, Reich, Yoram
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1433
    Scalable Techniques for Formal Verification
    ανά Ray, Sandip
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1434
    Statistical methods for evaluating safety in medical product development /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  15. 1435
    JavaScript Recipes A Problem-Solution Approach /
    ανά Ferguson, Russ, Cirkel, Keith
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1436
    Research Challenges in Modeling and Simulation for Engineering Complex Systems
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1437
    Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Services with COASTmed -- Process Execution and Enactment in Medical Environments -- Engineering A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1438
    Craniofacial 3D Imaging Current Concepts in Orthodontics and Oral and Maxillofacial Surgery /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1439
    Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1440
    Grid Resource Management On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources /
    ανά Siddiqui, Mumtaz, Fahringer, Thomas
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email