Εμφανίζονται 1 - 20 Αποτελέσματα από 32 για την αναζήτηση '"optimizing compilers"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    Compilation Techniques for Reconfigurable Architectures
    ανά Cardoso, João M.P, Diniz, Pedro C.
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Mapping and Execution Optimizations -- Compilers for Reconfigurable Architectures -- Perspectives…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Programming Language Concepts
    ανά Sestoft, Peter
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Locally Optimizing Compiler -- Crash Course in F# -- Index.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Programming Language Concepts
    ανά Sestoft, Peter
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Optimizing Compiler -- Compiling Micro-SML -- Real Machine Code -- A Crash Course in F#.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Introduction to Compiler Design
    ανά Mogensen, Torben Ægidius
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
    Πίνακας περιεχομένων: “… Compiler Optimizations -- Compiler and Synthesis Transformations Employed During Scheduling -- Code…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…, Based on General Term-Orderings -- Specialisation -- A Model for Inter-module Analysis and Optimizing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Transactions on High-Performance Embedded Architectures and Compilers I
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Architecture -- Power Aware External Bus Arbitration for System-on-a-Chip Embedded Systems -- 2: Optimizing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Translation for Optimizing Compilers -- Analysis of Low-Level Code Using Cooperating Decompilers -- Session 6…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Variations on Constants Flow Analysis of Sequential and Parallel Programs /
    ανά Müller-Olm, Markus
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Coders at Work Reflections on the Craft of Programming /
    ανά Seibel, Peter
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Components -- ViDoC - Visual Design of Optimizing Compilers -- Abstract Interpretation for Worst and Average…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Instruction Level Parallelism
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Optimizing Compilers.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Modular Programming Languages Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Allocation for Optimizing Compilers -- A Source-To-Source Architecture for User-Defined Optimizations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Analysis -- Interprocedural Symbolic Range Propagation for Optimizing Compilers -- Parallelization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Formal Verification of an Optimizing Compiler -- Challenges in Satisfiability Modulo Theories…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    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
    Πίνακας περιεχομένων: “… for Generating Variable Range Tables -- Program Analysis -- Efficient Symbolic Analysis for Optimizing Compilers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… as Model Checking of Abstract Interpretations -- Invited Talks -- Certifying, Optimizing Compilation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email