GitHub - PDFSEARCH.IO - Document Search Engine

GitHub
Results: 3844

#	Item
91	Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Computing Software engineering Computer programming Debugging Cross-platform software Object-oriented programming languages Procedural programming languages Assertion Logic in computer science Configuration management PHP Program slicing
92	Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Order theory Algebra Abstract algebra Lattice theory Lattice Partially ordered set KnasterTarski theorem Complete lattice Binary relation Join and meet Monotonic function
93	Stratisd D-Bus API Reference Manual∗ Stratisd VersionAnne Mulhern VersionLast modified: Add to Reading List Source URL: stratis-storage.github.io Language: English - Date: 2018-09-28 20:16:45 Computing Computer programming Software engineering Object-oriented programming Inter-process communication Java D-Bus Freedesktop.org Remote procedure call Method Type signature File system API
94	Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Computational complexity theory Theoretical computer science Mathematical logic NP-complete problems Electronic design automation Formal methods Logic in computer science Predicate logic Boolean satisfiability problem Quantifier Limit of a function Exponential time hypothesis
95	Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Graph theory Graph connectivity Strongly connected component Reachability Graph Node Topological sorting
96	SMT-Based Nonlinear PDDL+ Planning Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Planning Domain Definition Language Boolean satisfiability problem Satisfiability modulo theories Hybrid system
97	Why Do Developers Get Password Storage Wrong? A Qualitative Usability Study Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Cryptography Computer security Computer access control Password Crypt Salt Rainbow table Usability Bcrypt Brute-force attack Key derivation function Password policy
98	The Hanoi Omega-Automata Format This document describes the Hanoi Omega-Automata (HOA) format. The name is a reference to the ATVA’13 conference, which was organized in Hanoi, and where the foundations of this format w Add to Reading List Source URL: adl.github.io Language: English - Date: 2015-09-21 11:27:16 Finite automata Model checking -automaton Generalized Bchi automaton Bchi automaton Buchi Muller automaton Automata theory
99	Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang 1 Chenglong Wang 2 Rishabh Singh 3 * Wen-tau Yih 4 Xiaodong He 5 * 1. Introduction Conventional supervised training is a pervasive paradigm Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Machine learning Learning Artificial intelligence Meta learning Support vector machine Supervised learning Training test and validation sets
100	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning

UPDATE