Joint - PDFSEARCH.IO - Document Search Engine

Joint
Results: 73704

#	Item
1	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Automated theorem proving Concolic testing Software testing Equations Z3 Solver Equation solving Mathematics Abstraction Software engineering
2	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:28:54 Artificial intelligence Multi-agent systems Modeling and simulation Systems science Agent-based model Artificial life Complex systems theory Model checking Temporal logic Intelligent agent Sociology
3	Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computing Computer programming Software engineering Java Widget toolkits Cross-platform software Concurrent computing Swing Thread Debugging D Event dispatching thread
4	Abstract Joint Ventures brings a much-needed change to the current digital content landscape. Our aim is to create an economy that rewards every participant of the network, including publishers, authors, commenters Add to Reading List Source URL: icorating.com Language: English - Date: 2018-04-08 15:56:58 Marketing World Wide Web Digital marketing Online advertising Adtech Targeted advertising Ad serving AdSense Advertising Ad blocking Facebook Pay-per-click
5	Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:13 Computer arithmetic Mathematics Arithmetic Theoretical computer science Rounding Division algorithm Expected value
6	Collaborations Across Borders Establishing international joint ventures Virtual Round Table Series Commercial Working Group 2018 Add to Reading List Source URL: www.irglobal.com Language: English - Date: 2018-08-29 08:22:37 Economy Legal entities Partnerships Law Business law Business Strategic alliances Entrepreneurship Joint venture Limited liability partnership Limited partnership Private limited company
7	Singularities of divisors on abelian varieties Olivier Debarre March 20, 2006 This is joint work with Christopher Hacon. We work over the complex numbers. Let D be an effective divisor on an abelian variety A of dimensio Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2006-03-20 04:52:30 Algebraic geometry Geometry Abstract algebra Algebraic curves Divisor Projective variety Theta divisor Abelian variety Prym variety Resolution of singularities Ample line bundle Hyperelliptic curve
8	Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with: Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computing Software engineering Java platform Cross-platform software Object-oriented programming languages Software testing Java Database Connectivity JUnit D Test automation
9	RobinHood: Tail Latency-Aware Caching Dynamically Reallocating from Cache-Rich to Cache-Poor Daniel S. Berger (CMU) Joint work with: Benjamin Berg (CMU), Timothy Zhu (PennState), Siddhartha Sen (Microsoft Research), Mor Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-10-15 19:25:55 Cache Computer architecture Latency
10	On the no´s and must´s in system design Werner Damm joint work with Bernd Finkbeiner, Universität des Saarlandes, and Astrid Rakow, Carl von Ossietzky Universität Oldenburg Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-09-28 03:05:32 Modeling and simulation Cognition Systems engineering Experimental psychology Human behavior Motivation Scientific modelling Economic model Business process management ACT-R Conceptual model System