Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Hardware-Software Co-Design of Embedded Systems

Best Price (Coupon Required):
Buy Hardware-Software Co-Design of Embedded Systems for $116.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$116.10
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$129.00 $129.00

10% OFF
This deals requires coupon
$116.10
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461561279
Condition
New
Product 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. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Fine Structures of Hyperbolic Diffeomorphisms

Fine Structures of Hyperbolic Diffeomorphisms

$109.99
Animal Models in Psychiatry, I

Animal Models in Psychiatry, I

$84.99
Allgemeine Strahlentherapeutische Methodik

Allgemeine Strahlentherapeutische Methodik

$44.99
Mechanics of Hearing

Mechanics of Hearing

$54.99
Queueing Theory

Queueing Theory

$54.99
Magic of Minerals and Rocks

Magic of Minerals and Rocks

$39.99
Friedrich List: Politisches Mosaik

Friedrich List: Politisches Mosaik

$49.99
Britain's Winning Formula

Britain's Winning Formula

$74.99
Monetary Policy

Monetary Policy

$169.99
Classic Papers in Geriatric Medicine with Current Commentaries

Classic Papers in Geriatric Medicine with Current Commentaries

$89.00
Advanced Course on FAIRSHAPE

Advanced Course on FAIRSHAPE

$54.99
Motion Correction in Thoracic Positron Emission Tomography

Motion Correction in Thoracic Positron Emission Tomography

$54.99
Oil Revenues, Security and Stability in West Africa

Oil Revenues, Security and Stability in West Africa

$54.99
Regulationsprfung des Kreislaufs

Regulationsprfung des Kreislaufs

$44.99
The Social Life of a Herstory Textbook

The Social Life of a Herstory Textbook

$54.99
Die konomie des Gemeinwohls

Die konomie des Gemeinwohls

$37.99
Introduction to Partial Differential Equations

Introduction to Partial Differential Equations

$39.99
Business Modeling and Software Design

Business Modeling and Software Design

$89.99
Allostery

Allostery

$169.99
Human Antibody Therapeutics For Viral Disease

Human Antibody Therapeutics For Viral Disease

$169.99
Behavioral Medicine

Behavioral Medicine

$84.99
Phase Transitions Cargse 1980

Phase Transitions Cargse 1980

$54.99
Theoretische Grundlagen der Elektrotechnik 1

Theoretische Grundlagen der Elektrotechnik 1

$69.99
Vesper Flights by Helen Macdonald

Vesper Flights by Helen Macdonald

$17.00
The 1st International Conference on Advanced Intelligent System and Informatics (AISI2015), November

The 1st International Conference on Advanced Intelligent System and Informatics (AISI2015), November

$169.99
Local and Global Methods of Nonlinear Dynamics

Local and Global Methods of Nonlinear Dynamics

$39.99
Normale Anatomie und Entwicklungsgeschichte  Leichenerscheinungen Dermatopathien  Dermatitiden I

Normale Anatomie und Entwicklungsgeschichte Leichenerscheinungen Dermatopathien Dermatitiden I

$59.99
Tissue Engineering for the Heart

Tissue Engineering for the Heart

$89.99
Nanotechnology and the Generation of Sustainable Hydrogen

Nanotechnology and the Generation of Sustainable Hydrogen

$159.99
Negative und Positive Strahlen Zusammenhngende Materie

Negative und Positive Strahlen Zusammenhngende Materie

$59.99
Calcined Clays for Sustainable Concrete

Calcined Clays for Sustainable Concrete

$249.99
Interculturality in Fragments

Interculturality in Fragments

$139.99
Codes, Designs and Geometry

Codes, Designs and Geometry

$169.99
Autism Spectrum Disorder and Alzheimer's Disease

Autism Spectrum Disorder and Alzheimer's Disease

$249.99
Mathematics Education in Singapore

Mathematics Education in Singapore

$169.99
Progress in Organic Chemistry

Progress in Organic Chemistry

$39.99
Mathematik-Problemlsungen mit MATHCAD und MATHCAD PRIME

Mathematik-Problemlsungen mit MATHCAD und MATHCAD PRIME

$39.99
Growing Black Holes: Accretion in a Cosmological Context

Growing Black Holes: Accretion in a Cosmological Context

$39.99
Grenzen der Akteursfhigkeit

Grenzen der Akteursfhigkeit

$59.99
Global Change and Mediterranean-Type Ecosystems

Global Change and Mediterranean-Type Ecosystems

$219.99
previous
next