Εμφανίζονται 201 - 220 Αποτελέσματα από 238 για την αναζήτηση '"program analysis"', χρόνος αναζήτησης: 0,75δλ Περιορισμός αποτελεσμάτων
  1. 201
    Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 202
    Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Elimination in Static Program Analysis -- Predicate Analysis with Block-Abstraction Memoization -- Heuristic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 203
    Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Termination Conditions for Logic Programs Using Backwards Analysis -- Program Analysis and Proof Planning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 204
    Compiler Construction 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Disambiguation Filters for Scannerless Generalized LR Parsers -- Invited Talk -- Modular Static Program Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 205
    Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings /
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 206
    SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 207
    Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Program analysis in ?prolog -- A game semantics foundation for logic programming -- Controlling search…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 208
    Fundamental Approaches to Software Engineering 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… of Secure Applet Interactions -- A Generic Component Framework for System Modeling -- Model and Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 209
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Theories of Programming -- Contributed Papers -- An Integration of Program Analysis and Automated Theorem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 210
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 211
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Validation by Program Analysis of the Cross-Product -- Lazy Behavioral Subtyping -- Checking Well-Formedness…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 212
    Computer Performance Evaluation: Modelling Techniques and Tools Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… of Stochastic Petri Nets -- Symbolic Performance Prediction of Data-Dependent Parallel Programs -- Analysis of a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 213
    Software Engineering - ESEC/FSE '99 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…-Program Analysis -- The Concept of Dynamic Analysis -- Data-Flow Analysis of Program Fragments…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 214
    Metalevel Architectures and Separation of Crosscutting Concerns Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… and Program Analysis -- Software Adaptation Using Reflectionn and SOC Techniques -- Experiments with JavaPod…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 215
    Software Engineering - ESEC-FSE '97 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 216
    Computer Systems: Architectures, Modeling, and Simulation Third and Fourth International Workshops, SAMOS 2004, Samos, Greece, July 21-23, 2004 and July 19-21, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “…, High-Level Program Analysis and Learning Techniques -- Modeling Loop Unrolling: Approaches and Open…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 217
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Based Testing Approaches on Seeded Faults -- Exploiting Traces in Program Analysis -- Quantitative…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 218
    Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 219
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 220
    Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… versus Magic in Critical Systems -- Can Java™ Meet Its Real-Time Deadlines? -- Program Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email