TIER IV Computing System Workshop 2023 参加する前に
https://qiita.com/kaizen_nagoya/items/c7b7edd6961c90c72d6f
TIER IV Computing System Workshop 2023.03
https://www.youtube.com/live/IqzxuDHZay4?feature=share @YouTube
見逃し配信してくださっているらしい(部外者)
1. プログラム説明 高野 祐輝 (TIER IV、大阪大学 招聘准教授)
1. 機能安全除外というものの安全性で書いているのは機能安全だけでは?
2. 形式手法 2015年 promela
論理学
2.seL4チュートリアル 高野 祐輝 (TIER IV、大阪大学 招聘准教授)
- seL4
docker
実装依存 配列、Tree
3.Autowareにおけるリソース競合の定量化 石川 貴大 (TIER IV)
4.UPPAALによるAutowareの形式検証 神戸 隆太 (TIER IV)
5.優先度駆動型チェーン考慮スケジューラのAutowareへの適用評価 矢野 篤志 (埼玉大学、EMB IV)
6.気合で動かすオペレーティングシステム -xv6の動作から学ぶRISC-V 特権命令- 村上 太一 (東京大学、TIER IV)
RTL-FPGA開発 テックミートアップ
https://www.youtube.com/watch?v=cMcvMvwIAdE&t=1s
7.プログラム実行に潜むべき乗則について 佐々木 広 (東京工業大学 准教授、TIER IV)
Why Do Programs Have Heavy Trails
http://www.cs.columbia.edu/~simha/preprint_iiswc17.pdf
8.Application Specific SIMT による電力効率と開発コストの両立
付録
seL4
https://gist.github.com/master-q/3a64ca0cf0fdc274d516a1efd693f02d
物理記事 上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff
数学関連記事100
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d
言語・文学記事 100
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6
医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82
通信記事100
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7
自動車 記事 100
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5
最後までおよみいただきありがとうございました。
いいね 💚、フォローをお願いします。
Thank you very much for reading to the last sentence.
Please press the like icon 💚 and follow me for your happy life.