Items related to Hardware-Software Co-Design of Embedded Systems: The...

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

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

Synopsis

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.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date1997
  • ISBN 10 0792399366
  • ISBN 13 9780792399360
  • BindingHardcover
  • LanguageEnglish
  • Number of pages316

Buy Used

Condition: Very Good
Zustand: Gut | Seiten: 322 | Sprache...
View this item

£ 7.47 shipping from Germany to United Kingdom

Destination, rates & speeds

Buy New

View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  1461378087 ISBN 13:  9781461378082
Publisher: Springer, 2013
Softcover

Search results for Hardware-Software Co-Design of Embedded Systems: The...

Stock Image

F. Balarin, Alberto Sangiovanni-Vincentelli, Bassam Tabbara, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Kei Suzuki, M. Chiodo, Harry Hsieh, Luciano Lavagno
Published by Springer US, 1997
ISBN 10: 0792399366 ISBN 13: 9780792399360
Used Hardcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Gut. Zustand: Gut | Seiten: 322 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 1368866/3

Contact seller

Buy Used

£ 31.26
Convert currency
Shipping: £ 7.47
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Hsieh, Harry
Published by Springer, 1997
ISBN 10: 0792399366 ISBN 13: 9780792399360
Used Hardcover

Seller: Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: Like New. LIKE NEW. book. Seller Inventory # ERICA82807923993663

Contact seller

Buy Used

£ 75
Convert currency
Shipping: £ 8
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Balarin, F.; Giusto, Paolo; Jurecska, Attila; Passerone, Claudio; Sentovich, Ellen; Tabbara, Bassam; Chiodo, M.; Hsieh, Harry; Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto; Suzuki, Kei
Published by Springer, 1997
ISBN 10: 0792399366 ISBN 13: 9780792399360
New Hardcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9780792399360_new

Contact seller

Buy New

£ 139.22
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

F. Balarin
Published by Springer US Mai 1997, 1997
ISBN 10: 0792399366 ISBN 13: 9780792399360
New Hardcover
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 322 pp. Englisch. Seller Inventory # 9780792399360

Contact seller

Buy New

£ 138.68
Convert currency
Shipping: £ 9.23
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

F. Balarin
Published by Springer US, Springer US, 1997
ISBN 10: 0792399366 ISBN 13: 9780792399360
New Hardcover

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9780792399360

Contact seller

Buy New

£ 145.80
Convert currency
Shipping: £ 11.74
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

F. Balarin
ISBN 10: 0792399366 ISBN 13: 9780792399360
New Hardcover

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 322 pp. Englisch. Seller Inventory # 9780792399360

Contact seller

Buy New

£ 138.68
Convert currency
Shipping: £ 29.36
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

F. Balarin|Paolo Giusto|Attila Jurecska|Claudio Passerone|Ellen Sentovich|Bassam Tabbara|M. Chiodo|Harry Hsieh|Luciano Lavagno|Alberto Sangiovanni-Vincentelli|Kei Suzuki
Published by Springer US, 1997
ISBN 10: 0792399366 ISBN 13: 9780792399360
New Hardcover

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. 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-controller. Seller Inventory # 5971830

Contact seller

Buy New

£ 153.93
Convert currency
Shipping: £ 20.97
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Balarin, F.; Giusto, Paolo; Jurecska, Attila; Passerone, Claudio; Sentovich, Ellen; Tabbara, Bassam; Chiodo, M.; Hsieh, Harry; Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto; Suzuki, Kei
Published by Springer, 1997
ISBN 10: 0792399366 ISBN 13: 9780792399360
New Hardcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Feb2416190186317

Contact seller

Buy New

£ 136.41
Convert currency
Shipping: £ 55.50
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Balarin Felice Jurecska Attila Giusto Paolo
Published by Springer, 1997
ISBN 10: 0792399366 ISBN 13: 9780792399360
New Hardcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 324 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 7547206

Contact seller

Buy New

£ 204.19
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Balarin Felice Jurecska Attila Giusto Paolo
Published by Springer, 1997
ISBN 10: 0792399366 ISBN 13: 9780792399360
New Hardcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND pp. 324. Seller Inventory # 18300691

Contact seller

Buy New

£ 212.39
Convert currency
Shipping: £ 6.67
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket