𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC) - Tokyo, Japan (2010.12.13-2010.12.15)] 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing - Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications

✍ Scribed by Kitamura, Takashi; Okamoto, Keishi; Takeyama, Makoto

Book ID: 111951491
Publisher: IEEE
Year: 2010
Weight: 285 KB
Volume: 0
Category: Article
ISBN: 142448975X
DOI: 10.1109/prdc.2010.42

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 IEEE 16th Pacific Rim Interna

[IEEE 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC) - Tokyo, Japan (2010.12.13-2010.12.15)] 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing - A Software Accelerated Life Testing Model

✍ Fujii, Toshiya; Dohi, Tadashi; Okamura, Hiroyuki; Fujiwara, Takaji 📂 Article 📅 2010 🏛 IEEE ⚖ 323 KB

[IEEE 2010 IEEE 16th Pacific Rim Interna

[IEEE 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC) - Tokyo, Japan (2010.12.13-2010.12.15)] 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing - On the Reliability of Cascaded TMR Systems

✍ Hamamatsu, Masashi; Tsuchiya, Tatsuhiro; Kikuno, Tohru 📂 Article 📅 2010 🏛 IEEE ⚖ 203 KB

[IEEE 2010 IEEE 16th Pacific Rim Interna

[IEEE 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC) - Tokyo, Japan (2010.12.13-2010.12.15)] 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing - Estimating Computer Virus Propagation Based on Markovian Arrival Processes

✍ Okamura, Hiroyuki; Dohi, Tadashi 📂 Article 📅 2010 🏛 IEEE ⚖ 514 KB

[IEEE 2010 IEEE 16th Pacific Rim Interna

[IEEE 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC) - Tokyo, Japan (2010.12.13-2010.12.15)] 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing - Address Remapping for Static NUCA in NoC-Based Degradable Chip-Multiprocessors

✍ Wang, Ying; Zhang, Lei; Han, Yinhe; Li, Huawei; Li, Xiaowei 📂 Article 📅 2010 🏛 IEEE ⚖ 504 KB

[IEEE 2010 IEEE 16th Pacific Rim Interna

[IEEE 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC) - Tokyo, Japan (2010.12.13-2010.12.15)] 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing - FiRot: An Efficient Crosstalk Mitigation Method for Network-on-Chips

✍ Patooghy, A.; Shafaei, M.; Miremadi, S.G.; Falahati, H.; Taheri, S. 📂 Article 📅 2010 🏛 IEEE ⚖ 225 KB

[IEEE 2010 IEEE 16th Pacific Rim Interna

[IEEE 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC) - Tokyo, Japan (2010.12.13-2010.12.15)] 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing - A Distributed Data Replication Protocol for File Versioning with Optimal Node Assignments

✍ Ikeda, Takahiko; Ohara, Mamoru; Fukumoto, Satoshi; Arai, Masayuki; Iwasaki, Kazu 📂 Article 📅 2010 🏛 IEEE ⚖ 239 KB