Mark - PDFSEARCH.IO - Document Search Engine

Mark
Results: 52527

#	Item
21	Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-03-15 10:13:22 Model checkers Model checking Abstraction Mathematical proof Economic model Verification Theoretical computer science Formal methods Cognitive science Computing PRISM model checker Construction and Analysis of Distributed Processes
22	5 Parallel BLAS Performance Report Jakub Kurzak Mark Gates Asim YarKhan Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-04-10 10:15:06 Numerical software Numerical analysis Numerical linear algebra Mathematical software Software Basic Linear Algebra Subprograms PBLAS LAPACK Netlib Lis Linear algebra Exascale computing
23	Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-04 14:59:08 Markov models Mathematics Markov processes Probability Dynamic programming Stochastic control Graph theory Markov decision process Stochastic game Markov chain Stochastic matrix Shortest path problem
24	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
25	Arkansas Secretary of State Q Mark Martin Arkansas Diamond Award Add to Reading List Source URL: www.sos.arkansas.gov Language: English - Date: 2017-11-15 15:28:57 Postal system Arkansas Email Address United States
26	Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-03-19 06:17:12 Mathematics Temporal logic Computation tree logic Logic in computer science Distribution Model theory Linear temporal logic Indescribable cardinal
27	Challenge: Recombinant Computing and the Speakeasy Approach W. Keith Edwards, Mark W. Newman, Jana Sedivy, Trevor Smith Shahram Izadi Add to Reading List Source URL: trevor.smith.name Language: English - Date: 2012-11-23 14:19:46 Computing Object-oriented programming Software engineering Computer programming Inter-process communication Component-based software engineering ISO standards Web services Interface User interface Communication protocol Loose coupling
28	The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:51:47 Computing Software engineering Concurrent computing Concurrency control C++ Parallel computing Transaction processing Concurrency Linearizability C++11 Thread POSIX Threads
29	Poster: Can Johnny Authenticate? Elham Vaziripour, Ray Clinton, Justin Wu, Mark O’Neill, Jordan Whitehead, Scott Heidbrink, Kent Seamons, Daniel Zappala Computer Science Department, Brigham Young University elhamvaziri Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-15 03:43:28 Software Computing Computer-mediated communication Instant messaging clients Social media Videotelephony Computer access control Cross-platform software Signal WhatsApp Instant messaging Authentication
30	GreenArrays ® AN011 Ganglia Mark 1 Add to Reading List Source URL: www.greenarraychips.com Language: English - Date: 2013-06-10 16:12:35 Distributed data storage Node A* search algorithm Computing Computer programming Information retrieval

UPDATE