Correct-by-construction approaches for SoC design / / Roopak Sinha, Parthasarathi Roop, Samik Basu |
Autore | Sinha Roopak |
Pubbl/distr/stampa | New York, : Springer Science, 2014 |
Descrizione fisica | 1 online resource (xxi, 144 pages) : illustrations (some color) |
Disciplina |
004.1
620 621.381 621.3815 |
Altri autori (Persone) |
RoopParthasarathi
BasuSamik |
Collana | Gale eBooks |
Soggetto topico |
Systems on a chip - Design and construction
Embedded computer systems - Design and construction |
ISBN | 1-4614-7864-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | System-on-A-Chip Design.- The AMBA SOC Platform.- Automatic Verification using Model and Module Checking -- Models for SoCs and Specifications -- SoC Design Methodology -- Automatic Protocol Conversion -- Related Work and Outlook.- Appendix: Converter Generation Algorithm. |
Record Nr. | UNINA-9910299738403321 |
Sinha Roopak
![]() |
||
New York, : Springer Science, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Service-Oriented Computing [[electronic resource] ] : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings / / edited by Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVIII, 713 p. 260 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Application software Information storage and retrieval Management information systems Computer science Information technology Business—Data processing Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Management of Computing and Information Systems IT in Business |
ISBN | 3-642-45005-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465644703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service-Oriented Computing : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings / / edited by Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVIII, 713 p. 260 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Application software Information storage and retrieval Management information systems Computer science Information technology Business—Data processing Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Management of Computing and Information Systems IT in Business |
ISBN | 3-642-45005-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484800203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|