Search results for "nondeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Martin Kutrib, Andreas Malcher, Larissa Werlein	Regulated Nondeterminism in Pushdown Automata.	CIAA	2007	DBLP DOI BibTeX RDF	regulated nondeterminism, limited nondeterminism, pushdown automata, closure properties
4	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
3	Frantisek Mráz, Martin Plátek, Friedrich Otto	A Measure for the Degree of Nondeterminism of Context-Free Languages.	CIAA	2007	DBLP DOI BibTeX RDF	measure of nondeterminism, restarting automaton, analysis by reduction
3	Dino Pedreschi, Salvatore Ruggieri	Bounded Nondeterminism of Logic Programs.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	universal termination, bounded nondeterminism, strong termination, logic programming
3	Juraj Hromkovic, Georg Schnitger	Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation.	ICALP	2003	DBLP DOI BibTeX RDF	descriptional complexity of regular languages, Finite automata, nondeterminism
3	Philipp Woelfel	On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism. (PDF / PS)	IEEE Conference on Computational Complexity	2002	DBLP DOI BibTeX RDF	Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication
3	Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert	Measures of Nondeterminism in Finite Automata.	ICALP	2000	DBLP DOI BibTeX RDF	limited ambiguity, communication complexity, finite automata, nondeterminism, descriptional complexity
3	Pavol Duris, Juraj Hromkovic, Katsushi Inoue	A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition. (PDF / PS)	IEEE Conference on Computational Complexity	2000	DBLP DOI BibTeX RDF	Las Vegas randomization, two-dimensional finite automata, nondeterminism
3	Richard Beigel, Bin Fu	Molecular Computing, Bounded Nondeterminism, and Efficient Recursion.	Algorithmica	1999	DBLP DOI BibTeX RDF	Nondeterminism, Molecular computing, Volume
3	Luis Fernando Llana Díaz, Manuel Núñez	Testing Semantics for Unbounded Nondeterminism.	Euro-Par	1997	DBLP DOI BibTeX RDF	unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics
3	Michal Walicki, Sigurd Meldal	A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	reasoning with nondeterminism, algebraic specifications
3	P. A. Subrahmanyam	Nondeterminism in Abstract Data Types.	ICALP	1981	DBLP DOI BibTeX RDF	nondeterministic operations, extraction equivalence, observable behavior, implementations, correctness, abstract data types, nondeterminism
2	Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
2	Charles E. Leiserson, Tao B. Schardl	A work-efficient parallel breadth-first search algorithm (or how to cope with the nondeterminism of reducers).	SPAA	2010	DBLP DOI BibTeX RDF	hyperobjects, parallel algorithms, multithreading, graph algorithms, reducers, nondeterminism, work-stealing, breadth-first search, cilk
2	Yifeng Chen, Jeff W. Sanders	Unifying Probability with Nondeterminism.	FM	2009	DBLP DOI BibTeX RDF
2	Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen	Delayed Nondeterminism in Continuous-Time Markov Decision Processes.	FOSSACS	2009	DBLP DOI BibTeX RDF
2	Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari	Teaching students to think nondeterministically.	SIGCSE	2008	DBLP DOI BibTeX RDF	nondeterministic automata, nondeterminism
2	Jan Christiansen, Sebastian Fischer	EasyCheck - Test Data for Free.	FLOPS	2008	DBLP DOI BibTeX RDF	Encapsulated Search, Testing, Nondeterminism, Curry
2	Mordechai Ben-Ari	Teaching concurrency and nondeterminism with spin.	ITiCSE	2007	DBLP DOI BibTeX RDF	visualization, verification, concurrency, spin
2	Thomas Noll, Bastian Schlich	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
2	Joseph G. Slember, Priya Narasimhan	Handling Emergent Nondeterminism in Replicated Services.	WADS	2007	DBLP DOI BibTeX RDF
2	Hanmei Cui, Jessica Chen	On Formal MOM Modeling.	ISPA	2007	DBLP DOI BibTeX RDF	model checking, distributed applications, nondeterminism, message-oriented middleware
2	Ana Cavalcanti, Jim Woodcock, Steve Dunne	Angelic nondeterminism in the unifying theories of programming.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Semantics, Refinement, Relations, Predicate transformers
2	Roberto Segala	Probability and Nondeterminism in Operational Models of Concurrency.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen	Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.	FMOODS	2006	DBLP DOI BibTeX RDF
2	Ozan Kahramanogullari	Reducing Nondeterminism in the Calculus of Structures.	LPAR	2006	DBLP DOI BibTeX RDF
2	Benjamin Aminof, Orna Kupferman	On the Succinctness of Nondeterminism.	ATVA	2006	DBLP DOI BibTeX RDF
2	Martin Kutrib, Andreas Malcher	Context-Dependent Nondeterminism for Pushdown Automata.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
2	Joseph G. Slember, Priya Narasimhan	Living with Nondeterminism in Replicated Middleware Applications.	Middleware	2006	DBLP DOI BibTeX RDF
2	Joseph G. Slember, Priya Narasimhan	Nondeterminism in ORBs: The Perception and the Reality.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
2	Edward A. Lee	The Problem with Threads.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Design patterns, Threads, Nondeterminism, Programming paradigms, Coordination languages
2	Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Active Replication of Multithreaded Applications.	IEEE Trans. Parallel Distrib. Syst.	2006	DBLP DOI BibTeX RDF	Fault tolerance, replication, multithreading, fault injection, nondeterminism
2	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.	Higher-Order and Symbolic Computation	2005	DBLP DOI BibTeX RDF	automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
2	Moshe Deutsch, Martin C. Henson	An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.	APSEC	2005	DBLP DOI BibTeX RDF
2	Bernd Braßel, Michael Hanus	Nondeterminism Analysis of Functional Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
2	Jianer Chen, Donald K. Friesen, Weijia Jia, Iyad A. Kanj	Using Nondeterminism to Design Efficient Deterministic Algorithms.	Algorithmica	2004	DBLP DOI BibTeX RDF	Three-dimensional matching, Nondeterministic algorithms, Parameterized algorithms
2	Joseph G. Slember, Priya Narasimhan	Using Program Analysis to Identify and Compensate for Nondeterminism in Fault-Tolerant, Replicated Systems.	SRDS	2004	DBLP DOI BibTeX RDF
2	Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky	Modelling Nondeterminism.	MPC	2004	DBLP DOI BibTeX RDF
2	Alexander Healy, Salil P. Vadhan, Emanuele Viola	Using nondeterminism to amplify hardness.	STOC	2004	DBLP DOI BibTeX RDF	noise stability, pseudorandom generators for space-bounded computation, average-case complexity, hardness amplification
2	G. Rossi, E. Poleo	javaset: declarative programming in Java with sets.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	Java, constraint programming, nondeterminism, declarative programming
2	Pascal Felber, Priya Narasimhan	Experiences, Strategies, and Challenges in Building Fault-Tolerant CORBA Systems.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	OGS, Eternal, fault tolerance, CORBA, replication, recovery, nondeterminism, FT-CORBA
2	Juraj Hromkovic, Martin Sauerhoff	The Power of Nondeterminism and Randomness for Oblivious Branching Programs.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
2	Orieta Celiku, Joakim von Wright	Implementing Angelic Nondeterminism.	APSEC	2003	DBLP DOI BibTeX RDF
2	Martin Sauerhoff	Randomness versus Nondeterminism for Read-Once and Read- k Branching Programs.	STACS	2003	DBLP DOI BibTeX RDF
2	Markus Holzer, Martin Kutrib	Flip-Pushdown Automata: Nondeterminism Is Better than Determinism.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
2	Yijia Chen, Jörg Flum, Martin Grohe	Bounded Nondeterminism and Alternation in Parameterized Complexity Theory.	IEEE Conference on Computational Complexity	2003	DBLP DOI BibTeX RDF
2	Richard Edwin Stearns	Deterministic versus nondeterministic time and lower bound problems.	J. ACM	2003	DBLP DOI BibTeX RDF	generic problems, power index, Computational complexity, NP-completeness, time complexity, SAT, nondeterminism, generic algorithms
2	Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha	A Rewriting Based Model for Probabilistic Distributed Object Systems.	FMOODS	2003	DBLP DOI BibTeX RDF	Rewrite theory, probability, nondeterminism, actors, Maude
2	Ernst-Erich Doberkat	The Converse of a Stochastic Relation.	FoSSaCS	2003	DBLP DOI BibTeX RDF	Stochastic relations, relational calculi, concurrency, converse, bisimulation, nondeterminism
2	Juraj Hromkovic, Georg Schnitger	Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes.	ICALP	2003	DBLP DOI BibTeX RDF	multicounter machines, randomization, nondeterminism, complexity theory, pushdown automata
2	Jessica Chen	Using Formal Methods to Serialize Synchronization Events.	ICFEM	2003	DBLP DOI BibTeX RDF	Reproducible Testing, Formal Engineering Method, Nondeterminism, Labelled Transition Systems
2	Ranko Lazic, David Nowak	On a Semantic Definition of Data Independence .	TLCA	2003	DBLP DOI BibTeX RDF	nondeterminism, logical relations, Data independence, definability
2	Tobias Nipkow	Hoare Logics for Recursive Procedures and Unbounded Nondeterminism.	CSL	2002	DBLP DOI BibTeX RDF
2	Dieter Kranzlmüller, Martin Schulz	Notes on Nondeterminism in Message Passing Programs.	PVM/MPI	2002	DBLP DOI BibTeX RDF
2	Thomas Eiter, Georg Gottlob, Kazuhisa Makino	New results on monotone dualization and generating hypergraph transversals.	STOC	2002	DBLP DOI BibTeX RDF	combinatorial enumeration, hypergraph acyclicity, limited nondeterminism, output-polynomial algorithms, transversal computation, treewidth, dualization
2	Jessica Chen	Formal Modelling of Java GUI Event Handling.	ICFEM	2002	DBLP DOI BibTeX RDF	Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems
2	Jianer Chen, Donald K. Friesen, Weijia Jia, Iyad A. Kanj	Using Nondeterminism to Design Deterministic Algorithms.	FSTTCS	2001	DBLP DOI BibTeX RDF
2	Ryszard Janicki, Emil Sekerinski	Foundations of the Trace Assertion Method of Module Interface Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences
2	Martin Sauerhoff	Randomized Branching Programs.	SAGA	2001	DBLP DOI BibTeX RDF	Randomized branching program, read-k-times, linear-length, lower bounds, randomness, nondeterminism, OBDD
2	Chi-Jen Lu	Derandomizing Arthur-Merlin games under uniform assumptions.	Computational Complexity	2001	DBLP DOI BibTeX RDF	graph nonisomorphism problem, nondeterminism, Derandomization, uniformity, Arthur-Merlin games
2	Petr Savický, Detlef Sieling	A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism.	MFCS	2000	DBLP DOI BibTeX RDF
2	Juraj Hromkovic, Martin Sauerhoff	Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs.	STACS	2000	DBLP DOI BibTeX RDF
2	X. Cai, J. Chen	Control of Nondeterminism in Testing Distributed Multithreaded Programs.	APAQS	2000	DBLP DOI BibTeX RDF
2	Steffen Lipperts	On the Efficient Deployment of Mobility in Distributed System Management. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	mobility deployment, future networks, disruptive links, competing goals, performance evaluation, mobile computing, mobile agents, nondeterminism, utility theory, prototype implementation, distributed system management, enabling technology
2	Jessica Chen	On Using Static Analysis in Distributed System Testing.	EDO	2000	DBLP DOI BibTeX RDF	Distributed Systems, CORBA, Automata, Nondeterminism, Specification-based Testing
2	Russell Harmer, Guy McCusker	A Fully Abstract Game Semantics for Finite Nondeterminism.	LICS	1999	DBLP DOI BibTeX RDF
2	Hing Leung	On Finite Automata with Limited Nondeterminism.	Acta Inf.	1998	DBLP DOI BibTeX RDF
2	Richard Beigel, Bin Fu	Molecular Computing, Bounded Nondeterminism, and Efficient Recursion.	ICALP	1997	DBLP DOI BibTeX RDF
2	Jonathan Goldstine, Hing Leung, Detlef Wotschke	Measuring Nondeterminism in Pushdown Automata.	STACS	1997	DBLP DOI BibTeX RDF
2	Manfred Broy	Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
2	Klaus Reinhardt, Eric Allender	Making Nondeterminism Unambiguous.	FOCS	1997	DBLP DOI BibTeX RDF	nonuniform complexity, nondeterministic logarithmic space bounded computation, computational complexity, nondeterminism, complexity classes, context-free languages
2	Mihnea Marinescu, Benjamin Goldberg	Partial-Evaluation Techniques for Concurrent Programs.	PEPM	1997	DBLP DOI BibTeX RDF	concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis
2	Frank S. de Boer, M. van Hulst	Local Nondeterminism in Asynchronously Communicating Processes.	FME	1996	DBLP DOI BibTeX RDF
2	Carroll Morgan, Annabelle McIver, Karen Seidel	Probabilistic Predicate Transformers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation
2	Michael Siegel	A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'.	CONCUR	1995	DBLP DOI BibTeX RDF
2	Alexandru Mateescu, Arto Salomaa	Nondeterminism in Patterns.	STACS	1994	DBLP DOI BibTeX RDF
2	Doron Drusinsky, David Harel	On the Power of Bounded Concurrency I: Finite Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata
2	A. P. Wim Böhm, R. R. Oldehoeft	Two Issues in Parallel Language Design.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	nonstrictness, nondeterminism, SISAL, SISAL
2	Liming Cai, Jianer Chen	On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract).	MFCS	1993	DBLP DOI BibTeX RDF
2	Michael Young, David L. Levine, Richard N. Taylor	Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models
2	Luca Aceto	On Relating Concurency and Nondeterminism.	MFPS	1991	DBLP DOI BibTeX RDF
2	Deborah Joseph, Meera Sitharam	Kolmogorov Complexity, Restrited Nondeterminism and Generalized Spectra.	STACS	1990	DBLP DOI BibTeX RDF
2	Saumya K. Debray, David Scott Warren	Towards Banishing the Cut from Prolog.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time
2	Ian Parberry	A Note on Nondeterminism in Small, Fast Parallel Computers.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	nondeterministic analogues, fast parallel computers, language classes, SC, NNC, NSC, deterministic Turing machine, polylog tape-head reversals, POLYLOGSPACE, simultaneous polynomial time, read-only input tape, read-write work tape, computational complexity, parallel computation, parallel machines, formal languages, nondeterminism, Turing machines, subset, NC
2	George M. Reed, A. W. Roscoe	Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
2	Michael Evangelist, Nissim Francez, Shmuel Katz	Multiparty Interactions for Interprocess Communication and Synchronization.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	multiparty interaction construct, weakening, fault tolerance, parallel programming, synchronization, fault tolerant computing, distributed programs, participants, nondeterminism, interprocess communication, primitive, acceptability criteria
2	Bharat Jayaraman, Gopal Gupta	EqL: The Language and Its Implementation.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	conditional rules, general-purpose language, EqL, pattern-directed rules, data-constructors, basic values, equation solving, deferred evaluation, sequential implementation, compile-time flattening, run-time equation-delaying, last-equation optimization, logic programming, functional programming, functional programming, nondeterminism, high level languages, mathematics computing, equations, logic programming languages, computational paradigm, logical variables
2	Wim H. Hesselink	A Mathematical Approach to Nondeterminism in Data Types.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
2	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Partial orderings descriptions and observations of nondeterministic concurrent processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages
2	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
2	Krzysztof R. Apt, Gordon D. Plotkin	Countable nondeterminism and random assignment.	J. ACM	1986	DBLP DOI BibTeX RDF
2	Joost N. Kok	Denotational Semantics of Nets with Nondeterminism.	ESOP	1986	DBLP DOI BibTeX RDF
2	B. Gammatie	Safe Implementation Equivalence for Asynchronous Nondeterministic Processes.	MFCS	1986	DBLP DOI BibTeX RDF	Key-words process behaviour, equivalence and congruence relations for processes, process interface, order relations for process action set, nondeterminism, divergence
2	B. Gamatie	Towards Specification and Proof of Asynchronous Systems.	STACS	1986	DBLP DOI BibTeX RDF	Key-words Asynchronous systems, process interface, equivalence and congruence of processes, least process, nondeterminism
2	Krzysztof R. Apt, Gordon D. Plotkin	A Cook's Tour of Countable Nondeterminism.	ICALP	1981	DBLP DOI BibTeX RDF
2	Arthur J. Bernstein	Output Guards and Nondeterminism in ``Communicating Sequential Processes''.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
2	Richard Kennaway, C. A. R. Hoare	A Theory of Nondeterminism.	ICALP	1980	DBLP DOI BibTeX RDF	axiomatic sematnics, complementary definitions, powerdomains, operational semantics, nondeterminism
2	Ralph-Johan Back	Semantics of Unbounded Nondeterminism.	ICALP	1980	DBLP DOI BibTeX RDF
1	Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima	Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication.	Electronic Colloquium on Computational Complexity (ECCC)	2012	DBLP BibTeX RDF
1	Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima	Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication	CoRR	2012	DBLP BibTeX RDF