1![Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang](https://www.pdfsearch.io/img/c32e51581d69fa3a90d493d3f1bf4dc4.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2018-03-14 01:29:40
|
---|
2![Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st](https://www.pdfsearch.io/img/6d8fb323516abd630206c8c530303f31.jpg) | Add to Reading ListSource URL: dacongy.github.ioLanguage: English - Date: 2017-06-27 01:04:15
|
---|
3![Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu](https://www.pdfsearch.io/img/81c19293c9977ac00acfab0e0877e8a3.jpg) | Add to Reading ListSource URL: dacongy.github.ioLanguage: English - Date: 2017-06-27 01:04:15
|
---|
4![Reliability as an Interdomain Service Hao Wang⋆ Yang Richard Yang⋆ Paul H. Liu⋆ Jia Wang† Alexandre Gerber† Albert Greenberg§ AT&T Labs – Research† Microsoft Research§ Reliability as an Interdomain Service Hao Wang⋆ Yang Richard Yang⋆ Paul H. Liu⋆ Jia Wang† Alexandre Gerber† Albert Greenberg§ AT&T Labs – Research† Microsoft Research§](https://www.pdfsearch.io/img/fcb498f7b91f25c0faf71cf1bcc2e43f.jpg) | Add to Reading ListSource URL: thev.netLanguage: English - Date: 2007-07-19 15:37:44
|
---|
5![Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu](https://www.pdfsearch.io/img/e39e1052f3d8fcb0887de84bd1c52d84.jpg) | Add to Reading ListSource URL: www.block-cloud.ioLanguage: English - Date: 2018-09-20 01:51:30
|
---|
6![Delay Analysis of Structural Real-Time Workload Nan Guan1,2 , Yue Tang1 , Yang Wang1 and Wang Yi2 1 2 Northeastern University, China Delay Analysis of Structural Real-Time Workload Nan Guan1,2 , Yue Tang1 , Yang Wang1 and Wang Yi2 1 2 Northeastern University, China](https://www.pdfsearch.io/img/f760e734ad1960e4a75eafc8d8d88e6e.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2015-04-24 08:42:13
|
---|
7![Quantitative Association Analysis Using Tree Hierarchies Feng Pan 1 , Lynda Yang 1 , Leonard McMillan 1 , Fernando Pardo Manuel de Villena 2 , David Threadgill 2 and Wei Wang 1 1 Department of Computer Science, 2 Departm Quantitative Association Analysis Using Tree Hierarchies Feng Pan 1 , Lynda Yang 1 , Leonard McMillan 1 , Fernando Pardo Manuel de Villena 2 , David Threadgill 2 and Wei Wang 1 1 Department of Computer Science, 2 Departm](https://www.pdfsearch.io/img/a31188d5abe8cf6f6c46a07cb9b62c65.jpg) | Add to Reading ListSource URL: web.cs.ucla.eduLanguage: English - Date: 2008-12-26 20:05:28
|
---|
8![1 Towards Hybrid Intelligence for Robotics SAI R. GOURAVAJHALA, JEAN YOUNG SONG, JINYEONG YIM, RAYMOND FOK, YANDA HUANG, FAN YANG, KYLE WANG, YILEI AN, and WALTER S. LASECKI, University of Michigan 1 Towards Hybrid Intelligence for Robotics SAI R. GOURAVAJHALA, JEAN YOUNG SONG, JINYEONG YIM, RAYMOND FOK, YANDA HUANG, FAN YANG, KYLE WANG, YILEI AN, and WALTER S. LASECKI, University of Michigan](https://www.pdfsearch.io/img/891f4b5fa669c6d0071526df0aa4af33.jpg) | Add to Reading ListSource URL: web.eecs.umich.eduLanguage: English - Date: 2018-01-09 09:32:30
|
---|
9![Quantitative Association Analysis Using Tree Hierarchies Feng Pan 1 , Lynda Yang 1 , Leonard McMillan 1 , Fernando Pardo Manuel de Villena 2 , David Threadgill 2 and Wei Wang 1 1 Department of Computer Science, 2 Departm Quantitative Association Analysis Using Tree Hierarchies Feng Pan 1 , Lynda Yang 1 , Leonard McMillan 1 , Fernando Pardo Manuel de Villena 2 , David Threadgill 2 and Wei Wang 1 1 Department of Computer Science, 2 Departm](https://www.pdfsearch.io/img/047924f38ae1fad90bfa309f88c66eaf.jpg) | Add to Reading ListSource URL: www.cs.unc.eduLanguage: English - Date: 2008-12-26 20:05:28
|
---|
10![Supplementary Material for ”Combinatorial multi-armed bandit: general framework, results and applications”, by Wei Chen, Yajun Wang, and Yang Yuan. A. Full proof of Theorem 1 We use the following two well known bound Supplementary Material for ”Combinatorial multi-armed bandit: general framework, results and applications”, by Wei Chen, Yajun Wang, and Yang Yuan. A. Full proof of Theorem 1 We use the following two well known bound](https://www.pdfsearch.io/img/7cdfbdb3d345a768e3c79a9c586789d5.jpg) | Add to Reading ListSource URL: proceedings.mlr.pressLanguage: English - Date: 2018-07-16 03:38:06
|
---|