| LDR | | 01879nam u200385 4500 |
| 001 | | 000000421056 |
| 005 | | 20190215165014 |
| 008 | | 181129s2018 |||||||||||||||||c||eng d |
| 020 | |
▼a 9780438295216 |
| 035 | |
▼a (MiAaPQ)AAI10808354 |
| 035 | |
▼a (MiAaPQ)uci:15034 |
| 040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 247004 |
| 082 | 0 |
▼a 621.3 |
| 100 | 1 |
▼a Schmidt, Tim. |
| 245 | 12 |
▼a A Compiler Infrastructure for Static and Hybrid Analysis of Discrete Event System Models. |
| 260 | |
▼a [S.l.]:
▼b University of California, Irvine.,
▼c 2018. |
| 260 | 1 |
▼a Ann Arbor:
▼b ProQuest Dissertations & Theses,
▼c 2018. |
| 300 | |
▼a 136 p. |
| 500 | |
▼a Source: Dissertation Abstracts International, Volume: 80-01(E), Section: B. |
| 500 | |
▼a Adviser: Rainer Doemer. |
| 502 | 1 |
▼a Thesis (Ph.D.)--University of California, Irvine, 2018. |
| 520 | |
▼a The design of embedded systems is a well-established research domain for many decades. However, the constantly increasing complexity and requirements of state-of-the-art embedded systems pushes designers to new challenges while maintaining estab |
| 520 | |
▼a In this dissertation, we provide the Recoding Infrastructure for SystemC (RISC) compiler framework to perform static and hybrid analysis of IEEE SystemC models. On one hand, RISC generates thread communication charts to visualize the communicati |
| 590 | |
▼a School code: 0030. |
| 650 | 4 |
▼a Computer engineering. |
| 690 | |
▼a 0464 |
| 710 | 20 |
▼a University of California, Irvine.
▼b Electrical and Computer Engineering - Ph.D.. |
| 773 | 0 |
▼t Dissertation Abstracts International
▼g 80-01B(E). |
| 773 | |
▼t Dissertation Abstract International |
| 790 | |
▼a 0030 |
| 791 | |
▼a Ph.D. |
| 792 | |
▼a 2018 |
| 793 | |
▼a English |
| 856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T14997811
▼n KERIS
▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
| 980 | |
▼a 201812
▼f 2019 |
| 990 | |
▼a ***1012033 |