この検索内の頻出タグ: analysis^:1 behavior-derived^:1 compiler-assisted^:1 detection^:1 error^:1 fine-grained^:1 hardening^:1 hardware^:1 in-situ^:1 models^:1 net^:1 petri^:1 sdc–runtime^:1 sequences^:1 specification-derived^:1 state^:1 tolerant-output^:1 trade-offs^:1 via^:1

2 件の該当がありました． : このページのURL : HTML

論文誌

[1] Tomonari Tanaka, Takumi Uezono, Kohei Suenaga, and Masanori Hashimoto, "In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 採録済.

国際会議

[1] Mingtao Zhang, Tomonari Tanaka, and Masanori Hashimoto, "Fine-Grained Compiler-Assisted Hardening Via Tolerant-Output Analysis for SDC–Runtime Trade-Offs," Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC), 採録済.