notes.kekeho.net
検索
Search
ダークモード
ライトモード
Home
❯
tags
❯
タグ: 論文
タグ: 論文
5件のページ
2025年1月30日
Proving the Correctness of Multiprocess Programs
論文
2025年1月30日
Linearizability a correctness condition for concurrent objects
論文
2025年1月30日
Dependable computing and fault-tolerance
論文
2025年1月30日
Basic concepts and taxonomy of dependable and secure computing
論文
2025年1月30日
An Overview of Deterministic Database Systems
論文