AC-2 - PDFSEARCH.IO - Document Search Engine

AC-2
Results: 13661

#	Item
31	A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2012-12-17 05:23:36 Software development Aspect-oriented software development Aspect-oriented programming Formal methods Logic in computer science Runtime verification Pointcut Formal verification Join point Instrumentation
32	Hardware for Collision Search m on Elliptic Curve over GF(2 ) Philippe Bulens (S), Guerric Meurice de Dormale and Jean-Jacques Quisquater {bulens, gmeurice, quisquater}@dice.ucl.ac.be Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-04-17 02:57:49 Finite fields Algebraic number theory Frobenius endomorphism Galois theory Meurice Jean-Jacques Quisquater Mathematics
33	Quantitative Multi-Objective Verification for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-11 18:39:29 Temporal logic Theoretical computer science Mathematical analysis Linear temporal logic Mathematics Computation tree logic Omega language Distribution
34	Assume-Guarantee Verification for Probabilistic Systems Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-16 06:37:28 Theoretical computer science Temporal logic Logic in computer science Linear temporal logic Finite automata PRISM model checker Randomized algorithm Computation tree logic PP Model checking Formal verification Probabilistic automaton
35	Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Information flow Mutual information Conditional mutual information Conditional entropy
36	Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2017-06-29 11:28:39 Mathematics Geometry Algebra Analytic geometry Linear algebra Algebraic curves Cone Surfaces Conic section Convex cone Line Hybrid system
37	Calculating Quantitative Integrity and Security for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Information Information flow Mutual information Conditional entropy Conditional mutual information Quicken Interchange Format Metaphysics Knowledge
38	Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation∗ Luca Bortolussi3 , Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-06 06:37:52 Statistical randomness Mathematical analysis Probability theory Stochastic processes Markov models Graph theory Markov chain Stochastic differential equations Distribution Stochastic simulation Normal distribution Decomposition of spectrum
39	Designing a Micro-Benchmark Suite to Evaluate gRPC for TensorFlow: Early Experiences Rajarshi Biswas, Xiaoyi Lu, and Dhabaleswar K. (DK) Panda {biswas.91,lu.932,panda.2}@osu.edu Abstract Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-03-19 22:54:07 Computing Deep learning Free statistical software GRPC Remote procedure call Benchmark TensorFlow Protocol Buffers Remote direct memory access InfiniBand Storage area network Standard Performance Evaluation Corporation
40	Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:52 Theoretical computer science Software engineering Mathematical software Formal methods Proof assistants Logic in computer science Automated theorem proving Isabelle Automated reasoning E theorem prover Formal verification KeY

UPDATE