Εμφανίζονται 101 - 120 Αποτελέσματα από 238 για την αναζήτηση '"program analysis"', χρόνος αναζήτησης: 0,42δλ Περιορισμός αποτελεσμάτων
  1. 101
    Compiler Construction 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    ανά Wilhelm, Reinhard, Wilhelm, Reinhard
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Invited Paper -- Virtual Classes and Their Implementation -- Program Analysis -- Alias Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 102
    Limits of Computation From a Programming Perspective /
    ανά Reus, Bernhard
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 103
    Detection of Intrusions and Malware & Vulnerability Assessment Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… in C Programs -- Using Static Program Analysis to Aid Intrusion Detection -- Intrusion Detection…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 104
    Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 105
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Repair with On-The-Fly Program Analysis -- Computing Interpolants without Proofs -- MaxSAT-Based MCS…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 106
    Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…-Order Functional Programs -- Analysis of Linear Hybrid Systems in CLP -- Automatic Generation of Test…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 107
    Languages and Compilers for Parallel Computing 10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Program analysis of overlap area usage in self-similar parallel programs -- Analysis and optimization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 108
    Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- LIX: an Effective Self-applicable Partial Evaluator for Prolog -- Program Analysis -- Multivariant Non…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 109
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Program Analysis and Programming Languages for Security -- An Improved Tight Closure Algorithm for Integer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 110
    Compiler Construction 19th International Conference, CC 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
    Πίνακας περιεχομένων: “… Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 111
    Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Rigorous Component-Based System Design (Invited Paper) -- Program Analysis Scenarios in Rascal -- K…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 112
    Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… and Adaptability for Evolving Application Development -- Requirements for Self-adaptation -- Dynamic Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 113
    Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 114
    Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 115
    Tree-Based Convolutional Neural Networks Principles and Applications /
    ανά Mou, Lili, Mou, Lili, Jin, Zhi
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 116
    Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Transformation of Logic Programs -- Analysis -- Non-transformational Termination Analysis of Logic Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 117
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Cooperations -- Program Analysis -- Abstract Computability of Non-deterministic Programs over Various Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 118
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Quantification for Concurrent Shape Analysis -- Session 11: Tools – Security and Program Analysis -- The Scyther…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 119
    Software Engineering Research, Management and Applications
    Έκδοση 2015
    Πίνακας περιεχομένων: “… and References Escape on Java Program Analysis -- Preliminary Evaluation of a Software Security Learning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 120
    Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Checking -- Verification of Sets of Infinite State Processes Using Program Transformation -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email