BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer International Series in Engineering and Computer Science, 404)

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer International Series in Engineering and Computer Science, 404)

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The
Stock photo: cover may vary

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer International Series in Engineering and Computer Science, 404) Hardback - 1997 - 1997th Edition

by Balarin, F

Add to wish list
  • Used
  • Good
  • Hardback
Used - Good

Description

hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Ask the seller a question Add to wish list
A$158.17
Free Delivery within USA
Standard delivery: 7 to 14 days
More delivery options
Dropship order
Ships from Bonita (California, United States)
The BIBLIO Guarantee

Details

  • Title Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer International Series in Engineering and Computer Science, 404)
  • Author Balarin, F
  • Binding Hardback
  • Edition number 1997th
  • Edition 1997
  • Condition Used - Good
  • Pages 297
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1997-05-31
  • Illustrated Yes
  • Features Bibliography, Glossary, Illustrated, Index
  • Bookseller's Inventory # 0792399366.G
  • ISBN 9780792399360 / 0792399366
  • Weight 1.3 lbs (0.59 kg)
  • Dimensions 9.46 x 6.32 x 0.77 in (24.03 x 16.05 x 1.96 cm)
  • Category Technology & Industrial Arts
  • Library of Congress subjects Computer software - Development, Embedded computer systems - Computer-aided
  • Library of Congress Catalogue Number 97011862
  • Dewey Decimal Code 620.004
  • Quantity available 1

About Bonita California, United States

Biblio member since 2020

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Bonita

Reader reviews for Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer International Series in Engineering and Computer Science, 404)

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

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.

Please wait a moment while we load the requested page.

tracking-