해당 문서에 연결된 문서의 변경사항을 확인하려면 문서 이름을 입력하십시오. (분류에 들어있는 문서를 보려면 분류:분류명으로 입력하십시오). 내 주시문서 목록에 있는 문서의 변경사항은 굵게 나타납니다.
약어 목록:
- 새글
- 새 문서 (새 문서 목록도 보세요)
- 잔글
- 사소한 편집
- 봇
- 봇이 수행한 편집
- (±123)
- 바이트 수로 표현한 문서 크기의 차이
2025년 7월 20일 (일)
|
|
08:07 | (올리기 기록) [Ahn9807 (2×)] | |||
|
|
08:07 Ahn9807 토론 기여님이 파일:USENIX OSDI 2025 EIM Figure 3.png 파일을 올렸습니다 | ||||
|
|
08:07 Ahn9807 토론 기여님이 파일:USENIX OSDI 2025 EIM Figure 2.png 파일을 올렸습니다 | ||||
| 06:05 | USENIX OSDI 2025 차이역사 +10,443 Ahn9807 토론 기여 | ||||
2025년 7월 18일 (금)
2025년 7월 15일 (화)
| 새글 06:48 | USENIX OSDI 2025 차이역사 +5,490 Ahn9807 토론 기여 (새 문서: 분류: USENIX OSDI == Distributed Systems and Data Centers I == === Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols === Distributed protocols들은 올바르게 설계하기 어렵다. 이를 위해서 Formal verification을 이용해서 Protocol이 Safety property를 만족하는지를 Verification하는 과정이 필요하다. Formal verification을 위해서 Inductive invariant들을 분석해야 하지만, 올바른 Inductive invar...) | ||||