Showing 1,501 - 1,520 results of 5,319 for search '"Compiler"', query time: 0.46s Refine Results
  1. 1501
    Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1502
    Μεθοδολογίες μεταγλώττισης σε επαναπροσδιοριζόμενα συστήματα αρχιτεκτονικών πίνακα
    Subjects: “…Compilers…”
    Get full text
    Thesis
  3. 1503
    OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1504
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1505
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1506
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1507
    The JR Programming Language Concurrent Programming in an Extended Java /
    by Olsson, Ronald A., Keen, Aaron W.
    Published 2004
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1508
    The Verillog® Hardware Description Language
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1509
    System Specification & Design Languages Best of FDL’02 /
    Published 2003
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1510
    Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings /
    Published 2017
    Table of Contents: “… -- Scheduling and load balancing -- High performance architectures and compilers -- Parallel and distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1511
    Numerical Computations with GPUs
    Published 2014
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1512
    Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1513
    Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1514
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    Published 2008
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1515
    Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
    Published 2008
    Table of Contents: “… for Refactoring in Erlang -- From Interpretation to Compilation.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1516
    OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings /
    Published 2013
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1517
    Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
    Published 2006
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1518
    Rigorous Development of Complex Fault-Tolerant Systems
    Published 2006
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1519
    Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers /
    Published 2006
    Table of Contents: “… of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1520
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    Published 2008
    Table of Contents: “… -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search