Torao Takami

43 Followers

pluscal tla+ formal verification multiprocess multithread asynchronous system distributed system concurrent system specification language formal mehod

Aktivität
Info

TLA+ and PlusCal / An engineer's perspective

Vor 3 Jahren • 281 Aufrufe

エンジニア目線で見る TLA+ と PlusCal - TAKAMI Torao

Vor 3 Monaten • 41 Aufrufe

「GraphDB徹底入門」〜構造や仕組み理解から使いどころ・種々のGraphDBの比較まで幅広く〜

Takahiro Inoue • Vor 13 Jahren

Spark GraphX で始めるグラフ解析

Yosuke Mizutani • Vor 7 Jahren

Newman アルゴリズムによるソーシャルグラフのクラスタリング

Atsushi KOMIYA • Vor 13 Jahren

文字認識はCNNで終わるのか？

Seiichi Uchida • Vor 7 Jahren

Java でつくる低レイテンシ実装の技巧

Ryosuke Yamazaki • Vor 7 Jahren

大規模分散システムの現在 -- Twitter

maruyama097 • Vor 8 Jahren

Spark／MapReduceの機械学習ライブラリ比較検証

Recruit Technologies • Vor 8 Jahren

JAWS-UG クラウド専業SIer（CIer）になってみた結果

Serverworks Co.,Ltd. • Vor 10 Jahren

大規模サイトを支えるビッグデータプラットフォーム技術

Yahoo!デベロッパーネットワーク • Vor 10 Jahren