Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

.

Embedded Systems Design Based on Formal Models of Computation

Embedded Systems Design Based on Formal Models of Computation
Kataloginformation
Feldname Details
Vorliegende Sprache eng
Hinweise auf parallele Ausgaben 348525206 Buchausg. u.d.T.: ‡Radojevic, Ivan: Embedded systems design based on formal models of computation
ISBN 978-94-007-1593-6
Name Radojevic, Ivan
Salcic, Zoran
ANZEIGE DER KETTE Salcic, Zoran
T I T E L Embedded Systems Design Based on Formal Models of Computation
Verlagsort Dordrecht
Verlag Springer Science+Business Media B.V
Erscheinungsjahr 2011
2011
Umfang Online-Ressource (XV, 183p. 114 illus, digital)
Reihe SpringerLink. Bücher
Notiz / Fußnoten Includes bibliographical references and index
Titelhinweis Buchausg. u.d.T.: ‡Radojevic, Ivan: Embedded systems design based on formal models of computation
ISBN ISBN 978-94-007-1594-3
Klassifikation TBC
TEC000000
*68-02
68M10
68Q85
68M07
68Q45
006.22
TA1-2040
ST 153
Kurzbeschreibung Power consumption becomes the most important design goal in a wide range of electronic systems. There are two driving forces towards this trend: continuing device scaling and ever increasing demand of higher computing power. First, device scaling continues to satisfy Moore's law via a conventional way of scaling (More Moore) and a new way of exploiting the vertical integration (More than Moore). Second, mobile and IT convergence requires more computing power on the silicon chip than ever. Cell phones are now evolving towards mobile PC. PCs and data centers are becoming commodities in house and a must in industry. Both supply enabled by device scaling and demand triggered by the convergence trend realize more computation on chip (via multi-core, integration of diverse functionalities on mobile SoCs, etc.) and finally more power consumption incurring power-related issues and constraints. Energy-Aware System Design: Algorithms and Architectures provides state-of-the-art ideas for low power design methods from circuit, architecture to software level and offers design case studies in three fast growing areas of mobile storage, biomedical and security. Important topics and features: - Describes very recent advanced issues and methods for energy-aware design at each design level from circuit and architecture to algorithm level, and also covering important blocks including low power main memory subsystem and on-chip network at architecture level - Explains efficient power conversion and delivery which is becoming important as heterogeneous power sources are adopted for digital and non-digital parts - Investigates 3D die stacking emphasizing temperature awareness for better perspective on energy efficiency - Presents three practical energy-aware design case studies, novel storage device (e.g., solid state disk), biomedical electronics (e.g., cochlear and retina implants), and wireless surveillance camera systems. Researchers and engineers in the field of hardware and software design will find this book an excellent starting point to catch up with the state-of-the-art ideas of low power design.
1. Schlagwortkette Eingebettetes System
Programmierung
Formale Methode
ANZEIGE DER KETTE Eingebettetes System -- Programmierung -- Formale Methode
SWB-Titel-Idn 347108547
Signatur Springer E-Book
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttp://dx.doi.org/10.1007/978-94-007-1594-3
Internetseite / Link Volltext
Siehe auch Volltext
Siehe auch Umschlagbild
Siehe auch Cover
Siehe auch Inhaltstext
.
ISBD-Anzeige Katalogdatensatz500162681
.
Kategorien-Anzeige Katalogdatensatz500162681
.
Verwandte Werke Katalogdatensatz500162681
.
Titel zur Titelsammlung hinzufügen Katalogdatensatz500162681
.
Kataloginformation500162681 Datensatzanfang . Kataloginformation500162681 Seitenanfang .
Titel vormerken Katalogdatensatz500162681
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche