CURRENTLY SOLD OUT

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach by F. Balarin, M. Chiodo, Luciano Lavagno, Attila Jurecska, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Bassam Tabbara, Ellen Sentovich, Harry Hsieh, Paolo Giusto (Hardcover, 1997)

About this product

Best-selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best-selling in Adult Learning & University

Secrets Of Mental Math: The Mathemagician's Guide to Lightening Calculation and Amazing Maths Tricks by Arthur Benjamin, Michael Shermer (Paperback, 2006)
4.8 out of 5 stars based on 16 product ratings
£0.99 New
---- Used
The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)
5.0 out of 5 stars based on 2 product ratings
£25.52 New
£22.99 Used
Never Split the Difference: Negotiating as if Your Life Depended on It by Chris Voss, Tahl Raz (Paperback, 2017)
4.9 out of 5 stars based on 41 product ratings
£6.27 New
£5.99 Used
The Psychology of Money: Timeless lessons on wealth, greed, and happiness by Morgan Housel (Paperback, 2020)
4.3 out of 5 stars based on 10 product ratings
£6.03 New
£5.67 Used
Die with Zero: Getting All You Can from Your Money and Your Life by Bill Perkins (Paperback, 2021)
5.0 out of 5 stars based on 2 product ratings
£6.79 New
---- Used
Code of Practice for In-service Inspection and Testing of Electrical Equipment by The Institution of Engineering and Technology (Paperback, 2020)
4.9 out of 5 stars based on 10 product ratings
£44.20 New
£34.99 Used
Adult Children of Emotionally Immature Parents: How to Heal from Distant, Rejecting, or Self-Involved Parents by Lindsay C Gibson (Paperback, 2015)
4.5 out of 5 stars based on 8 product ratings
£7.04 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Ten Years To Save The West: Lessons from the only conservative in the room by Li
£14.99
Trending at £17.32
Greekish: Everyday recipes with Greek roots by Georgina Hayden(English)Hardcover
£19.99
Trending at £20.19
This Is Why You Dream: What your sleeping brain reveals about your waking life b
£14.98
Trending at £15.68
KS3 Maths Year 8 Targeted Workbook with answers CGP KS3 Targeted Workbooks by
£6.01
Trending at £7.50
Thriving Beyond Fifty 78 Natural Strategies to Restore Your Mobility Avoid Su...
£15.79
Trending at £17.14
The Bitcoin Standard: The Decentralized Alternative to Central Banking by...
£14.80
Trending at £16.70

About this product

Product Information

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.

Product Identifiers

Publisher
Springer
ISBN-13
9780792399360
eBay Product ID (ePID)
87222789

Product Key Features

Subject Area
Electrical Engineering
Author
F. Balarin, M. Chiodo, Luciano Lavagno, Attila Jurecska, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Bassam Tabbara, Ellen Sentovich, Harry Hsieh, Paolo Giusto
Publication Name
Hardware-Software Co-Design of Embedded Systems: the Polis Approach
Format
Hardcover
Language
English
Subject
Computer Science, Physics
Publication Year
1997
Type
Textbook
Number of Pages
297 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
404
Item Weight
1390g

Additional Product Features

Title_Author
Harry Hsieh, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, M. Chiodo, F. Balarin, Paolo Giusto, Ellen Sentovich, Attila Jurecska, Bassam Tabbara, Claudio Passerone
Series Title
The Springer International Series in Engineering and Computer Science
Country/Region of Manufacture
Netherlands

Shop by category

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach by F. Balarin, M. Chiodo, Luciano Lavagno, Attila Jurecska, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Bassam Tabbara, Ellen Sentovich, Harry Hsieh, Paolo Giusto (Hardcover, 1997)

Best-selling in Adult Learning & University

Secrets Of Mental Math: The Mathemagician's Guide to Lightening Calculation and Amazing Maths Tricks by Arthur Benjamin, Michael Shermer (Paperback, 2006)

The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)

Never Split the Difference: Negotiating as if Your Life Depended on It by Chris Voss, Tahl Raz (Paperback, 2017)

The Psychology of Money: Timeless lessons on wealth, greed, and happiness by Morgan Housel (Paperback, 2020)

Die with Zero: Getting All You Can from Your Money and Your Life by Bill Perkins (Paperback, 2021)

Code of Practice for In-service Inspection and Testing of Electrical Equipment by The Institution of Engineering and Technology (Paperback, 2020)

Adult Children of Emotionally Immature Parents: How to Heal from Distant, Rejecting, or Self-Involved Parents by Lindsay C Gibson (Paperback, 2015)

Save on Adult Learning & University

Ten Years To Save The West: Lessons from the only conservative in the room by Li

Greekish: Everyday recipes with Greek roots by Georgina Hayden(English)Hardcover

This Is Why You Dream: What your sleeping brain reveals about your waking life b

KS3 Maths Year 8 Targeted Workbook with answers CGP KS3 Targeted Workbooks by

Thriving Beyond Fifty 78 Natural Strategies to Restore Your Mobility Avoid Su...

The Bitcoin Standard: The Decentralized Alternative to Central Banking by...

You may also like

Harry Potter Fiction Hardcover Books

Charlaine Harris Hardcover Fiction Books

Harry Turtledove Fiction Hardcover Books

Design Non-Fiction Hardcover Books

Harry Potter Fiction Hardcover Books in German

Harry Potter Fiction Hardcover Illustrated Books

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features