Andrey - PDFSEARCH.IO - Document Search Engine

Andrey
Results: 552

#	Item
1	Solving (Quantified) Horn Constraints for Program Verification and Synthesis Andrey Rybalchenko (Microsoft Research) September 30, 2015 Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-10-01 02:29:41
2	Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Metaphysics Data types Search algorithms Mathematics Model checking Tree Information science Abstraction B-tree Breadth-first search Reachability FO
3	Language and Hardware Acceleration Backend for Graph Processing Andrey Mokhov† , Alessandro de Gennaro† , Ghaith Tarawneh† , Jonny Wray‡ , Georgy Lukyanov† , Sergey Mileiko† , Joe Scott† , Alex Yakovlev† Add to Reading List Source URL: www.staff.ncl.ac.uk Language: English - Date: 2017-08-19 21:07:39 Graph theory Mathematics Discrete mathematics Graph traversal Graph Directed graph Breadth-first search Degree Line graph Clique
4	PDF Document Add to Reading List Source URL: andrey.hristov.com - Date: 2010-12-09 10:30:25
5	PDF Document Add to Reading List Source URL: andrey.hristov.com - Date: 2010-12-09 10:30:25
6	Filling the gaps smoothly Andrey Itkin Tandon School of Engineering, New York University 2nd International Conference on Computational Finance Sept. 2017, Lisbon Add to Reading List Source URL: cemapre.iseg.ulisboa.pt Language: English - Date: 2017-09-18 11:05:04
7	An Epistemic Perspective on Consistency of Concurrent Computations Klaus v. Gleissenthall1 and Andrey Rybalchenko1,2 1 2 Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2016-04-12 14:04:38
8	Spanner: Google’s Globally-Distributed Database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Add to Reading List Source URL: www.frostnet.net Language: English - Date: 2012-09-15 13:43:07
9	MySQL Proxy WebTech 2007 Варна, България 29-ти Юни 2007 Aндрей Христов <> Add to Reading List Source URL: andrey.hristov.com Language: English - Date: 2010-12-09 10:30:25
10	Participants list XIVth Hvar Astrophysical ColloquiumSeptemberFirst name Andrey Arun Kumar Urszula Add to Reading List Source URL: oh.geof.unizg.hr Language: English - Date: 2016-10-10 23:26:27

UPDATE