[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Mechanized verification of preemptive OS kernels (invited talk)
- 作者Feng, Xinyu
- 文件大小105.45KB
- 发表时间2017
- DOI10.1145/3018610.3023367
- 页码2-2
Microwave Discharge ChamberFukui, Shūji; Hayakawa, Satio · Journal of the Physical Society of Japan · 1960
Anomalous Thermal Expansion of CoS <sub/>2</sub>Kasai, Naoko · Journal of the Physical Society of Japan · 1973
Relativistic Shock WaveOhsawa, Yukiharu · Journal of the Physical Society of Japan · 1987
Wave Propagation in Anharmonic LatticesToda, Morikazu · Journal of the Physical Society of Japan · 1967
Electrical Properties of Stannous SelenideAsanabe, Sizuo · Journal of the Physical Society of Japan · 1959
Spin Damping MonopoleTakeuchi, Akihito; Tatara, Gen · Journal of the Physical Society of Japan · 2012
Physics of Molecular ConductorsFukuyama, Hidetoshi · Journal of the Physical Society of Japan · 2006
Accelerated Sampling of Boltzmann DistributionsOrland, Henri · Journal of the Physical Society of Japan · 2009