|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"sangiovanni vincentelli albert"
Showing items 1-17 of 17 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
2020-05-04T07:53:56Z |
Timing analysis of process graphs with finite communication buffers.
|
CHUNG-WEI LIN; Lin, Chung-Wei;Natale, Marco Di;Zeng, Haibo;Phan, Linli Thi Xuan;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Natale, Marco Di; Zeng, Haibo; Phan, Linli Thi Xuan; Sangiovanni-Vincentelli, Alberto L. |
| 臺大學術典藏 |
2020-05-04T07:53:56Z |
Timing analysis of process graphs with finite communication buffers.
|
CHUNG-WEI LIN; Lin, Chung-Wei;Natale, Marco Di;Zeng, Haibo;Phan, Linli Thi Xuan;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Natale, Marco Di; Zeng, Haibo; Phan, Linli Thi Xuan; Sangiovanni-Vincentelli, Alberto L. |
| 臺大學術典藏 |
2020-05-04T07:53:56Z |
Cyber-Security for the Controller Area Network (CAN) Communication Protocol.
|
Lin, Chung-Wei; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN |
| 臺大學術典藏 |
2020-05-04T07:53:55Z |
An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems.
|
Lin, Chung-Wei;Rao, Lei;Giusto, Paolo;D'Ambrosio, Joseph;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Rao, Lei; Giusto, Paolo; D'Ambrosio, Joseph; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN |
| 臺大學術典藏 |
2020-05-04T07:53:55Z |
An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems.
|
Lin, Chung-Wei;Rao, Lei;Giusto, Paolo;D'Ambrosio, Joseph;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Rao, Lei; Giusto, Paolo; D'Ambrosio, Joseph; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN |
| 臺大學術典藏 |
2020-05-04T07:53:55Z |
Security-aware mapping for TDMA-based real-time distributed systems.
|
CHUNG-WEI LIN; Lin, Chung-Wei;Zhu, Qi;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Zhu, Qi; Sangiovanni-Vincentelli, Alberto L. |
| 臺大學術典藏 |
2020-05-04T07:53:55Z |
Security-aware mapping for TDMA-based real-time distributed systems.
|
CHUNG-WEI LIN; Lin, Chung-Wei;Zhu, Qi;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Zhu, Qi; Sangiovanni-Vincentelli, Alberto L. |
| 臺大學術典藏 |
2020-05-04T07:53:55Z |
Security-aware mapping for CAN-based real-time distributed automotive systems.
|
Lin, Chung-Wei;Zhu, Qi;Phung, Calvin;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Zhu, Qi; Phung, Calvin; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN |
| 臺大學術典藏 |
2020-05-04T07:53:55Z |
Security-aware mapping for CAN-based real-time distributed automotive systems.
|
Lin, Chung-Wei;Zhu, Qi;Phung, Calvin;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Zhu, Qi; Phung, Calvin; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN |
| 臺大學術典藏 |
2020-05-04T07:53:54Z |
Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems.
|
Lin, Chung-Wei; Zhu, Qi; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN; Lin, Chung-Wei;Zhu, Qi;Sangiovanni-Vincentelli, Alberto L. |
| 臺大學術典藏 |
2020-05-04T07:53:54Z |
Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems.
|
Lin, Chung-Wei; Zhu, Qi; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN; Lin, Chung-Wei;Zhu, Qi;Sangiovanni-Vincentelli, Alberto L. |
| 臺大學術典藏 |
2020-05-04T07:53:54Z |
Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems.
|
Lin, Chung-Wei;Rao, Lei;Giusto, Paolo;D'Ambrosio, Joseph;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Rao, Lei; Giusto, Paolo; D'Ambrosio, Joseph; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN |
| 臺大學術典藏 |
2020-05-04T07:53:54Z |
Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems.
|
Lin, Chung-Wei;Rao, Lei;Giusto, Paolo;D'Ambrosio, Joseph;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Rao, Lei; Giusto, Paolo; D'Ambrosio, Joseph; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN |
| 臺大學術典藏 |
2020-05-04T07:53:54Z |
Security-Aware Design Methodology and Optimization for Automotive Systems.
|
Lin, Chung-Wei;Zheng, Bowen;Zhu, Qi;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Zheng, Bowen; Zhu, Qi; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN |
| 臺大學術典藏 |
2020-05-04T07:53:54Z |
Security-Aware Design Methodology and Optimization for Automotive Systems.
|
Lin, Chung-Wei;Zheng, Bowen;Zhu, Qi;Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Zheng, Bowen; Zhu, Qi; Sangiovanni-Vincentelli, Alberto L.; CHUNG-WEI LIN |
| 臺大學術典藏 |
2020-05-04T07:53:51Z |
Quotient for Assume-Guarantee Contracts.
|
CHUNG-WEI LIN; Lin, Chung-Wei; Kang, Eunsuk; Sangiovanni-Vincentelli, Alberto L.; Romeo, ??igo ?ncer; Romeo, ??igo ?ncer;Sangiovanni-Vincentelli, Alberto L.;Lin, Chung-Wei;Kang, Eunsuk |
| 臺大學術典藏 |
2020-05-04T07:53:51Z |
Quotient for Assume-Guarantee Contracts.
|
CHUNG-WEI LIN; Lin, Chung-Wei; Kang, Eunsuk; Sangiovanni-Vincentelli, Alberto L.; Romeo, ??igo ?ncer; Romeo, ??igo ?ncer;Sangiovanni-Vincentelli, Alberto L.;Lin, Chung-Wei;Kang, Eunsuk |
Showing items 1-17 of 17 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
