Showing 61 - 80 results of 100 for search 'CHIP (programming language)', query time: 0.16s Refine Results
  1. 61
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “…-Power Applications -- Special Session -- SystemC AMS Extensions: New Language – New Methods – New…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 62
    Computer principles and design in Verilog HDL /
    by Li, Yamin
    Published 2015
    Table of Contents: “… of Computers; 1.3 Improving Computer Performance; 1.4 Hardware Description Languages; Exercises; Chapter 2: A…”
    Full Text via HEAL-Link
    eBook
  3. 63
    Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Systems -- Throughput Considerations of Fault-Tolerant Routing in Network-on-Chip -- A New Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 64
    Java Methods for Financial Engineering Applications in Finance and Investment /
    by Barker, Philip
    Published 2007
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 65
    Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II /
    Published 2010
    Table of Contents: “…Topic 9: Parallel and Distributed Programming -- Parallel and Distributed Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 66
    A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings /
    Published 2008
    Table of Contents: “… Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 67
    Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Specifications, Higher-Order Types and Set-Theoretic Models -- Type Analysis for CHIP -- Categorical Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 68
    Hardware-dependent Software Principles and Practice /
    Published 2009
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 69
    Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 70
    Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
    Published 2004
    Table of Contents: “… Verification of FFT Algorithms in HOL -- A Functional Approach to the Formal Specification of Networks on Chip…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 71
    Communication and Networking International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part II /
    Published 2010
    Table of Contents: “… Control System -- Programmable RF System for RF System-on-Chip -- Development of a Mobile Language…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 72
    Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Verification of Programs in the Pifagor Language -- Characterization and Understanding Machine-Specific…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 73
    Mathematical Foundations of Computer Science 2004 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Parameterization — Invitation to Fixed-Parameter Algorithms -- PRAM-On-Chip: A Quest for Not-So-Obvious Non…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 74
    Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
    Published 2001
    Table of Contents: “… Analysis and Refinement Checking of Timed Automata Using BDDs -- Deriving Real-Time Programs from Duration…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 75
    Euro-Par'97 Parallel Processing Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings /
    Published 1997
    Table of Contents: “…: Programming languages and concurrent object-oriented programming -- Synchronising asynchronous communications…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 76
    Parallel and Distributed Processing 15 IPDPS 2000 Workshops Cancun, Mexico, May 1-5, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Memory -- Controlling Distributed Shared Memory Consistency from High Level Programming Languages…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 77
    Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Specification and Implementation -- Program Slicing of Hardware Description Languages -- Posters -- Results…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 78
    Digital design of signal processing systems : a practical approach /
    by Khan, Shoab Ahmed
    Published 2011
    Table of Contents: “…Front Matter -- Overview -- Using a Hardware Description Language -- System Design Flow and Fixed…”
    Full Text via HEAL-Link
    eBook
  19. 79
    The Essential PIC18® Microcontroller
    by Katzen, Sid
    Published 2010
    Table of Contents: “…The Fundamentals -- Digital Representation -- Logic Circuitry -- Stored Program Processing…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 80
    Fundamentals of Computer Organization and Design
    by Dandamudi, Sivarama P.
    Published 2003
    Table of Contents: “… -- Pentium Assembly Language -- Overview of Assembly Language -- Procedures and the Stack -- Addressing Modes…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search