Search results for "nondeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	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
75	Joseph G. Slember, Priya Narasimhan	Living with Nondeterminism in Replicated Middleware Applications.	Middleware	2006	DBLP DOI BibTeX RDF
75	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
75	Orieta Celiku, Joakim von Wright	Implementing Angelic Nondeterminism.	APSEC	2003	DBLP DOI BibTeX RDF
70	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
65	Joseph G. Slember, Priya Narasimhan	Nondeterminism in ORBs: The Perception and the Reality.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
63	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
63	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
56	Thomas Noll 0001, Bastian Schlich	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
56	Joseph G. Slember, Priya Narasimhan	Handling Emergent Nondeterminism in Replicated Services.	WADS	2007	DBLP DOI BibTeX RDF
56	Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen	Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.	FMOODS	2006	DBLP DOI BibTeX RDF
56	Bernd Braßel, Michael Hanus	Nondeterminism Analysis of Functional Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
55	Nirman Kumar, Koushik Sen, José Meseguer 0001, Gul Agha	A Rewriting Based Model for Probabilistic Distributed Object Systems.	FMOODS	2003	DBLP DOI BibTeX RDF	Rewrite theory, probability, nondeterminism, actors, Maude
53	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
53	Pavol Duris, Juraj Hromkovic, Katsushi Inoue	A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition.	CCC	2000	DBLP DOI BibTeX RDF	Las Vegas randomization, two-dimensional finite automata, nondeterminism
53	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
48	Roberto Segala	Verification of Randomized Distributed Algorithms.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
48	Manfred Broy, Martin Wirsing	On the Algebraic Specification of Nondeterministic Programming Languages.	CAAP	1981	DBLP DOI BibTeX RDF
46	Rastislav Bodík, Satish Chandra 0001, 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
46	Martin Kutrib, Andreas Malcher	Context-Dependent Nondeterminism for Pushdown Automata.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
46	Jonathan Goldstine, Hing Leung, Detlef Wotschke	Measuring Nondeterminism in Pushdown Automata.	STACS	1997	DBLP DOI BibTeX RDF
46	Alexandru Mateescu, Arto Salomaa	Nondeterminism in Patterns.	STACS	1994	DBLP DOI BibTeX RDF
46	George M. Reed, A. W. Roscoe 0001	Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
46	Ralph-Johan Back	Semantics of Unbounded Nondeterminism.	ICALP	1980	DBLP DOI BibTeX RDF
46	Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari	Teaching students to think nondeterministically.	SIGCSE	2008	DBLP DOI BibTeX RDF	nondeterministic automata, nondeterminism
46	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
46	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
44	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
44	Philipp Woelfel	On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism.	CCC	2002	DBLP DOI BibTeX RDF	Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication
44	Richard Beigel, Bin Fu	Molecular Computing, Bounded Nondeterminism, and Efficient Recursion.	Algorithmica	1999	DBLP DOI BibTeX RDF	Nondeterminism, Molecular computing, Volume
44	Luis Fernando Llana Díaz, Manuel Núñez 0001	Testing Semantics for Unbounded Nondeterminism.	Euro-Par	1997	DBLP DOI BibTeX RDF	unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics
44	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
38	Derek Hower, Pablo Montesinos, Luis Ceze, Mark D. Hill, Josep Torrellas	Two hardware-based approaches for deterministic multiprocessor replay.	Commun. ACM	2009	DBLP DOI BibTeX RDF
36	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
36	Mordechai Ben-Ari	Teaching concurrency and nondeterminism with spin.	ITiCSE	2007	DBLP DOI BibTeX RDF	visualization, verification, concurrency, spin
36	Ana Cavalcanti 0001, Jim Woodcock 0001, Steve Dunne	Angelic nondeterminism in the unifying theories of programming.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Semantics, Refinement, Relations, Predicate transformers
36	Ozan Kahramanogullari	Reducing Nondeterminism in the Calculus of Structures.	LPAR	2006	DBLP DOI BibTeX RDF
36	Benjamin Aminof, Orna Kupferman	On the Succinctness of Nondeterminism.	ATVA	2006	DBLP DOI BibTeX RDF
36	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
36	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
36	Dieter Kranzlmüller, Martin Schulz 0001	Notes on Nondeterminism in Message Passing Programs.	PVM/MPI	2002	DBLP DOI BibTeX RDF
36	Tobias Nipkow	Hoare Logics for Recursive Procedures and Unbounded Nondeterminism.	CSL	2002	DBLP DOI BibTeX RDF
36	Juraj Hromkovic, Martin Sauerhoff	Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs.	STACS	2000	DBLP DOI BibTeX RDF
36	Richard Beigel, Bin Fu	Molecular Computing, Bounded Nondeterminism, and Efficient Recursion.	ICALP	1997	DBLP DOI BibTeX RDF
36	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
36	Liming Cai, Jianer Chen	On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract).	MFCS	1993	DBLP DOI BibTeX RDF
36	Krzysztof R. Apt, Gordon D. Plotkin	Countable nondeterminism and random assignment.	J. ACM	1986	DBLP DOI BibTeX RDF
36	Joost N. Kok	Denotational Semantics of Nets with Nondeterminism.	ESOP	1986	DBLP DOI BibTeX RDF
36	Krzysztof R. Apt, Gordon D. Plotkin	A Cook's Tour of Countable Nondeterminism.	ICALP	1981	DBLP DOI BibTeX RDF
36	Ernst-Erich Doberkat	The Converse of a Stochastic Relation.	FoSSaCS	2003	DBLP DOI BibTeX RDF	Stochastic relations, relational calculi, concurrency, converse, bisimulation, nondeterminism
36	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
36	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
34	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
34	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
34	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
34	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
34	Richard Kennaway, C. A. R. Hoare	A Theory of Nondeterminism.	ICALP	1980	DBLP DOI BibTeX RDF	axiomatic sematnics, complementary definitions, powerdomains, operational semantics, nondeterminism
29	Rupert Hölzl 0001, Wolfgang Merkle	Generation Complexity Versus Distinction Complexity.	TAMC	2008	DBLP DOI BibTeX RDF
29	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
29	Smruti R. Sarangi, Brian Greskamp, Josep Torrellas	CADRE: Cycle-Accurate Deterministic Replay for Hardware Debugging.	DSN	2006	DBLP DOI BibTeX RDF
29	François Le Gall	Quantum Weakly Nondeterministic Communication Complexity.	MFCS	2006	DBLP DOI BibTeX RDF
29	Tomas Kalibera, Lubomír Bulej, Petr Tuma 0001	Automated Detection of Performance Regressions: The Mono Experience.	MASCOTS	2005	DBLP DOI BibTeX RDF
29	Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith	Deterministic Scheduling for Multithreaded Replicas.	WORDS	2005	DBLP DOI BibTeX RDF
29	Thomas J. Myers, A. Toni Cohen	Models and Transformations for Nondeterministic Extensions of Functional Programming.	FSTTCS	1984	DBLP DOI BibTeX RDF
27	Yifeng Chen, Jeff W. Sanders	Unifying Probability with Nondeterminism.	FM	2009	DBLP DOI BibTeX RDF
27	Roberto Segala	Probability and Nondeterminism in Operational Models of Concurrency.	CONCUR	2006	DBLP DOI BibTeX RDF
27	Moshe Deutsch, Martin C. Henson	An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.	APSEC	2005	DBLP DOI BibTeX RDF
27	Jianer Chen, Donald K. Friesen, Weijia Jia 0001, Iyad A. Kanj	Using Nondeterminism to Design Efficient Deterministic Algorithms.	Algorithmica	2004	DBLP DOI BibTeX RDF	Three-dimensional matching, Nondeterministic algorithms, Parameterized algorithms
27	Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky	Modelling Nondeterminism.	MPC	2004	DBLP DOI BibTeX RDF
27	Juraj Hromkovic, Martin Sauerhoff	The Power of Nondeterminism and Randomness for Oblivious Branching Programs.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
27	Markus Holzer 0001, Martin Kutrib	Flip-Pushdown Automata: Nondeterminism Is Better than Determinism.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
27	Martin Sauerhoff	Randomness versus Nondeterminism for Read-Once and Read- k Branching Programs.	STACS	2003	DBLP DOI BibTeX RDF
27	Yijia Chen, Jörg Flum, Martin Grohe	Bounded Nondeterminism and Alternation in Parameterized Complexity Theory.	CCC	2003	DBLP DOI BibTeX RDF
27	Jianer Chen, Donald K. Friesen, Weijia Jia 0001, Iyad A. Kanj	Using Nondeterminism to Design Deterministic Algorithms.	FSTTCS	2001	DBLP DOI BibTeX RDF
27	Petr Savický, Detlef Sieling	A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism.	MFCS	2000	DBLP DOI BibTeX RDF
27	X. Cai, J. Chen	Control of Nondeterminism in Testing Distributed Multithreaded Programs.	APAQS	2000	DBLP DOI BibTeX RDF
27	Russell Harmer, Guy McCusker	A Fully Abstract Game Semantics for Finite Nondeterminism.	LICS	1999	DBLP DOI BibTeX RDF
27	Hing Leung	On Finite Automata with Limited Nondeterminism.	Acta Informatica	1998	DBLP DOI BibTeX RDF
27	Frank S. de Boer, M. van Hulst	Local Nondeterminism in Asynchronously Communicating Processes.	FME	1996	DBLP DOI BibTeX RDF
27	Michael Siegel	A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'.	CONCUR	1995	DBLP DOI BibTeX RDF
27	Luca Aceto	On Relating Concurency and Nondeterminism.	MFPS	1991	DBLP DOI BibTeX RDF
27	Deborah Joseph, Meera Sitharam	Kolmogorov Complexity, Restrited Nondeterminism and Generalized Spectra.	STACS	1990	DBLP DOI BibTeX RDF
27	Wim H. Hesselink	A Mathematical Approach to Nondeterminism in Data Types.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
27	Arthur J. Bernstein	Output Guards and Nondeterminism in "Communicating Sequential Processes".	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
27	Jan Christiansen, Sebastian Fischer 0001	EasyCheck - Test Data for Free.	FLOPS	2008	DBLP DOI BibTeX RDF	Encapsulated Search, Testing, Nondeterminism, Curry
27	Hanmei Cui, Jessica Chen	On Formal MOM Modeling.	ISPA	2007	DBLP DOI BibTeX RDF	model checking, distributed applications, nondeterminism, message-oriented middleware
27	Edward A. Lee	The Problem with Threads.	Computer	2006	DBLP DOI BibTeX RDF	Design patterns, Threads, Nondeterminism, Programming paradigms, Coordination languages
27	Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Active Replication of Multithreaded Applications.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	Fault tolerance, replication, multithreading, fault injection, nondeterminism
27	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
27	Gianfranco Rossi, Elisabetta Poleo	Javaset: Declarative programming in Java with sets.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	Java, constraint programming, nondeterminism, declarative programming
27	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
27	Jessica Chen	Using Formal Methods to Serialize Synchronization Events.	ICFEM	2003	DBLP DOI BibTeX RDF	Reproducible Testing, Formal Engineering Method, Nondeterminism, Labelled Transition Systems
27	Ranko Lazic 0001, David Nowak	On a Semantic Definition of Data Independence .	TLCA	2003	DBLP DOI BibTeX RDF	nondeterminism, logical relations, Data independence, definability
27	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
27	Chi-Jen Lu	Derandomizing Arthur-Merlin games under uniform assumptions.	Comput. Complex.	2001	DBLP DOI BibTeX RDF	graph nonisomorphism problem, nondeterminism, Derandomization, uniformity, Arthur-Merlin games
27	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
27	Martin Sauerhoff	Randomized Branching Programs.	SAGA	2001	DBLP DOI BibTeX RDF	Randomized branching program, read-k-times, linear-length, lower bounds, randomness, nondeterminism, OBDD
27	Jessica Chen	On Using Static Analysis in Distributed System Testing.	EDO	2000	DBLP DOI BibTeX RDF	Distributed Systems, CORBA, Automata, Nondeterminism, Specification-based Testing
27	Steffen Lipperts	On the Efficient Deployment of Mobility in Distributed System Management.	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
27	Carroll Morgan, Annabelle McIver, Karen Seidel 0002	Probabilistic Predicate Transformers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation