Hardware-software Co-design of Embedded Systems

F. Balarin

ISBN 10: 0792399366 ISBN 13: 9780792399360
Edité par Kluwer Academic Publishers, 1997
Neuf(s) Couverture rigide

Vendeur Kennys Bookstore, Olney, MD, Etats-Unis Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 9 octobre 2009


A propos de cet article

Description :

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. This book gives an overview of the POLIS system including its formal and algorithmic aspects. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 297 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 631. . 1997. 1997th Edition. Hardcover. . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9780792399360

Signaler cet article

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Hardware-software Co-design of Embedded ...
Éditeur : Kluwer Academic Publishers
Date d'édition : 1997
Reliure : Couverture rigide
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

F. Balarin, Alberto Sangiovanni-Vincentelli, Bassam Tabbara, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Kei Suzuki, M. Chiodo, Harry Hsieh, Luciano Lavagno
Edité par Springer US, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Gut. Zustand: Gut | Seiten: 322 | Sprache: Englisch | Produktart: Bücher | 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. N° de réf. du vendeur 1368866/3

Contacter le vendeur

Acheter D'occasion

EUR 122,02
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

F. Balarin|Paolo Giusto|Attila Jurecska|Claudio Passerone|Ellen Sentovich|Bassam Tabbara|M. Chiodo|Harry Hsieh|Luciano Lavagno|Alberto Sangiovanni-Vincentelli|Kei Suzuki
Edité par Springer US, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. N° de réf. du vendeur 5971830

Contacter le vendeur

Acheter neuf

EUR 136,16
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

F. Balarin (u. a.)
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. Hardware-Software Co-Design of Embedded Systems | The POLIS Approach | F. Balarin (u. a.) | Buch | The Springer International Series in Engineering and Computer Science | xix | Englisch | 1997 | Springer | EAN 9780792399360 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 102984763

Contacter le vendeur

Acheter neuf

EUR 141,20
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

F. Balarin
Edité par Springer US Mai 1997, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : 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. N° de réf. du vendeur 9780792399360

Contacter le vendeur

Acheter neuf

EUR 160,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

F. Balarin
Edité par Springer, Springer Mai 1997, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 322 pp. Englisch. N° de réf. du vendeur 9780792399360

Contacter le vendeur

Acheter neuf

EUR 160,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Balarin, Felice (EDT); Chiodo, Massimiliano; Giusto, Paolo; Hsieh, Harry; Jurecska, Attila; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sentovich, Ellen; Suzuki, Kei; Tabbara, Bassam
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 269183-n

Contacter le vendeur

Acheter neuf

EUR 162,49
Expédition à EUR 17,30
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Balarin, F.; Giusto, Paolo; Jurecska, Attila; Passerone, Claudio; Sentovich, Ellen; Tabbara, Bassam; Chiodo, M.; Hsieh, Harry; Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto; Suzuki, Kei
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9780792399360_new

Contacter le vendeur

Acheter neuf

EUR 162,50
Expédition à EUR 13,82
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

F. Balarin
Edité par Springer, Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : 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. N° de réf. du vendeur 9780792399360

Contacter le vendeur

Acheter neuf

EUR 168,73
Expédition à EUR 63,25
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Balarin, Felice (EDT); Chiodo, Massimiliano; Giusto, Paolo; Hsieh, Harry; Jurecska, Attila; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sentovich, Ellen; Suzuki, Kei; Tabbara, Bassam
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 269183-n

Contacter le vendeur

Acheter neuf

EUR 179,29
Expédition à EUR 2,25
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Balarin, Felice (EDT); Chiodo, Massimiliano; Giusto, Paolo; Hsieh, Harry; Jurecska, Attila; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sentovich, Ellen; Suzuki, Kei; Tabbara, Bassam
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Ancien ou d'occasion Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 269183

Contacter le vendeur

Acheter D'occasion

EUR 180,49
Expédition à EUR 2,25
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 4 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre