Showing 41 - 60 results of 100 for search 'CHIP (programming language)', query time: 0.20s Refine Results
  1. 41
    Transactions on High-Performance Embedded Architectures and Compilers IV
    Published 2011
    Table of Contents: “…A High Performance Adaptive Miss Handling Architecture for Chip Multiprocessors -- Characterizing…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 42
    Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
    Published 2002
    Table of Contents: “… -- Formal Methods in Enterprise Computing -- Unifying Theories of Parallel Programming -- Component…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 43
    The Verilog PLI Handbook A User’s Guide and Comprehensive Reference on the Verilog Programming Language Interface /
    by Sutherland, Stuart
    Published 2002
    Full Text via HEAL-Link
    Electronic eBook
  4. 44
    Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
    Published 2003
    Table of Contents: “… by Abstract Interpretation -- Event Correlation: Language and Semantics -- Generating Heap-Bounded Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 45
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings /
    Published 2004
    Table of Contents: “… and High Productivity Programming -- High Performance Application Execution Scenarios in P-GRADE -- An Open…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 46
    Compiler Construction 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
    Published 2000
    Table of Contents: “… of Java Exceptions Using JESP -- Fast Escape Analysis and Stack Allocation for Object-Based Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 47
    Ingredients for Successful System Level Design Methodology
    by Patel, Hiren D., Shukla, Sandeep K.
    Published 2008
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 48
    Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings /
    Published 2019
    Table of Contents: “… formal methods and DSMLs -- Probabilistic Verification for Reliable Network-on-Chip System Design -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 49
    Field Programmable Logic and Applications 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. /
    Published 1997
    Table of Contents: “… device with on-chip microprocessor -- CAD-oriented FPGA and dedicated CAD system for telecommunications…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 50
    Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings /
    Published 1999
    Table of Contents: “… and Specification of Real-Time Ada Programs -- Interprocedural Symbolic Evaluation of Ada Programs with Aliases…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 51
    Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap /
    Full Text via HEAL-Link
    Electronic eBook
  12. 52
    DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers /
    Published 2009
    Table of Contents: “… Algebras for DNA Computing -- A Domain-Specific Language for Programming in the Tile Assembly Model…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 53
    SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings /
    Published 2003
    Table of Contents: “… -- Generating a Compiler for SDL from the Formal Language Definition -- Modelling and Evaluation of a Network…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 54
    Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
    Published 2007
    Table of Contents: “… Library -- Automata Applications in Chip-Design Software -- Contributed Talks -- Synchronizing Automata…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 55
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… of the ACE Specification for Cache Coherent Systems-on-Chip -- Predicate Abstraction for Programmable Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 56
    Transactions on High-Performance Embedded Architectures and Compilers V
    Published 2019
    Table of Contents: “… Power-Aware Embedded Software Design and On-Chip Power Management -- The Abstract Streaming Machine…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 57
    Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
    Published 2005
    Table of Contents: “… in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 58
    Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers /
    Published 2008
    Table of Contents: “… to Write Fast Numerical Code: A Small Introduction -- A Gentle Introduction to Multi-stage Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 59
    Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
    Published 2010
    Table of Contents: “… and Modeling -- Rialto 2.0: A Language for Heterogeneous Computations -- Scenario-Based Modeling in Industrial…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 60
    OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings /
    Published 2008
    Table of Contents: “… Language and Its Evaluation -- The OpenMP Memory Model -- Evaluating OpenMP on Chip MultiThreading…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search