Hardware-Software Co-Design of Embedded Systems Image close
Hardware-Software Co-Design of Embedded Systems on Hardback by Paolo Giusto
Hardware-Software Co-Design of Embedded Systems on Hardback by Paolo Giusto
Show Hide Adult Content
Hardware-Software Co-Design of Embedded Systems close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Electronics & communications engineering  
Electronics engineering  
Circuits & components

Hardware-Software Co-Design of Embedded Systems

The POLIS Approach
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$443.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $110.75 with Afterpay Learn more

6 weekly interest-free payments of $73.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 26 Jun - 8 Jul using International Courier

Explore more The Springer International Series in Engineering and Computer Science

See all products in this series

Asymptotic Combinatorial Coding Theory on Hardback by Volodia Blinovsky
$287.00
Asymptotic Combinatorial Coding Theory
by Volodia Blinovsky ~ Hardback
Available - Usually ships in 3-4 weeks
BiCMOS Technology and Applications on Hardback
$446.00
BiCMOS Technology and Applications
Hardback
Available - Usually ships in 3-4 weeks
Architecture and CAD for Deep-Submicron FPGAS on Hardback by Vaughn Betz
$568.00
Architecture and CAD for Deep-Submicron FPGAS
by Vaughn Betz ~ Hardback
Available - Usually ships in 3-4 weeks
The Verilog PLI Handbook: A User's Guide and Comprehensive Reference on the Verilog Programming Language Interface on Hardback by Stuart Sutherland
$617.00
The Verilog PLI Handbook: A User's Guide and Comprehensive Reference...
by Stuart Sutherland ~ Hardback
Available - Usually ships in 3-4 weeks
Conceptual Design of Multichip Modules and Systems on Hardback by Peter A. Sandborn
$442.00
Conceptual Design of Multichip Modules and Systems
by Peter A. Sandborn ~ Hardback
Available - Usually ships in 3-4 weeks
Hot-Carrier Reliability of MOS VLSI Circuits on Hardback by Yusuf Leblebici
$567.00
Hot-Carrier Reliability of MOS VLSI Circuits
by Yusuf Leblebici ~ Hardback
Available - Usually ships in 3-4 weeks
Advanced Concepts in Adaptive Signal Processing on Hardback by W.Kenneth Jenkins
$459.00
Advanced Concepts in Adaptive Signal Processing
by W.Kenneth Jenkins ~ Hardback
Available - Usually ships in 3-4 weeks
Digital BiCMOS Integrated Circuit Design on Hardback by Sherif H.K. Embabi
$466.00
Digital BiCMOS Integrated Circuit Design
by Sherif H.K. Embabi ~ Hardback
Available - Usually ships in 3-4 weeks
Switching and Traffic Theory for Integrated Broadband Networks on Hardback by Joseph Y. Hui
$571.00
Switching and Traffic Theory for Integrated Broadband Networks
by Joseph Y. Hui ~ Hardback
Available - Usually ships in 3-4 weeks
Matrix Computations on Systolic-Type Arrays on Hardback by Jaime Moreno
$443.00
Matrix Computations on Systolic-Type Arrays
by Jaime Moreno ~ Hardback
Available - Usually ships in 3-4 weeks
Video Object Extraction and Representation on Hardback by I-Jong Lin
$299.00
Video Object Extraction and Representation
by I-Jong Lin ~ Hardback
Available - Usually ships in 3-4 weeks
Advances in Wireless Communications on Hardback
$591.00
Advances in Wireless Communications
Hardback
Available - Usually ships in 3-4 weeks
Trellises and Trellis-Based Decoding Algorithms for Linear Block Codes on Hardback by Shu Lin
$443.00
Trellises and Trellis-Based Decoding Algorithms for Linear Block Codes
by Shu Lin ~ Hardback
Available - Usually ships in 3-4 weeks
On-Chip ESD Protection for Integrated Circuits on Hardback by Albert Z.H. Wang
$646.00
On-Chip ESD Protection for Integrated Circuits
by Albert Z.H. Wang ~ Hardback
Available - Usually ships in 3-4 weeks
Design of Modulators for Oversampled Converters on Hardback by Feng Wang
$298.00
Design of Modulators for Oversampled Converters
by Feng Wang ~ Hardback
Available - Usually ships in 3-4 weeks
Advances in Speech Coding on Hardback
$573.00
Advances in Speech Coding
Hardback
Available - Usually ships in 3-4 weeks

