Search results for "nondeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Miklós Ajtai	Determinism versus Nondeterminism for Linear Time RAMs with Memory Restrictions.	J. Comput. Syst. Sci.	2002	DBLP DOI BibTeX RDF
17	Petr Savický	On determinism versus unambiquous nondeterminism for decision trees	Electron. Colloquium Comput. Complex.	2002	DBLP BibTeX RDF
17	Juraj Hromkovic, Sebastian Seibert, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger	Communication Complexity Method for Measuring Nondeterminism in Finite Automata.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
17	Frank Nießner	Büchi automata and their degrees of nondeterminism and ambiguity.	DCFS	2002	DBLP BibTeX RDF
17	Dieter Kranzlmüller	Nondeterminism Analysis on Supercomputers and Clusters.	Parallel Process. Lett.	2001	DBLP DOI BibTeX RDF
17	Sanjay Gupta	Determinism, Nondeterminism, Alternation, and Counting.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
17	Marco Bernardo 0001, Roberto Gorrieri	Corrigendum to "A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time" - [TCS 202 (1998) 1-54].	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
17	Ingo Wegener	Teaching Nondeterminism as a Special Case of Randomization.	Informatica Didact.	2001	DBLP BibTeX RDF
17	Petr Savický, Detlef Sieling	A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism	Electron. Colloquium Comput. Complex.	2001	DBLP BibTeX RDF
17	Prakash Panangaden	Does Combining Nondeterminism and Probability Make Sense?	Bull. EATCS	2001	DBLP BibTeX RDF
17	Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang 0003	Apparent Nondeterminism in Actions.	J. Res. Pract. Inf. Technol.	2001	DBLP BibTeX RDF
17	Michal Walicki, Sigurd Meldal	Nondeterminism vs. Underspecification.	ISAS-SCI (1)	2001	DBLP BibTeX RDF
17	Yngve Lamo, Michal Walicki	Modeling Partiality by Nondeterminism.	ISAS-SCI (1)	2001	DBLP BibTeX RDF
17	Martin Kutrib	Refining Nondeterminism below Linear-Time.	DCFS	2001	DBLP BibTeX RDF
17	Pavol Duris, Juraj Hromkovic, Katsushi Inoue	A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition	Electron. Colloquium Comput. Complex.	2000	DBLP BibTeX RDF
17	Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert	Measures of Nondeterminism in Finite Automata	Electron. Colloquium Comput. Complex.	2000	DBLP BibTeX RDF
17	Klaus Reinhardt, Eric Allender	Making Nondeterminism Unambiguous.	SIAM J. Comput.	2000	DBLP DOI BibTeX RDF
17	Willem C. Mallon	On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism.	ASYNC	2000	DBLP DOI BibTeX RDF	{Communicating Processes}, {Computer Aided Design}, Meta-stability, Formal Methods, Handshake Protocol, Delay-Insensitivity
17	Frank Steiner, Michael Hanus	Type-based Nondeterminism Checking in Functional Logic Programs.	WLP	2000	DBLP BibTeX RDF
17	Michael W. Mislove	Models Supporting Nondeterminism and Probabilistic Choice.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
17	Michael Hanus, Frank Steiner	Type-based nondeterminism checking in functional logic programs.	PPDP	2000	DBLP DOI BibTeX RDF
17	Michael W. Mislove	Nondeterminism and Probabilistic Choice: Obeying the Laws.	CONCUR	2000	DBLP DOI BibTeX RDF
17	Enrico Giunchiglia	Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism.	KR	2000	DBLP BibTeX RDF
17	Dino Pedreschi, Salvatore Ruggieri	Bounded Nondeterminism of Logic Programs.	ICLP	1999	DBLP BibTeX RDF
17	Martin Sauerhoff	Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables.	FSTTCS	1999	DBLP DOI BibTeX RDF
17	Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus	Nondeterminism and Uncertainty in the Situation Calculus.	FLAIRS	1999	DBLP BibTeX RDF
17	Jerry den Hartog, Erik P. de Vink	Mixing Up Nondeterminism and Probability: a preliminary report.	PROBMIV	1998	DBLP DOI BibTeX RDF
17	Irina B. Virbitskaite	On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
17	Lane A. Hemaspaandra, Christopher Nasipak, Keith Parkins	A Note on Linear-Nondeterminism, Linear-Sized, Karp-Lipton Advice for the P-Selective Sets.	J. Univers. Comput. Sci.	1998	DBLP DOI BibTeX RDF
17	Marco Bernardo 0001, Roberto Gorrieri	A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
17	Martin Sauerhoff	Randomness and Nondeterminism are Incomparable for Read-Once Branching Programs	Electron. Colloquium Comput. Complex.	1998	DBLP BibTeX RDF
17	Richard Beigel, Judy Goldsmith	Downward Separation Fails Catastrophically for Limited Nondeterminism Classes.	SIAM J. Comput.	1998	DBLP DOI BibTeX RDF
17	Franck van Breugel	Comparative metric semantics of programming languages - nondeterminism and recursion.		1998	RDF
17	Ming-Dong Feng, Chung-Kwong Yuen	Detection of Races and Control-Flow Nondeterminism.	LCR	1998	DBLP DOI BibTeX RDF
17	Jürgen Albert, Ullrich Hafner	Nondeterminism and Motion Compensation for Weighted Finite Automata.	GI Jahrestagung	1998	DBLP DOI BibTeX RDF
17	Hartmut Klauck	Lower Bounds for Computation with Limited Nondeterminism.	CCC	1998	DBLP DOI BibTeX RDF
17	Uriel Feige, Joe Kilian	On Limited versus Polynomial Nondeterminism.	Chic. J. Theor. Comput. Sci.	1997	DBLP BibTeX RDF
17	Kate Copestake	On Nondeterminism, Enumeration Reducibility and Polynomial Bounds.	Math. Log. Q.	1997	DBLP DOI BibTeX RDF
17	Stuart Oliver Anderson, John Power	A Representable Approach to Finite Nondeterminism.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
17	Christian Herzog 0003	Pushdown Automata with Bounded Nondeterminism and Bounded Ambiguity.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
17	Jan Van den Bussche, Dirk Van Gucht	A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries.	J. Comput. Syst. Sci.	1997	DBLP DOI BibTeX RDF
17	Martin Sauerhoff	On Nondeterminism versus Randomness for Read-Once Branching Programs	Electron. Colloquium Comput. Complex.	1997	DBLP BibTeX RDF
17	Klaus Reinhardt, Eric Allender	Making Nondeterminism Unambiguous	Electron. Colloquium Comput. Complex.	1997	DBLP BibTeX RDF
17	Michal Walicki, Sigurd Meldal	Algebraic Approaches to Nondeterminism: An Overview.	ACM Comput. Surv.	1997	DBLP DOI BibTeX RDF
17	Liming Cai, Jianer Chen	On the Amount of Nondeterminism and the Power of Verifying.	SIAM J. Comput.	1997	DBLP DOI BibTeX RDF
17	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Reducing Nondeterminism while Specializing Logic Programs.	POPL	1997	DBLP DOI BibTeX RDF
17	Farid M. Ablayev	Randomization and Nondeterminism Are Comparable for Ordered Read-Once Branching Programs.	ICALP	1997	DBLP DOI BibTeX RDF
17	Y. Gao, Max H. Garzon, R. C. Murphy, John A. Rose, Russell J. Deaton, Donald R. Franceschetti, Stanley Edward Stevens Jr.	DNA implementation of nondeterminism.	DNA Based Computers	1997	DBLP DOI BibTeX RDF
17	Lars Karlsson	Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus.	IJCAI	1997	DBLP BibTeX RDF
17	Weidong Chen, Jinghong Zeng	Nondeterminism Through Well-Founded Choice.	J. Log. Program.	1996	DBLP DOI BibTeX RDF
17	M. Hakan Erdogmus, Robert Johnston, Michael J. Ferguson	On the Operational Semantics of Nondeterminism and Divergence.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
17	Christos H. Papadimitriou, Mihalis Yannakakis	On Limited Nondeterminism and the Complexity of the V-C Dimension.	J. Comput. Syst. Sci.	1996	DBLP DOI BibTeX RDF
17	Felipe Cucker, Martín Matamala	On Digital Nondeterminism.	Math. Syst. Theory	1996	DBLP DOI BibTeX RDF
17	Judy Goldsmith, Matthew A. Levy, Martin Mundhenk	Limited nondeterminism.	SIGACT News	1996	DBLP DOI BibTeX RDF
17	Michael Oberhuber	Managing Nondeterminism in PVM Programs.	PVM	1996	DBLP DOI BibTeX RDF
17	Michael W. Mislove	Denotational models for unbounded nondeterminism.	MFPS	1995	DBLP DOI BibTeX RDF
17	Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi	Nondeterminism and Infinite Computations in Constraint Programming.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
17	Emanuela Fachini, Jozef Gruska, Margherita Napoli, Domenico Parente	Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata.	Math. Syst. Theory	1995	DBLP DOI BibTeX RDF
17	Michael J. Butler, Carroll Morgan	Action Systemes, Unbounded Nondeterminism, and Infinite Traces.	Formal Aspects Comput.	1995	DBLP DOI BibTeX RDF
17	Kai Salomaa, Sheng Yu 0001	Nondeterminism Degrees for Context-Free Languages.	Developments in Language Theory	1995	DBLP BibTeX RDF
17	Christian Herzog 0003	Pushdown Automata with Bounded Nondeterminism and Bounded Anbiguity.	LATIN	1995	DBLP DOI BibTeX RDF
17	Armin Hemmerling	On Genuine Complexity and Kinds of Nondeterminism.	J. Inf. Process. Cybern.	1994	DBLP BibTeX RDF
17	Kai Salomaa, Sheng Yu 0001	Measures of Nondeterminism for Pushdown Automata.	J. Comput. Syst. Sci.	1994	DBLP DOI BibTeX RDF
17	David J. Musliner	Using Abstraction and Nondeterminism to Plan Reaction Loops.	AAAI	1994	DBLP BibTeX RDF
17	Jean-Pierre Courtiat, Roberto C. de Oliveira	About time nondeterminism and exception handling in a temporal extension of LOTOS.	PSTV	1994	DBLP BibTeX RDF
17	Richard Beigel, Judy Goldsmith	Downward separation fails catastrophically for limited nondeterminism classes.	SCT	1994	DBLP DOI BibTeX RDF
17	K. Narayan Kumar, Paritosh K. Pandya	Infinitary Parallelism without Unbounded Nondeterminism in CSP.	Acta Informatica	1993	DBLP DOI BibTeX RDF
17	Jonathan F. Buss, Judy Goldsmith	Nondeterminism Within P.	SIAM J. Comput.	1993	DBLP DOI BibTeX RDF
17	Kurt Sieber	Call-by-Value and Nondeterminism.	TLCA	1993	DBLP DOI BibTeX RDF
17	Michal Walicki, Sigurd Meldal	Sets and Nondeterminism.	ICLP Workshop on Logic Programming with Sets	1993	DBLP BibTeX RDF
17	Henning Bordihn, Jürgen Dassow	A Note on the Degree of Nondeterminism.	Developments in Language Theory	1993	DBLP BibTeX RDF
17	Christos H. Papadimitriou, Mihalis Yannakakis	On Limited Nondeterminism and the Complexity of the V.C Dimension (Extended Abstract).	SCT	1993	DBLP DOI BibTeX RDF
17	Henning Bordihn	Pure Languages and the Degree of Nondeterminism.	J. Inf. Process. Cybern.	1992	DBLP BibTeX RDF
17	Juhani Karhumäki	Multiplicities: A Deterministsic View of Nondeterminism.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
17	Srinivasarao Damerla, Sol M. Shatz	Software complexity and ada rendezvous: Metrics based on nondeterminism.	J. Syst. Softw.	1992	DBLP DOI BibTeX RDF
17	Jonathan Goldstine, Hing Leung, Detlef Wotschke	On the Relation between Ambiguity and Nondeterminism in Finite Automata	Inf. Comput.	1992	DBLP DOI BibTeX RDF
17	Danny Dolev, Tomás Feder	Determinism vs. Nondeterminism in Multiparty Communication Complexity.	SIAM J. Comput.	1992	DBLP DOI BibTeX RDF
17	Hing Leung	On Finite Automata with Limited Nondeterminism.	MFCS	1992	DBLP DOI BibTeX RDF
17	Michael W. Mislove, Frank J. Oles	A Simple Language Supporting Angelic Nondeterminism and Parallel Composition.	MFPS	1991	DBLP DOI BibTeX RDF
17	Kai Salomaa, Sheng Yu 0001	Degrees of Nondeterminism for Pushdown Automata.	FCT	1991	DBLP DOI BibTeX RDF
17	A. F. Toal	P.Q.S.: building and using an advanced qualitative simulator utilizing explicit nondeterminism.		1991	RDF
17	Jürgen Dassow, Dietmar Wätjen	On the relations between the degree of synchronization and the degree of nondeterminism in k-limited and uniformly k-limited tol systems.	Int. J. Comput. Math.	1990	DBLP DOI BibTeX RDF
17	Hsu-Chun Yen	Communicating Processes, Scheduling, and the Complexity of Nondeterminism.	Math. Syst. Theory	1990	DBLP DOI BibTeX RDF
17	Josep Díaz, Jacobo Torán	Classes of Bounded Nondeterminism.	Math. Syst. Theory	1990	DBLP DOI BibTeX RDF
17	Jonathan Goldstine, Chandra M. R. Kintala, Detlef Wotschke	On Measuring Nondeterminism in Regular Languages	Inf. Comput.	1990	DBLP DOI BibTeX RDF
17	Anne Dinning	Detecting Nondeterminism in Shared Memory Parallel Programs.		1990	RDF
17	Edith Spaan, Leen Torenvliet, Peter van Emde Boas	Nondeterminism fairness and a fundamental analogy.	Bull. EATCS	1989	DBLP BibTeX RDF
17	Leen Torenvliet, Peter van Emde Boas	Simplicity, Immunity, Relativizations and Nondeterminism	Inf. Comput.	1989	DBLP DOI BibTeX RDF
17	Erik Ruf, Daniel Weise	Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming.	FPCA	1989	DBLP DOI BibTeX RDF	SCHEME
17	A. W. Roscoe 0001, Geoff Barrett	Unbounded Nondeterminism in CSP.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
17	Andrej Bebják, Ivana Stefáneková	Nondeterminism is essential for reversal-bounded two-way multihead finite automata.	Kybernetika	1988	DBLP BibTeX RDF
17	Christoph Meinel	The Power of Nondeterminism in Polynomial-Size Bounded-Width Branching Programs.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
17	F. Warren Burton	Nondeterminism with Referential Transparency in Functional Programming Languages.	Comput. J.	1988	DBLP DOI BibTeX RDF
17	Atanas Radensky	Lazy Evaluation and Nondeterminism Make Backus' FP-Systems More Practical.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	FP
17	Ildar R. Nasyrov	The Degrees of Nondeterminism in Pushdown Automata.	FCT	1987	DBLP DOI BibTeX RDF
17	Christoph Meinel	The Power of Nondeterminism in Polynominal-size Bounded-width Branching Programs.	FCT	1987	DBLP DOI BibTeX RDF
17	Ruurd Kuiper 0001	Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
17	Patrick W. Dymond	On Nondeterminism in Parallel Computation.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
17	Manfred Broy	A Theory for Nondeterminism, Parallelism, Communication, and Concurrency.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
17	Mara Chibnik	Algorithmic elimination of spurious nondeterminism from Mealy machines.	SIGACT News	1986	DBLP DOI BibTeX RDF