Tool - PDFSEARCH.IO - Document Search Engine

Tool
Results: 33645

#	Item
1	POSTER: BotFlex: A Community-driven Tool for Botnet Detection Sheharbano Khattak Independent Researcher Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-02-16 07:58:23 Computer network security Computing Security engineering Computer security Cyberwarfare Cybercrime Spamming Multi-agent systems Botnet Complex event processing Zeek Blacklist
2	CANADIAN NUTRITION SCREENING TOOL (CNST) Name: Age: Weight: Add to Reading List Source URL: www.nutritioncareincanada.ca Language: English - Date: 2016-08-09 12:07:46 Health Nutrition Food science Dietitian Obesity NutritionDay Medical nutrition therapy
3	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
4	IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Computing Software Compilers Compiler construction Compiler optimizations Abstract interpretation LLVM Programming language implementation Intermediate representation Polyspace Static program analysis
5	CANADIAN NUTRITION SCREENING TOOL (CNST) Name: Age: Weight: Add to Reading List Source URL: www.nutritioncareincanada.ca Language: English - Date: 2016-08-09 12:07:46 Health Nutrition Food science Dietitian Obesity NutritionDay Medical nutrition therapy
6	ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Software Aspect-oriented software development Debugging Aspect-oriented programming Programming paradigms AspectJ Delta debugging Software bug Debugger Computer programming
7	Tool session NSV 3 FLOC 2010, Edinburgh Tool session Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:16 Software engineering Formal methods Computer programming Computing Invariant Benchmark Infinite loop
8	BOPS, Not FLOPS! A New Metric, Measuring Tool, and Roofline Performance Model For Datacenter Computing Chen Zheng ICT，CAS Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-04-01 04:30:53 FLOPS Floating point Computing Roofline model Speedup Xeon Computer programming Parallel computing Software engineering
9	The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? † Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-04-24 09:03:36 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Solver Maximum satisfiability problem
10	BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3 Add to Reading List Source URL: grammarg.in Language: English Bharat Broadband Network Spreadsheet Wi-Fi Application programming interface Global Positioning System Microsoft Excel Computing Technology Software