Showing 21 - 40 results of 100 for search 'CHIP (programming language)', query time: 0.12s Refine Results
  1. 21
    Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
    Published 2005
    Table of Contents: “… and Refinement of an On-Chip Communication Architecture -- Testing -- Finding Bugs in Network Protocols Using…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 22
    Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 23
    Separation Logic for High-level Synthesis
    by Winterstein, Felix
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 24
    Hardware Verification with C++ A Practitioner’s Handbook /
    by Mintz, Mike, Ekendahl, Robert
    Published 2006
    Table of Contents: “… Level Testing -- Chip Level Testing -- Things to Remember.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 25
    Analysis and Visualization Tools for Constraint Programming Constraint Debugging /
    Published 2000
    Table of Contents: “… Programs: The DiSCiPl Methodology and Tools -- I. Correctness Debugging -- An Assertion Language…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 26
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published 2015
    Table of Contents: “… Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 27
    Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Algorithm for a Network-on-Chip -- Formal Specification and Verification of TCP Extended with the Window…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 28
    Hardware Verification with SystemVerilog An Object-Oriented Framework /
    by Mintz, Mike, Ekendahl, Robert
    Published 2007
    Table of Contents: “… (Putting It All Together) -- Block-Level Testing -- Chip-Level Testing -- Things to Remember -- Examples…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 29
    Higher-Level Hardware Synthesis
    by Sharp, Richard
    Published 2004
    Table of Contents: “…1. Introduction -- 1. Introduction -- 2. Related Work -- 3. The SAFL Language -- 4. Soft Scheduling…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 30
    Verification Methodology Manual for SystemVerilog
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 31
    Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings /
    Published 2012
    Table of Contents: “… Using Educational Programming Language Based on STEAM Education -- The Performances Study of EDCF…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 32
    Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /
    Published 2013
    Table of Contents: “…Inference and Declaration of Independence in Task-Parallel Programs -- BDDT: Block-Level Dynamic…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 33
    Single- and multi-chip microcontroller interfacing for the Motorola 68HC12
    by Lipovski, G. Jack
    Published 1999
    An electronic book accessible through the World Wide Web; click for information
    Electronic Book
  14. 34
    SystemC Methodologies and Applications /
    Published 2003
    Table of Contents: “…A SystemC Based System On Chip Modelling and Design Methodology -- Using Transactional Level Models…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 35
    Advanced Memory Optimization Techniques for Low-Power Embedded Processors
    by Verma, Manish, Marwedel, Peter
    Published 2007
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 36
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers /
    Published 2013
    Table of Contents: “… Statistical Simulation of Timing Properties in Sequential Circuits -- On-Chip NBTI and PBTI Tracking through…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 37
    High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Invited Program -- Keynote 1: Using EEMBC Benchmarks to Understand Processor Behavior in Embedded…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 38
    Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4–6, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Decision Diagrams -- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 39
    Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
    Published 1999
    Table of Contents: “… the Software Development Process by Formal Methods -- Regular Papers -- Formal Program Development in Geometric…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 40
    High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings /
    Published 2008
    Table of Contents: “…Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search