Εμφανίζονται 1 - 15 Αποτελέσματα από 15 για την αναζήτηση '"program slicing"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 1
    Debugging at the Electronic System Level
    ανά Rogin, Frank, Drechsler, Rolf
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Government Information System -- An efficient technique of detecting program plagiarism through program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… of the Rosetta Space Mission.- Extensible Debugger Framework for Extensible Languages -- Static Backward Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… of the Kademlia and the Kad Routing Tables in Maude -- A Generic Program Slicing Technique Based on Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Continuous Optimization Current Trends and Modern Applications /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Differentiable Programs -- Slice Convergence of Sums of Convex functions in Banach Spaces and Saddle Point…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…: Liveness and Fairness -- A New Approach for Concurrent Program Slicing -- Reducing Software Architecture…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Provenance and Annotation of Data and Processes 6th International Provenance and Annotation Workshop, IPAW 2016, McLean, VA, USA, June 7-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Fine-Grained Provenance Collection over Scripts Through Program Slicing -- Prov2ONE: An Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Programming Languages and Systems First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… for the ?-Calculus -- Useless-Code Elimination and Program Slicing for the Pi-Calculus -- Session 2 -- Constraint…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- On the Placebo Effect in Interactive SBSE: A Preliminary Study -- EvoIsolator: Evolving Program Slices…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…-Based Testing -- Analysis of Bug Fixing Processes Using Program Slicing Metrics -- Agile Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Specification and Implementation -- Program Slicing of Hardware Description Languages -- Posters -- Results…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Embedded System Design: Topics, Techniques and Trends
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Retimed Software Loops under Timing and Resource Constraints -- Identification and Removal of Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email