International Conference on Formal Methods and Models for Co-Design, 1st ACM and IEEE
| Author/creator | IEEE Computer Society Staff |
| Other author | ACM Digital Library. |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos : IEEE Computer Society Press Piscataway : IEEE [Distributor] |
| Description | 296 p. 11.000 x 08.500 in. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from ACM Digital Library |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Subjects |
| Summary | Annotation This forum, "Formal Methods and Models for Codesign," or MEMOCODE, looks at the theory and practice for embedded systems design, design modeling and design verification. The program delves into barriers to adoption of high-level design, validation methods in embedded systems particularly, in the context of hardware / software codesign. Recent discussion have led to quite an eye-opener: while discussing fairly abstract models and techniques researchers have converged on five different technology needs for the system design houses today. These are Conformance Checking; Hierarchical Verification; Abstraction versus Optimization; Incremental Verification; and Post-production Patchability. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2003102535 |
| ISBN | 9780769519234 |
| ISBN | 0769519237 (Trade Paper) Active Record |
| Standard identifier# | 9780769519234 |
| Stock number | PR1923 00029433 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |