Johannes - PDFSEARCH.IO - Document Search Engine

Johannes
Results: 5235

#	Item
1	CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project Universit´e Paris Sud / CNRS / INRIA Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-13 04:34:22 Differentiation rules Number theory Polynomials Lie algebras Smooth functions
2	A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden Add to Reading List Source URL: cakeml.org Language: English - Date: 2017-07-03 06:09:00 Computing Software engineering Memory management Computer programming Pointer Garbage collection Heap C dynamic memory allocation Region-based memory management Go Garbage Sort
3	Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software testing Theoretical computer science Software engineering Satisfiability modulo theories Solver Test automation Fuzzing Application programming interface Model-based testing API testing
4	Not at Home on the Range: Peer Production and the Urban/Rural Divide Isaac L. Johnson, Yilun Lin, Toby Jia-Jun Li†, Andrew Hall, Aaron Halfaker§, Johannes Schöning‡, Brent Hecht* GroupLens Research, Department Add to Reading List Source URL: brenthecht.com Language: English* - Date: 2016-10-18 00:00:14 Digital media Wikipedia Collaboration Wikis Social information processing World Wide Web OpenStreetMap WikiProject Wiki Social media
5	HONG KONG INSTITUTE FOR MONETARY RESEARCH PRODUCTIVITY, EXPORTING AND FINANCIAL CONSTRAINTS OF CHINESE SMES Johannes Van Biesebroeck Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-01-25 21:30:46 Economy International trade Economic development Export Freight transport Productivity Transition economy Comparative advantage Economic growth Holger Grg Maurice Kugler
6	Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation Philipp Holzinger∗ , Ben Hermann† , Johannes Lerch† , Eric Bodden‡ and Mira Mezini† ∗ Fraunhofer SIT, Email: philipp.holzinger@sit Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:15 Computing Software engineering Computer programming Programming languages High-level programming languages Concurrent programming languages Java platform Java Call stack Stack Java Class Library Go
7	Debugging Native Extensions of Dynamic Languages∗ Jacob Kreindl Johannes Kepler University Linz Austria Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-08-02 21:00:36 Computer programming Software engineering Computing Debugging Integrated development environments Object-oriented programming languages Scripting languages Cross-platform software LLVM Debugger Wing IDE Clang
8	No Honor Among Thieves: A Large-Scale Analysis of Malicious Web Shells Oleksii Starov‡ , Johannes Dahse† , Syed Sharique Ahmad‡ , Thorsten Holz† , Nick Nikiforakis‡ ‡ Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:06:43 Computing Software engineering System software Internet privacy Computer access control Secure Shell PHP Password Proxy server Passwd HTTP cookie Shell
9	Dissertation Abstract: Numeric Planning Johannes Aldinger Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-AlleeFreiburg, Germany Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:13 Automated planning and scheduling Planning Domain Definition Language Mathematics Heuristic Search algorithm Algorithm Equation solving Philosophy of mathematics Abstraction