1![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
|
---|
2![Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 4, 477–Analytical solution of MHD free convective flow of couple stress fluid in an annulus with Hall and Ion-slip effects Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 4, 477–Analytical solution of MHD free convective flow of couple stress fluid in an annulus with Hall and Ion-slip effects](https://www.pdfsearch.io/img/d0187b0a5bc698a4e10df1f77a8c4e14.jpg) | Add to Reading ListSource URL: www.lana.ltLanguage: English - Date: 2011-12-07 11:38:36
|
---|
3![Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 2, 155–158 A note on “Taylor–Couette flow of a generalized second grade fluid due to a constant couple” C. Fetecau1 , A.U. Awan2 , M. Athar2 1 Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 2, 155–158 A note on “Taylor–Couette flow of a generalized second grade fluid due to a constant couple” C. Fetecau1 , A.U. Awan2 , M. Athar2 1](https://www.pdfsearch.io/img/e4b71258718640135b33d44f240e0f4a.jpg) | Add to Reading ListSource URL: www.lana.ltLanguage: English - Date: 2010-06-01 14:39:37
|
---|
4![Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 3, 341–350 A semi-analytical solution of micro polar flow in a porous channel with mass injection by using differential transform method M.M. Rashidi1 , S. Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 3, 341–350 A semi-analytical solution of micro polar flow in a porous channel with mass injection by using differential transform method M.M. Rashidi1 , S.](https://www.pdfsearch.io/img/9d17dc4196806f62e786ffd2a837044b.jpg) | Add to Reading ListSource URL: www.lana.ltLanguage: English - Date: 2010-09-17 07:34:24
|
---|
5![Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991](https://www.pdfsearch.io/img/fc90fdbbfffe6ddb868229c2720f9fdc.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:12
|
---|
6![Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 1, 17–On hydromagnetic flow due to a rotating disk with radiation effects Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 1, 17–On hydromagnetic flow due to a rotating disk with radiation effects](https://www.pdfsearch.io/img/1b2960ad66ec3ffaffac46e82179d097.jpg) | Add to Reading ListSource URL: www.lana.ltLanguage: English - Date: 2011-02-25 07:33:49
|
---|
7![Type- and Control-Flow Analysis Matthew Fluet Department of Computer Science Rochester Institute of Technolgy Type- and Control-Flow Analysis Matthew Fluet Department of Computer Science Rochester Institute of Technolgy](https://www.pdfsearch.io/img/6f1b20dc678beefc9ca4b19dbc2d8d92.jpg) | Add to Reading ListSource URL: proglang.informatik.uni-freiburg.deLanguage: English - Date: 2018-04-15 13:19:09
|
---|
8![Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 3, 287–298 Effects of pressure work on natural convection flow around a sphere with radiation heat loss T. Akhter1 , M.A. Alim2 1 Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 3, 287–298 Effects of pressure work on natural convection flow around a sphere with radiation heat loss T. Akhter1 , M.A. Alim2 1](https://www.pdfsearch.io/img/3ec570b6cf4f45845aa7abe0f2684bd2.jpg) | Add to Reading ListSource URL: www.lana.ltLanguage: English - Date: 2010-09-17 07:32:18
|
---|
9![Control-Flow Analysis with SAT Solvers Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA Abstract. Control-flow analyses statically determine the control-flow of programs. This is a nontrivial prob Control-Flow Analysis with SAT Solvers Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA Abstract. Control-flow analyses statically determine the control-flow of programs. This is a nontrivial prob](https://www.pdfsearch.io/img/48fdcde4e9dd6ae315533510fc8814b9.jpg) | Add to Reading ListSource URL: matt.might.netLanguage: English - Date: 2014-12-27 17:19:23
|
---|