Εμφανίζονται 1 - 20 Αποτελέσματα από 32 για την αναζήτηση '"Optimizing compiler"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  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
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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
    Languages and Compilers for Parallel Computing 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…Optimizing Compiler Design for Modularity and Extensibility -- Translation Schemes for the HPJava…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… of an Industrial Optimizing Compiler -- Composition of Accelerations to Verify Infinite Heterogeneous Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages -- Description Logic Reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Computer Vision Systems First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Theater Play -- Sassy: A Language and Optimizing Compiler for Image Processing on Reconfigurable Computing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… and Introducing the Cardinality-PathConstraint Family -- Optimizing Compilation of Constraint Handling Rules…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email