GitHub - PDFSEARCH.IO - Document Search Engine

GitHub
Results: 3844

#	Item
151	Practical Semantic Test Simplification Sai Zhang University of Washington A typical testing workflow Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computer programming Object-oriented programming Software engineering GNUstep NeXT Objective-C
152	The TypTop System: Personalized Typo-Tolerant Password Checking Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Cryptography Computer access control Computer security Password Salt Challengeresponse authentication Crypt Brute-force attack Key derivation function Passphrase OTPW
153	MagNet: a Two-Pronged Defense against Adversarial Examples Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:58 Machine learning Learning Artificial intelligence Artificial neural networks Computational neuroscience Autoencoder Unsupervised learning Adversarial machine learning Statistical classification Deep learning Classifier Softmax function
154	Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computing Computer programming Software engineering Operator theory Fortran OpenMP Parallel computing Hermitian adjoint Adjoint
155	Angelika Tsivinskaya Center for Institutional Analysis of Science & Education, European University at Saint Petersburg Introduction Results Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Bibliometrics Information science Publishing Academic publishing Citation indices Online databases College and university rankings Web of Science Scientometrics Citation index Izvestiya Vysshikh Uchebnykh Zavedenii. Radioelektronika Funding of science
156	XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao School of Software, Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {haihaoshen, saizhan Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Aspect-oriented software development Software engineering Aspect-oriented programming AspectJ Pointcut FindBugs Join point Spring Framework Cross-cutting concern Software design pattern
157	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph
158	Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Logic Mathematical logic Linguistics Dekker's algorithm Edsger W. Dijkstra Predicate Flag
159	Runtime Correctness Checking for Emerging Programming Paradigms Joachim Protze (), Christian Terboven, Matthias S. Müller, Serge Petiton, Nahid Emad, Hitoshi Murai and Taisuke Boku RWTH Aachen U Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Parallel computing Computer programming Application programming interfaces IT infrastructure Computing Fortran OpenMP Thread
160	Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Mathematics Mathematical analysis Theoretical computer science Differential calculus Numerical analysis Ordinary differential equation Taylor's theorem Differential-algebraic system of equations Satisfiability modulo theories PROPT

UPDATE