173 followers
DB 研究において Robustness という単語が使われるパターンの1つとして、 弱い整合性モデル(e.g. スナップショット分離)を使いつつアプリの実装を工夫することで Serializability を担保できるかの研究があると教えてもらったのだけど(おぼろげな理解)、こういうやつかな? https://t.co/lv5JtqMsr1
DB 研究において Robustness という単語が使われるパターンの1つとして、 弱い整合性モデル(e.g. スナップショット分離)を使いつつアプリの実装を工夫することで Serializability を担保できるかの研究があると教えてもらったのだけど(おぼろげな理解)、こういうやつかな? https://t.co/lv5JtqMsr1
@mukesh_tiwari AliveInLean: A Verified LLVM Peephole Optimization Verifier. https://t.co/Y1WGodbJPc
RT @y_taka_23: 今回の講演を聞いて興味を持ってくれた方のため、スライド中で紹介している論文への導線を貼っておきます。まず、Tiros のバックエンド候補となった三種類のソルバの比較や、 VPC ネットワークのエンコーディングについて述べた Backes J. et…
RT @y_taka_23: 今回の講演を聞いて興味を持ってくれた方のため、スライド中で紹介している論文への導線を貼っておきます。まず、Tiros のバックエンド候補となった三種類のソルバの比較や、 VPC ネットワークのエンコーディングについて述べた Backes J. et…