Automatic - PDFSEARCH.IO - Document Search Engine

Automatic
Results: 19792

#	Item
1	Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign Add to Reading List Source URL: perso.univ-perp.fr Language: English - Date: 2018-01-15 07:35:42 Functions and mappings Mathematical analysis Mathematics Computer arithmetic Limit of a function Abstract interpretation Unit in the last place Exponentiation Integral Lambda calculus Quantifier Combinatory logic
2	Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:32 Theoretical computer science Formal methods Mathematical logic Logic in computer science Mathematics Constraint programming Automated theorem proving Satisfiability modulo theories Formal verification Type theory First-order logic Vampire
3	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
4	Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Boolean algebra Forcing Theoretical computer science Mathematics Complete Boolean algebra Order theory Assertion Mathematical logic
5	State of Alaska PFD Automatic Voter Registration & Updates to Registrations FAQ’s The PFD Automatic Voter Registration law became effective on March 1, 2017. What is PFD Automatic Voter Registration? Add to Reading List Source URL: www.elections.alaska.gov Language: English - Date: 2018-08-10 21:41:17 Elections Election law Politics Electoral fraud Government Voter registration Voter Identification laws Voter database Voter suppression Voter registration in the United States Presidential Advisory Commission on Election Integrity
6	ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Software Aspect-oriented software development Debugging Aspect-oriented programming Programming paradigms AspectJ Delta debugging Software bug Debugger Computer programming
7	to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:31:08 Software development Aspect-oriented software development Computing Software engineering Aspect-oriented programming Pointcut AspectJ Join point Invariant Const
8	Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematical logic Theoretical computer science Mathematics Formal methods Boolean algebra Temporal logic Edsger W. Dijkstra Predicate transformer semantics Model theory Hoare logic True quantified Boolean formula Linear temporal logic
9	Route Bazaar: Automatic Interdomain Contract Negotiation Ignacio Castro ♣†♠ Aurojit Panda ‡ Barath Raghavan ♠ Scott Shenker ♠‡ Sergey Gorinsky ♣ ♣ IMDEA Networks Institute † Open University of Catalon Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-21 02:46:52 Internet architecture Computing Network architecture Internet Border Gateway Protocol BGP hijacking Routing Router Peering IP routing Control plane Computer network
10	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-06 05:40:55 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation

UPDATE