Reconfigurable system design and verification

QR Code

Reconfigurable system design and verification

Bibliographic Details
Main Authors:	Hsiung, Pao-Ann (Author), Huang, Chun-Hsian (Author), Santambrogio, Marco D. [ (Marco Domenico)] (Author)
Format:	Book
Language:	English
Published:	Boca Raton : CRC Press , c2009
Subjects:	Computer systems > Verification Embedded computer systems System design
Online Access:	Table of contents only

Similar Items

Fast and effective embedded systems design applying the ARM mbed
by: Toulson, Rob, et al.
Published: (2017)

Rugged embedded systems computing in harsh environments
by: Vega, Augusto, et al.
Published: (2017)

Worst-case execution time aware compilation techniques for real-time systems
by: Lokuciejewski, Paul, et al.
Published: (2011)

Embedded hardware
by: Ganssle, Jack
Published: (2008)

Testing complex and embedded systems
by: Pries, Kim H. , 1955-, et al.
Published: (2011)

Embedded systems handbook
by: Zurawski, Richard
Published: (2009)

Windows XP embedded advanced
by: Liming, Sean D.
Published: (2003)

Embedded software for the IOT
by: Elk, Klaus

Windows XP Embedded step by step
by: Cseri, James Beau
Published: (2003)

Real-time embedded components and systems
by: Siewert, Sam
Published: (2007)

Embedded software
by: Labrosse, Jean
Published: (2008)

Distributed embedded control systems improving dependability with coherent design
by: Colnaric', M. (Matjaz'), et al.
Published: (2008)

Practical embedded security building secure resource-constrained systems
by: Stapko, Timothy
Published: (2008)

Assembly language programming ARM Cortex-M3
by: Mahout, Vincent
Published: (2012)

Embedded programming with the microsoft .net micro framework
by: Thompson, Donald, et al.
Published: (2007)

Real-time embedded components and systems using Linux and RTOS
by: Siewert, Sam, et al.
Published: (2016)

Verification of sequential and concurrent programs
by: Apt, Krzysztof R. , 1949-, et al.
Published: (2009)

Transputer hardware and system design
by: Hinton, Jeremy, et al.
Published: (1993)

Design of low-power coarse-grained reconfigurable architectures
by: Kim, Yoonjin, et al.
Published: (2011)

System level design with .NET technology
by: Aboulhamid, El Mostaph 1951-, et al.
Published: (2010)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R.
Published: (2001)

Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings
by: Yorav, Karen
Published: (2008)

Unique chips and systems
by: John, Eugene, et al.
Published: (2008)

Embedded Linux primer a practical, real-world approach
by: Hallinan, Christopher
Published: (2007)

Handbook of energy-aware and green computing
by: Ahmad, Ishfaq, et al.
Published: (2012)

System integration from transistor design to large scale integrated circuits
by: Hoffmann, Kurt
Published: (2004)

Rigorous software development an introduction to program verification
by: Almeida, Jose Bacelar
Published: (2011)

The internet of things
by: Greengard, Sameul

Embedded ethernet and Internet complete designing and programming small devices for networking
by: Axelson, Jan
Published: (2003)

Operating system design the Xinu approach, Linksys version
by: Comer, Douglas
Published: (2012)

Systems analysis and design
by: Dennis, Alan, et al.
Published: (2006)

Systems analysis and design
by: Dennis, Alan, et al.
Published: (2015)

Systems analysis and design
by: Kendall, Kenneth E. 1948-, et al.
Published: (2002)

Systems analysis and design
by: Shelly, Gary B., et al.
Published: (2003)

Systems analysis and design
by: Kendall, Kenneth E. 1948-, et al.
Published: (2014)

Systems analysis and design
by: Kendall, Kenneth E. 1948-, et al.
Published: (2005)

Cloud connectivity and embedded sensory systems
by: Spaanenburg, Lambert, et al.
Published: (2011)

Systems analysis and design
by: Roth, Roberta M. (Roberta Marie) 1955-, et al.
Published: (2013)

Introduction to computer systems analysis, design, and applications
by: Aseltine, John A.
Published: (1989)

Ubiquitous multimedia computing
by: Li, Qing 1971-, et al.
Published: (2010)