.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
241	BigDataBench: A Dwarf-based Big Data and AI Benchmark Suite Wanling Gao http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-04-01 04:31:36 Data management Data Computing Benchmark Structured storage Database NoSQL Analytics
242	An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-02-25 10:26:47 Theoretical computer science Formal methods Computing Mathematics Logic in computer science Graph rewriting Model checking Algorithm Formal verification Abstraction Generic programming Finite-state machine
243	The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 BitTorrent Peer-to-peer file sharing File sharing Computing Comparison of BitTorrent clients Torrent file The Pirate Bay Copyright infringement Peer-to-peer Peer exchange Torrent poisoning
244	Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-24 10:20:52 Algebra Linear algebra Mathematics Matrix theory Numerical linear algebra Eigendecomposition of a matrix Eigenvalues and eigenvectors Matrix State-space representation Lanczos algorithm Eigenvalue perturbation
245	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-25 05:07:53 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
246	Psychology and Aging 2012, Vol. 27, No. 1, 120 –128 © 2011 American Psychological Association/$12.00 DOI: a0024971 Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2014-01-17 10:18:11 Neuropsychology Cognitive science Neuroscience Neuropsychological tests Memory Senescence Cognitive neuroscience Aging brain Explicit memory Perceptual learning Implicit memory Long-term memory
247	On Abstra t Interpretation of Mobile Ambients Fran es a Levi DISI, University of Genova, Italy Sergio Maeis Department of Computing, Imperial College, UK levifrandisi.unige.it Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Ambient calculus Process calculi
248	Seamless Network-Wide IGP Migrations Laurent Vanbever∗, Stefano Vissicchio†, Cristel Pelsser‡, Pierre Francois∗, Olivier Bonaventure∗ ∗ Université catholique de Louvain † Roma Tre University ‡ Internet Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Network architecture Routing protocols Data transmission Internet Standards Internet architecture Routing Internet protocols Open Shortest Path First Distance-vector routing protocol Interior gateway protocol Router
249	A 1’st order phase transition via property T May 2007 A model proposed by Gromov [1] in 1992 consists in picking uniformly and independently 3n d realtors among the 3n possible reduced words of length n on the generato Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2007-10-07 03:04:11 Geometry Mathematics Geometric group theory Group theory Kazhdan's property Random group Collapsing manifold Isoperimetric inequality Isoperimetric dimension Hyperbolic metric space
250	NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2017-07-06 06:07:28 Software engineering Computing Computer programming Procedural programming languages Programming languages Logic in computer science Programming language semantics Abstract interpretation Operational semantics ALGOL 68 Syntax Programming language

UPDATE