GitHub - PDFSEARCH.IO - Document Search Engine

GitHub
Results: 3844

#	Item
1	DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITE Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Academic publishing Publishing Identifiers Information science Knowledge Technical communication Electronic documents Index DataCite Initiative for Open Citations Crossref Digital object identifier
2	Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Debugging Aspect-oriented software development Aspect-oriented programming Delta debugging Extreme programming Software testing Debugger Software bug AspectJ Spring Framework
3	Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Logic Mathematical logic Abstraction Formal languages Syntax Formal systems Proof assistants Type theory Metamath Formal proof Theory OMDoc
4	Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34
5	Generating Synthetic Decentralized Social Graphs with Local Differential Privacy Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59
6	Effective Identification of Failure-Inducing Changes: A Hybrid Approach Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao PASTE 2008 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Debugging Delta debugging Complement system
7	Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computational fluid dynamics Modeling and simulation ADCIRC Computational science Physical oceanography Data parallelism Numerical modeling Conceptual model Application software Applied mathematics
8	LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15
9	Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Computer programming C Data types Pointer Hooking Exec Nm Struct
10	Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Theoretical computer science Mathematics Algebra Formal methods Logic in computer science Computability theory Models of computation Lambda calculus Satisfiability modulo theories -ring De Bruijn index

UPDATE