Nondeterminism - PDFSEARCH.IO - Document Search Engine

Nondeterminism
Results: 33

#	Item
21	BRICS Basic Research in Computer Science BRICS DSD. Varacca: Two Denotational Models for Probabilistic Computation Probability, Nondeterminism and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-03-22 11:49:34
22	Semantics of nondeterminism Paul Blain Levy University of Birmingham November 17, 2009 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-11-17 12:32:19
23	. A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics . Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-18 15:59:28 Software engineering Functional programming Monad Theoretical computer science Models of computation Automata theory Theory of computation
24	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:08:24 Scheduling algorithms Threads Models of computation Scheduling Unbounded nondeterminism Model checking Monitor Multithreading Non-blocking algorithm Computing Concurrent computing Concurrency
25	Introduction UTP Designs with angelic nondeterminism Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-04-03 07:33:05 Predicate logic Model theory First-order logic Predicate Determinism Function Logic Mathematical logic Mathematics
26	Partiality as nondeterminism Yngve Lamo Michal Walicki Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-03-09 04:39:36 Logic Symbol Interpretation Structure Constructible universe Sheaf Function Sigma-algebra Kripke–Platek set theory Mathematics Model theory Mathematical logic
27	Nondeterminism in the Presence of a Diverse or Unknown Future ? Udi Boker1 , Denis Kuperberg2 , Orna Kupferman2 , and Michał Skrzypczak3 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-29 05:18:08 Applied mathematics Ω-automaton Muller automaton Büchi automaton Tree automaton Finite-state machine Regular language Formal language Tree Automata theory Theoretical computer science Computer science
28	Nondeterminism in the Presence of Diverse or Unknown Future. U. Boker1 , D. Kuperberg2,3 , O. Kupferman2 , M. Skrzypczak3 1 IST 2 Hebrew Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-01-07 04:43:59 Models of computation Mathematics Automata theory FO Finite model theory
29	Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:02 Epistemology Frame problem Theoretical computer science Situation calculus Science Predicate transformer semantics Event calculus Logic programming Knowledge representation Artificial intelligence
30	A Work-Efficient Parallel Breadth-First Search Algorithm (or How to Cope with the Nondeterminism of Reducers) Charles E. Leiserson Tao B. Schardl MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Stre Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:50 Cilk Speedup MapReduce Breadth-first search Partially ordered set Computing Parallel computing Computer programming

UPDATE