Εμφανίζονται 1 - 20 Αποτελέσματα από 42 για την αναζήτηση '"data-flow analysis"', χρόνος αναζήτησης: 0,15δλ Περιορισμός αποτελεσμάτων
  1. 1
    architectural-data-flow-analysis-for-detecting-violations-of-confidentiality-requirements.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  2. 2
    systematic-approaches-to-advanced-information-flow-analysis-and-applications-to-software-security.pdf
    Έκδοση 2023
    “…. Moreover, I propose a framework that generalizes both data-flow analysis on control-flow graphs and slicing…”
    Λήψη πλήρους κειμένου
  3. 3
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… flow analysis -- Model checking -- Program transformation -- Program verification -- Security analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Data flow analysis -- Bug detection -- Program transformation -- Program verification -- Security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Abstract domains -- Abstract interpretation -- Abstract testing -- Bug detection -- Data flow…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Introduction to Compiler Design
    ανά Mogensen, Torben Ægidius
    Έκδοση 2017
    Πίνακας περιεχομένων: “….-Intermediate-Code Generation.-Machine-Code Generation.-Register Allocation.-Functions.-Data Flow Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Data-Flow Analysis -- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality -- On a New…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Optimal Interprocedural Program Optimization A New Framework and Its Application /
    ανά Knoop, Jens, Knoop, Jens
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Language -- Higher Order Data Flow Analysis -- The Interprocedural Setting -- Interprocedural Abstract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Multimodal Sentiment Analysis
    Πίνακας περιεχομένων: “… features with common-sense knowledge -- Sentic Patterns: Sentiment Data Flow Analysis by Means of Dynamic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers -- Path-Based Reuse Distance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Transformations for Heap Objects Using Static Access Patterns -- A New Elimination-Based Data Flow Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Control Flow Analysis -- Data Flow Analysis for CCS -- Towards a Source Level Compiler: Source Level…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Simple Data Flow Analysis -- Abstract Dependences for Alarm Diagnosis -- A Typed, Compositional Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Analysis -- Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…-Flow Analysis -- Reasoning about Concurrent Systems Using Types -- Testing Hennessy-Milner Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Handbook of Model Checking
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Combining Model Checking and Data-Flow Analysis -- Model Checking Procedural Programs -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email