Title: Piton: A Mechanically Verified Assembly-Level Language, Author: J Strother Moore
Title: Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings, Author: Jack Davidson
Title: The Verilog PLI Handbook: A User's Guide and Comprehensive Reference on the Verilog Programming Language Interface, Author: Stuart Sutherland
Title: i386/i486 Advanced Programming: Real Mode Protected Mode Virtual 8086 Mode, Author: Sen-cuo Ro
Title: VHDL Coding Styles and Methodologies, Author: Ben Cohen
Title: Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS, Author: Ed F. Deprettere
Title: Software Technologies for Embedded and Ubiquitous Systems: 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings, Author: Sunggu Lee
Title: Software Technologies for Embedded and Ubiquitous Systems: 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Revised Papers, Author: Tony Givargis
Title: Higher-Level Hardware Synthesis, Author: Richard Sharp
Title: Rapid Prototyping of Digital Systems: Quartus® II Edition, Author: James O. Hamblen
Title: Real-Time Software Design: A Guide for Microprocessor Systems, Author: HELLER
Title: Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings, Author: Isabelle Attali
Title: The Verilog® Hardware Description Language, Author: Donald E. Thomas
Title: Safety and Reliability of Programmable Electronic Systems, Author: Daniels
Title: Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks: Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008, Author: José A. Onieva
Title: Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings, Author: Alberto Sangiovanni-Vincentelli
Title: Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings, Author: Henk Schepers
Title: Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings, Author: Frank Mueller
Title: C Programming for Arduino: Building your own electronic devices is fascinating fun and this book helps you enter the world of autonomous but connected devices. After an introduction to the Arduino board, you'll end up learning some skills to surprise your, Author: Julien Bayle
Title: SystemC: From the Ground Up, Author: David C. Black

Pagination Links