Nondeterministic algorithm - PDFSEARCH.IO - Document Search Engine

Nondeterministic algorithm
Results: 17

#	Item
1	Microsoft Word - Kneidl_EMEVAC_2011_final.docx Add to Reading List Source URL: www.cms.bgu.tum.de Language: English - Date: 2014-12-18 07:59:00 Probabilistic complexity theory Algorithm Mathematical logic Randomized algorithm Ant colony optimization algorithms Computer simulation Genetic algorithm Shortest path problem Nondeterministic algorithm Theoretical computer science Applied mathematics Mathematics
2	Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs Kasper S. Luckow ˘ areanu ˘ Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 09:08:01 Complexity classes Probabilistic complexity theory Analysis of algorithms Randomized algorithm NL PP Algorithm Monte Carlo method Scheduling Theoretical computer science Computational complexity theory Applied mathematics
3	A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-11 17:28:03 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton DFA Records Finite-state machine Algorithm Counterexample Regular expression Automata theory Models of computation Theoretical computer science
4	Tackling the Partner Units Configuration Problem∗ Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen Computing Laboratory University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:43 Graph operations Tree decomposition Connectivity Path decomposition Decomposition method Nondeterministic algorithm Connected component Tree Graph theory Theoretical computer science Mathematics
5	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
6	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
7	DEPTH (QUALIFIER) EXAMINATION IN THEORY OF COMPUTATION AND ALGORITHMS Spring, 2007 Automata, Languages and Complexity: 1. Regular languages (a) finite state automata (deterministic, nondeterministic) Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2007-02-09 21:44:57 Computability theory Models of computation Theory of computation Complexity classes John Hopcroft Alfred Aho Halting problem Turing machine Algorithm Theoretical computer science Applied mathematics Computer science
8	On Regular Expression Matching and Deterministic Finite Automata Philip Bille∗ Technical University of Denmark, DTU Compute ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Regular language Regular expression Finite-state machine Matching String searching algorithm Synchronizing word Automata theory Theoretical computer science Computer science
9	Improving the Capabilities of JFLAP Creating Effective User Interfaces in Learning for Theoretical Computer Science Ian C. McMahon Computer Science Department Duke University Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2014-06-16 14:48:07 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Deterministic pushdown automaton Turing machine Mealy machine Algorithm Models of computation Theory of computation Automata theory
10	NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions Ville Laurikari Helsinki University of Technology Laboratory of Computer Science PL 9700, 02015 TKK, Finland Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:07:21 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Regular expression Deterministic automaton String searching algorithm Powerset construction Regular language Automata theory Theoretical computer science Computer science

UPDATE