The Edge Supercloud: Blockchains for the EdgeHakim Weatherspoon |Cornell University 2018/12/17 (월) 오후 04:00|302-107
Technical challenges of blockchains : algorithms, formal verification and economicsDiego Olivier Fernandez Pons|Tezos Foundation 2018/12/05 (수) 오후 04:00|302-309/1
Program Hardening with a Binary RecompilerDavid Williams-King|Columbia University 2018/12/04 (화) 오후 01:00|302동 309-1호
The Future of Computing: Domain-Specific AcceleratorsWilliam J. Dally|NVIDIA, NVIDIA Research2018/11/28 (수) 오후 04:30|302-105
locating all maximal approximate runs in a stringGad M. Landau|University of Haifa2018/11/26 (월) 오전 11:00|301-317
Making a Science from the Computer Vision ZooXavier Boix Bosch |MIT (Poggio lab) 2018/11/19 (월) 오후 02:00|302-308