Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.
Autonomic Networking-on-Chip
ISBN/GTIN

Autonomic Networking-on-Chip

Bio-Inspired Specification, Development, and Verification
E-BookPDFDRM AdobeE-Book
Verkaufsrang129719in
CHF125.75

Beschreibung

Written for researchers and scientists, this book presents advanced reference material for readers who already have a basic understanding of NoC and are now ready to learn how to specify, develop, and verify ANoC using rigorous approaches. Exploring the theoretical knowledge required to achieve this, the text also presents formal and practical aspects in a straightforward way by detailing elemental components and briefly touching on the more advanced ones. The authors demonstrate how to use formal ANoC methods while making sound judgments and allowing for reasonable justifications.
Weitere Beschreibungen

Details

Weitere ISBN/GTIN9781439829134
ProduktartE-Book
EinbandE-Book
FormatPDF
Format HinweisDRM Adobe
Erscheinungsdatum03.09.2018
Auflage18001 A. 1. Auflage
Seiten287 Seiten
SpracheEnglisch
Dateigrösse5526 Kbytes
Illustrationen68 schwarz-weiße Abbildungen, 21 schwarz-weiße Tabellen
Artikel-Nr.4590730
KatalogVC
Datenquelle-Nr.234273
Weitere Details

Autor

Phan Cong-Vinh received a Ph.D in computer science from London South Bank University (LSBU) in the United Kingdom, a BS in mathematics and an MS in computer science from Vietnam National University (VNU) in Ho Chi Minh City, and a BA in English from Hanoi University of Foreign Languages Studies in Vietnam. He finished his PhD dissertation with the title Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems supervised by Prof. Jonathan P. Bowen at LSBU where he was affiliated with the Centre for Applied Formal Methods (CAFM) at the Institute for Computing Research (ICR). From 1983 to 2000, he was a lecturer in mathematics and computer science at VNU, Posts and Telecommunications Institute of Technology (PTIT) and several other universities in Vietnam before he joined research with Dr. Tomasz Janowski at the International Institute for Software Technology (IIST) in Macao SAR, China, as a fellow in 2000. His research interests center on all aspects of formal methods, autonomic computing and networking, reconfigurable computing, ubiquitous computing, and applied categorical structures in computer science.