| LDR | | 01803nmm uu200385 4500 |
| 001 | | 000000332836 |
| 005 | | 20240805171659 |
| 008 | | 181129s2018 |||||||||||||||||c||eng d |
| 020 | |
▼a 9780438295216 |
| 035 | |
▼a (MiAaPQ)AAI10808354 |
| 035 | |
▼a (MiAaPQ)uci:15034 |
| 040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 248032 |
| 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 |
| 980 | |
▼a 201812
▼f 2019 |
| 990 | |
▼a 관리자 |