Static - PDFSEARCH.IO - Document Search Engine

Static
Results: 35290

#	Item
11	Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:58 Applied mathematics Cognition Cybernetics Learning Machine learning Artificial neural network Analysis Algorithm Mathematics
12	COINCAP TERMS OF SERVICE Last Modified: September 26, 2018 Welcome to CoinCap.io which is owned and operated by ShapeShift AG (collectively, “CoinCap,” “We,” or “Us”). This page explains the Add to Reading List Source URL: static.coincap.io Language: English - Date: 2018-09-25 17:47:22 Software Computing Digital media E-commerce Terms of service IOS Social networking services ITunes App Store Internet privacy Instagram Application software
13	Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Computer programming Software engineering Declarative programming Recursion Functional programming Computability theory Theoretical computer science Programming paradigms Algebraic data type Fold Pattern matching Conditional
14	Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with: Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computing Software engineering Java platform Cross-platform software Object-oriented programming languages Software testing Java Database Connectivity JUnit D Test automation
15	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 Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Software engineering Subroutines Computing Computer programming Programming paradigms Callback Network flow problem Event Data-flow analysis Control flow analysis Flow network Control flow graph
16	Conflict Minerals Policy Introduction McLaren Applied Technologies (MAT) is committed to preventing conflict, building stability overseas, improving the protection of human rights and the rule of law. To this end, MAT ac Add to Reading List Source URL: static-mat-cdn.mclaren.com Language: English - Date: 2018-10-22 11:29:09 Conflict resource Minerals World Geography of Africa Africa Mining Democratic Republic of the Congo
17	Static Analysis and Runtime-Assertion Checking: Contribution to Security Counter-Measures Dillon Pariente1 and Julien Signoles2 1 Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-08-11 12:57:48 Software engineering Computing Computer programming Program analysis Object-oriented programming languages Frama-C Software testing Static program analysis Abstract interpretation OCaml Type system Formal methods
18	FAQ REGISTRATION  Why do I need to register? As a registered user, you can take full advantage of all website features. Only registered users have the Add to Reading List Source URL: static.nbcuniarchives.com Language: English - Date: 2018-06-27 14:18:43 Photo sharing Cloud storage Image hosting Social networking services World Wide Web
19	FACTSHEET Turning your customers into sales and support agents What kind of support do your online visitors want? Add to Reading List Source URL: static.guuru.com Language: English - Date: 2018-05-26 17:24:10 World Wide Web Marketing Computing Cloud applications Online chat Internet culture Help desk Conversion marketing Digital marketing LiveChat Chat room Zendesk
20	Static Reference Analysis for GUI Objects in Android Software Atanas Rountev Dacong Yan Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Computing Computer programming Software engineering Knowledge representation Tree Node Static single assignment form Object Process Methodology Recursion