Description

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety. Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it.
Release date NZ
May 31st, 1997
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Illustrations
XIX, 297 p.
Pages
297
Dimensions
156x234x19
ISBN-13
9780792399360
Product ID
2505014

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Paolo Giusto

See all books by this author

Security-Aware Design for Cyber-Physical Systems on Hardback by Chung-Wei Lin
$337.00
Security-Aware Design for Cyber-Physical Systems
by Chung-Wei Lin ~ Hardback
Available - Usually ships in 3-4 weeks
Security-Aware Design for Cyber-Physical Systems by Chung-Wei Lin
$339.00
Security-Aware Design for Cyber-Physical Systems
by Chung-Wei Lin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Unknown Component Problem on Paperback by Tiziano Villa
$441.00
The Unknown Component Problem
by Tiziano Villa ~ Paperback
Available - Usually ships in 3-4 weeks
Function/Architecture Optimization and Co-Design of Embedded Systems on Hardback by Bassam Tabbara
$290.00
Function/Architecture Optimization and Co-Design of Embedded Systems
by Bassam Tabbara ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithms for Synthesis and Testing of Asynchronous Circuits by Luciano Lavagno
$644.00
Algorithms for Synthesis and Testing of Asynchronous Circuits
by Luciano Lavagno ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Synchronous Equivalence on Hardback by Harry Hsieh
$297.00
Synchronous Equivalence
by Harry Hsieh ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithms for Synthesis and Testing of Asynchronous Circuits on Hardback by Luciano Lavagno
$647.00
Algorithms for Synthesis and Testing of Asynchronous Circuits
by Luciano Lavagno ~ Hardback
Available - Usually ships in 3-4 weeks
Design Automation of Real-Life Asynchronous Devices and Systems by Alexander Taubin
$222.00
Design Automation of Real-Life Asynchronous Devices and Systems
by Alexander Taubin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems by Alper Demir
$439.00
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and...
by Alper Demir ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Understanding and Using the Controller Area Network Communication Protocol by Marco di Natale
$337.00
Understanding and Using the Controller Area Network Communication...
by Marco di Natale ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Smart Connected Buildings Design Automation by Mehdi Maasoumy
$231.00
Smart Connected Buildings Design Automation
by Mehdi Maasoumy ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits by Henry Chang
$442.00
A Top-Down, Constraint-Driven Design Methodology for Analog...
by Henry Chang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits on Hardback by Henry Chang
$445.00
A Top-Down, Constraint-Driven Design Methodology for Analog...
by Henry Chang ~ Hardback
Available - Usually ships in 3-4 weeks
Synchronous Equivalence by Harry Hsieh
$287.00
Synchronous Equivalence
by Harry Hsieh ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Function/Architecture Optimization and Co-Design of Embedded Systems by Bassam Tabbara
$287.00
Function/Architecture Optimization and Co-Design of Embedded Systems
by Bassam Tabbara ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems on Hardback by Alper Demir
$442.00
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and...
by Alper Demir ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering >
Circuits & components
Books >
Non-Fiction >
Technology >
Energy technology & engineering >
Electrical engineering
Books >
Computers & Internet >
Theory & Design >
Systems analysis & design
Books >
Computers & Internet >
Graphical & digital media applications >
Computer-aided design (CAD)
Books >
Computers & Internet >
Computer science >
Systems analysis & design