Title | Verifying Distributed Controllers using Time-Stamped ECAs |
Author | *Matthias Kauer, Sebastian Steinhorst, Martin Lukasiewycz (TUM CREATE, Singapore), Dip Goswami, Reinhard Schneider, Samarjit Chakraborty (TU Munich, Germany) |
Page | pp. 411 - 416 |
Detailed information (abstract, keywords, etc) |
Title | Reliability Assessment of Safety-Relevant Automotive Systems in a Model-Based Design Flow |
Author | *Sebastian Reiter, Michael Pressler, Alexander Viehl (FZI Forschungszentrum Informatik, Germany), Oliver Bringmann, Wolfgang Rosenstiel (Univ. Tuebingen, Germany) |
Page | pp. 417 - 422 |
Detailed information (abstract, keywords, etc) | |
Slides |
Title | Sequential Dependency and Reliability Analysis of Embedded System |
Author | Hehua Zhang, *Yu Jiang (Tsinghua Univ., China), William N.N Hung (Synopsys, Inc., U.S.A.), Xiaoyu Song (Portland State Univ., U.S.A.), Jiaguang Sun (Tsinghua Univ., China) |
Page | pp. 423 - 428 |
Detailed information (abstract, keywords, etc) | |
Slides |
Title | Processor and DRAM Integration by TSV-Based 3-D Stacking for Power-Aware SOCs |
Author | Shin-Shiun Chen, Chun-Kai Hsu, *Hsiu-Chuan Shih (National Tsing Hua Univ., Taiwan), Jen-Chieh Yeh (ITRI, Taiwan), Cheng-Wen Wu (National Tsing Hua Univ., Taiwan) |
Page | pp. 429 - 434 |
Detailed information (abstract, keywords, etc) | |
Slides |