Showing 21 - 32 results of 32 for search '"optimizing compilers"', query time: 0.16s Refine Results
  1. 21
    Languages and Compilers for Parallel Computing 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers /
    Published 2003
    Table of Contents: “…Optimizing Compiler Design for Modularity and Extensibility -- Translation Schemes for the HPJava…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 22
    Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings /
    Published 2001
    Table of Contents: “… and Introducing the Cardinality-PathConstraint Family -- Optimizing Compilation of Constraint Handling Rules…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 23
    Languages and Compilers for Parallel Computing 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers /
    Published 2001
    Full Text via HEAL-Link
    Electronic eBook
  4. 24
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Translation Validator for Optimizing Compilers -- Cogent: Accurate Theorem Proving for Program Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 25
    Computer Vision Systems First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Theater Play -- Sassy: A Language and Optimizing Compiler for Image Processing on Reconfigurable Computing…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 26
    Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
    Published 2004
    Table of Contents: “… of an Industrial Optimizing Compiler -- Composition of Accelerations to Verify Infinite Heterogeneous Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 27
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages -- Description Logic Reasoning…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 28
    Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Ground Programs -- Optimizing Compilation and Computational Complexity of Constraint Handling Rules…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 29
    Advanced backend code optimization /
    Full Text via HEAL-Link
    eBook
  10. 30
    Software Automatic Tuning From Concepts to State-of-the-Art Results /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  11. 31
    Languages and Compilers for Parallel Computing 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings /
    Published 1997
    Full Text via HEAL-Link
    Electronic eBook
  12. 32
    Μελέτη σύνθετων εφαρμογών και ανάλυση δυνατοτήτων παραλληλοποίησης τους σε αρχιτεκτονικές κοινής και κοινής/κατανεμημένης μνήμης
    Get full text
    Thesis
Search Tools: RSS Feed – Email Search