Εμφανίζονται 141 - 160 Αποτελέσματα από 238 για την αναζήτηση '"program analysis"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 141
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 142
    Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 143
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Reduction for Static Program Analysis.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 144
    Fundamental Approaches to Software Engineering 13th International Conference, FASE 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
    Πίνακας περιεχομένων: “… Specifications: A Case Study -- An Automata-Theoretic Approach to Hardware/Software Co-verification -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 145
    ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Programming -- A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring -- Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 146
    978-3-030-99527-0.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  7. 147
    9783030715007.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  8. 148
    978-3-030-99429-7.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  9. 149
    978-3-031-57246-3.pdf
    Έκδοση 2024
    “… as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs…”
    Λήψη πλήρους κειμένου
  10. 150
    978-3-031-57256-2.pdf
    Έκδοση 2024
    “… as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs…”
    Λήψη πλήρους κειμένου
  11. 151
    978-3-031-57228-9.pdf
    Έκδοση 2024
    Λήψη πλήρους κειμένου
  12. 152
    978-3-031-57231-9.pdf
    Έκδοση 2024
    Λήψη πλήρους κειμένου
  13. 153
    Finding Source Code on the Web for Remix and Reuse
    Έκδοση 2013
    Πίνακας περιεχομένων: “… and Strategic Imperatives -- Applying Program Analysis to Code Retrieval -- Test-Driven Reuse: Key to Improving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 154
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… and Reproducibility of Program Analysis and Verification (Track Introduction) -- Symbolic Execution with CEGAR…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 155
    Functional and Logic Programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of Regions -- Well-Typed Logic Programs Are not Wrong -- Program Analysis and Transformation -- A Framework…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 156
    2020_Book_ToolsAndAlgorithmsForTheConstr.pdf
    Έκδοση 2020
    Λήψη πλήρους κειμένου
  17. 157
    2020_Book_ToolsAndAlgorithmsForTheConstr.pdf
    Έκδοση 2020
    Λήψη πλήρους κειμένου
  18. 158
    The Economics of Forest Disturbances Wildfires, Storms, and Invasive Species /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Toward a Unified Economic Theory of Fire Program Analysis with Strategies for Empirical Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 159
    Languages and Compilers for Parallel Computing 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 160
    Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… of Automata in XML Processing -- Program Analysis through Finite Tree Automata -- Technical Contributions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email