Wang Bo - PDFSEARCH.IO - Document Search Engine

Wang Bo
Results: 56

#	Item
1	Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract Add to Reading List Source URL: delphy.org Language: English - Date: 2018-09-10 06:47:48
2	Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2018-03-14 01:29:40
3	Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract Add to Reading List Source URL: delphy.org Language: English - Date: 2018-09-10 06:47:48
4	SPATE: Small-group PKI-less Authenticated Trust Establishment ∗ Yue-Hsun Lin† Ahren Studer§ Hsu-Chun Hsiao§ Jonathan M. McCune§ King-Hang Wang† Maxwell Krohn§ Phen-Lan Lin◦ Adrian Perrig§ Hung-Min Sun† Bo- Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:39 Computing Information and communications technology Technology Bluetooth Wireless Computer security Computer network SMS Password Dropbox Gmail Email
5	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture Computing Formal methods Logic in computer science Kernel Linux kernel L4 microkernel family Mach Verification X86-64 Formal verification Satisfiability modulo theories
6	Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract Add to Reading List Source URL: delphy.org Language: English - Date: 2018-05-31 06:04:10
7	High-rank Ensemble Transform Kalman Filter (HETKF) Bo Huang and Xuguang Wang Multi-scale data Assimilation and Predictability (MAP) Laboratory School of Meteorology, University of Oklahoma, Norman, OK Add to Reading List Source URL: web.meteo.mcgill.ca Language: English
8	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2017-11-14 17:29:18
9	Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract Add to Reading List Source URL: delphy.org Language: English - Date: 2018-05-31 06:04:10
10	RISA: Distributed Road Information Sharing Architecture Joon Ahn† , Yi Wang† , Bo Yu] , Fan Bai‡ , Bhaskar Krishnamachari† † University of Southern California, Los Angeles, CA, USA ] Wipro Technologies, Rochest Add to Reading List Source URL: anrg.usc.edu Language: English - Date: 2013-07-23 10:54:04

UPDATE