leedaebum (@boomlee)

2 Follows

View profile

y_taka_23

ytaka23

著名ねこみみエンジニア

Twitter: https://twitter.com/y_taka_23
GitHub: https://github.com/y-taka-23

32 followers 65 decks

形式手法特論：CEGAR を用いたモデル検査の状態空間削減 #kernelvm / Kernel VM Study Hokuriku Part 8

2

400

形式手法特論：位相空間としての並行プログラミング #kernelvm / Kernel VM Study Tokyo 18th

3

2k

Aya (Igarashi) Ozawa

ladicle

SoftwareEngineer at CloudNatix

8 followers 24 decks

Wait! Can Your Pod Survive a Restart?

0

110

KubeCon: To Infinity and Beyond: Seamless autoscaling with in-place resource resize for Kubernetes Pods

0

390