Search results for "nondeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Tzilla Elrad, Fred Maymir-Ducharme	Introducing the preference control primitive experience with controlling nondeterminism in Ada.	WADAS	1986	DBLP DOI BibTeX RDF
17	John S. Conery, Dennis F. Kibler	AND Parallelism and Nondeterminism in Logic Programs.	New Gener. Comput.	1985	DBLP DOI BibTeX RDF
17	Daniel M. Berry	A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism.	Acta Informatica	1985	DBLP DOI BibTeX RDF
17	Wolfgang Wechler	A Note on Nondeterminism and Nontermination.	J. Inf. Process. Cybern.	1985	DBLP BibTeX RDF
17	Michael G. Main, David B. Benson	Free Semiring-Representations and Nondeterminism.	J. Comput. Syst. Sci.	1985	DBLP DOI BibTeX RDF
17	Matthew Hennessy, Robin Milner	Algebraic Laws for Nondeterminism and Concurrency	J. ACM	1985	DBLP DOI BibTeX RDF
17	José L. Balcázar	Simplicity, Relativizations and Nondeterminism.	SIAM J. Comput.	1985	DBLP DOI BibTeX RDF
17	Krzysztof R. Apt	Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
17	Ravindran Kannan	Towards Separating Nondeterminism from Determinism.	Math. Syst. Theory	1984	DBLP DOI BibTeX RDF
17	David B. Benson	Counting Paths: Nondeterminism as Linear Algebra.	IEEE Trans. Software Eng.	1984	DBLP DOI BibTeX RDF
17	Uwe Schöning, Ronald V. Book	Immunity, Relativizations, and Nondeterminism.	SIAM J. Comput.	1984	DBLP DOI BibTeX RDF
17	Marek Chrobak	Nondeterminism Is Essential for Two-Way Counter Machines.	MFCS	1984	DBLP DOI BibTeX RDF
17	Hans Bekic	A Model of Nondeterminism: Indexed Sets and Their Equivalence.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
17	Ralph-Johan Back	A Continuous Semantics for Unbounded Nondeterminism.	Theor. Comput. Sci.	1983	DBLP DOI BibTeX RDF
17	Xu Mei-Rui, John E. Donner, Ronald V. Book	Refining Nondeterminism in Relativizations of Complexity Classes	J. ACM	1983	DBLP DOI BibTeX RDF
17	Ravi Kannan	Alternation and the Power of Nondeterminism	STOC	1983	DBLP DOI BibTeX RDF
17	Burkhard Monien, Ivan Hal Sudborough	On Eliminating Nondeterminism from Turing Machines which Use less than Logarithm Worktape Space.	Theor. Comput. Sci.	1982	DBLP DOI BibTeX RDF
17	David B. Benson	In Scott-Strachey Style Denotational Semantics, Parallelism Implies Nondeterminism.	Math. Syst. Theory	1982	DBLP DOI BibTeX RDF
17	Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn	On the Power of Nondeterminism in Dynamic Logic.	ICALP	1982	DBLP DOI BibTeX RDF
17	George J. Milne	Abstraction and Nondeterminism in Concurrent Systems.	ICDCS	1982	DBLP BibTeX RDF
17	Ernst-Erich Doberkat	Stochastic Automata: Stability, Nondeterminism, and Prediction		1981	DOI RDF
17	Wolfgang J. Paul, Rüdiger Reischuk	On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism.	Acta Informatica	1980	DBLP DOI BibTeX RDF
17	Chandra M. R. Kintala, Detlef Wotschke	Amounts of Nondeterminism in Finite Automata.	Acta Informatica	1980	DBLP DOI BibTeX RDF
17	Nasser Saheb-Djahromi	CPO'S of Measures for Nondeterminism.	Theor. Comput. Sci.	1980	DBLP DOI BibTeX RDF
17	Egidio Astesiano, Gerardo Costa	Nondeterminism and Fully Abstract Models.	RAIRO Theor. Informatics Appl.	1980	DBLP DOI BibTeX RDF
17	Chandra M. R. Kintala, Patrick C. Fischer	Refining Nondeterminism in Relativized Polynomial-Time Bounded Computations.	SIAM J. Comput.	1980	DBLP DOI BibTeX RDF
17	Matthew Hennessy, Robin Milner	On Observing Nondeterminism and Concurrency.	ICALP	1980	DBLP DOI BibTeX RDF
17	Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever	Semantics of Nondeterminism, Concurrency, and Communication.	J. Comput. Syst. Sci.	1979	DBLP DOI BibTeX RDF
17	Patrick C. Fischer, Chandra M. R. Kintala	Real-Time Computations with Restricted Nondeterminism.	Math. Syst. Theory	1979	DBLP DOI BibTeX RDF
17	Burkhard Monien, Ivan Hal Sudborough	On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space.	ICALP	1979	DBLP DOI BibTeX RDF
17	Egidio Astesiano, Gerardo Costa	Sharing in Nondeterminism.	ICALP	1979	DBLP DOI BibTeX RDF
17	Detlef Wotschke	Nondeterminism and Boolean Operations in PDAs.	J. Comput. Syst. Sci.	1978	DBLP DOI BibTeX RDF
17	Chandra M. R. Kintala	Refining Nondeterminism in Context-free Languages.	Math. Syst. Theory	1978	DBLP DOI BibTeX RDF
17	Reino Kurki-Suonio	Nondeterminism, parallelism and intermittent assertions.	Mathematical Studies of Information Processing	1978	DBLP DOI BibTeX RDF
17	David Harel, Vaughan R. Pratt	Nondeterminism in Logics of Programs.	POPL	1978	DBLP DOI BibTeX RDF
17	Nissim Francez, C. A. R. Hoare, Willem P. de Roever	Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract).	MFCS	1978	DBLP DOI BibTeX RDF
17	William J. Sakoda, Michael Sipser	Nondeterminism and the Size of Two Way Finite Automata	STOC	1978	DBLP DOI BibTeX RDF
17	Lawrence Flon, Norihisa Suzuki	Nondeterminism and the Correctness of Parallel Programs.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
17	Matthew Hennessy, Edward A. Ashcroft	Parameter-Passing Mechanisms and Nondeterminism	STOC	1977	DBLP DOI BibTeX RDF
17	Matthew Hennessy, Edward A. Ashcroft	The Semantics of Nondeterminism.	ICALP	1976	DBLP BibTeX RDF
17	Ashok K. Chandra	The Power of Parallelism and Nondeterminism in Programming.	IFIP Congress	1974	DBLP BibTeX RDF
17	Theodore P. Baker	Computational Complexity and Nondeterminism in Flowchart Programs.		1973	RDF
17	Christian Eisentraut, Holger Hermanns, Lijun Zhang 0001	On Probabilistic Automata in Continuous Time.	LICS	2010	DBLP DOI BibTeX RDF	weak bisimulation semantics, Markov processes, process algebra, nondeterminism, discrete time, continuous time
17	Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell	Term transformers: A new approach to state.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	nondeterminism, state, procedures, refinement calculus, predicate transformers, Nondeterminacy
17	Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes	Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.	QEST	2009	DBLP DOI BibTeX RDF	logical characterization, measurable, bisimulation, nondeterminism
17	Mikhail N. Vyalyi	On Models of a Nondeterministic Computation.	CSR	2009	DBLP DOI BibTeX RDF	language, nondeterminism, automaton, complexity class
17	Joseph M. Morris, Malcolm Tyrrell	Dually nondeterministic functions.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Angelic nondeterminacy, demonic nondeterminacy, free completely distributive lattice, modeling nondeterminacy, nondeterministic functions, nondeterminism
17	Andrzej S. Murawski	Reachability Games and Game Semantics: Comparing Nondeterministic Programs.	LICS	2008	DBLP DOI BibTeX RDF	Idealized Algol, pushdown graphs, reachability games, nondeterminism, game semantics
17	Lee Naish	Resource-Oriented Deadlock Analysis.	ICLP	2007	DBLP DOI BibTeX RDF	deadlock analysis, committed choice nondeterminism, floundering, Concurrency, partial order, dining philosophers, coroutining
17	Matthew W. Heath, Wayne P. Burleson, Ian G. Harris	Synchro-Tokens: A Deterministic GALS Methodology for Chip-Level Debug and Test.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	test, debug, SoC, nondeterminism, GALS, globally asynchronous locally synchronous
17	Vijay K. Garg, Neeraj Mittal	A Critique of Java for Concurrent Programming.	IEEE Distributed Syst. Online	2005	DBLP DOI BibTeX RDF	await, Java, concurrent programming, invariants, nondeterminism
17	Steve Haynal, Forrest Brewer	Automata-Based Symbolic Scheduling for Looping DFGs.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Scheduling, high-level synthesis, automata, Binary Decision Diagrams, nondeterminism, loop pipelining, symbolic model
17	Fosca Giannotti, Giuseppe Manco 0001, Mirco Nanni, Dino Pedreschi	Nondeterministic, Nonmonotonic Logic Databases.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	databases, Logic programming, nondeterminism, negation, stable models
17	John Watrous	Succinct quantum proofs for properties of finite groups.	FOCS	2000	DBLP DOI BibTeX RDF	succinct quantum proofs, finite group properties, quantum computational variant, quantum proof, quantum state, NP-type proof, black-box groups, group operations, group oracle, Group Non-Membership problem, bounded error, simple proof, quantum proofs, classical proofs, group properties, computational complexity, theorem proving, quantum computing, quantum computer, certificate, nondeterminism, polynomial time, strings, group theory, finite groups
17	Marina De Vos, Dirk Vermeir	Choice Logic Programs and Nash Equilibria in Strategic Games.	CSL	1999	DBLP DOI BibTeX RDF	game theory, logic programs, nondeterminism, choice, stable model semantics
17	Ian Glaister, Jeffrey O. Shallit	Automaticity III: Polynomial Automaticity and Context-Free Languages.	Comput. Complex.	1998	DBLP DOI BibTeX RDF	finite automata, nondeterminism, Automaticity
17	Alessandra Di Pierro, Herbert Wiklicky	An Operational Semantics for Probabilistic Concurrent Constraint Programming.	ICCL	1998	DBLP DOI BibTeX RDF	Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism
17	Murali Sitaraman, Bruce W. Weide, William F. Ogden	On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	abstraction function, abstraction mapping, abstraction relation, formal specification, program verification, greedy algorithm, Abstract data type, relation, nondeterminism, optimization problem, data abstraction
17	Björn Lisper	Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.	CAAP	1996	DBLP DOI BibTeX RDF	reduction systems, recursive program schemes, program transformations, formal semantics, nondeterminism
17	Karl R. Abrahamson, Andrew Adler, Lisa Higham, David G. Kirkpatrick	Tight Lower Bounds for Probabilistic Solitude Verification on Anonymous Rings.	J. ACM	1994	DBLP DOI BibTeX RDF	Solitude Verification, anonymous ring, asynchronous unidirectional ring, bit complexity, lower bounds, nondeterminism, Leader Election
17	Ronald Fagin, Joseph Y. Halpern	Reasoning About Knowledge and Probability.	J. ACM	1994	DBLP DOI BibTeX RDF	nondeterminism vs. probability, possible words, probabilistic common knowledge, probabilistic knowledge, reasoning about knowledge and probability, modal logic, knowledge
17	Dominique Laurent 0001, Nicolas Spyratos	A Partition Model Approach to Updating Universal Scheme Interfaces.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	partition model, universal scheme interface updating, relational database updating, counterintuitive results, partition semantics, relational databases, database theory, relational algebra, functional dependency, nondeterminism, relational model, deletions, universal relation
17	Manfred Broy, Greg Nelson	Adding Fair Choice to Dijkstra's Calculus.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dovetail, law of the excluded miracle, partial commands, semantics, fairness, nondeterminism, guarded commands
17	György Turán, Farrokh Vatan	On the Computation of Boolean Functions by Analog Circuits of Bounded Fan-in (Extended Abstract)	FOCS	1994	DBLP DOI BibTeX RDF	explicit nonlinear lower bounds, computation of Boolean functions, bounded fan-in, real-valued functions, sign-representation, n-variable function, piecewise linear circuits, complexity, upper bounds, nondeterminism, analog circuits
17	Etienne Grandjean, Frédéric Olive	Monadic Logical Definability of NP-Complete Problems.	CSL	1994	DBLP DOI BibTeX RDF	Computational complexity, NP-complete problem, nondeterminism, finite model theory, monadic second-order logic, linear time, random access machine
17	Ralph-Johan Back, Joakim von Wright	Predicate Transformers and Higher Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness
17	Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl	Proving Total Correctness of Programs in Weak Second-Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	Imperative programming language, weak second-order logic, normal form theorem, nondeterminism, weakest preconditions, guarded commands
17	László Lovász 0001, Moni Naor, Ilan Newman, Avi Wigderson	Search Problems in the Decision Tree Model (Preliminary Version)	FOCS	1991	DBLP DOI BibTeX RDF	Boolean decision tree model, CNF search, complexities, randomness, search problems, determinism, nondeterminism
17	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
17	Alexander Moshe Rabinovich, Boris A. Trakhtenbrot	Nets of processes and data flow.	REX Workshop	1988	DBLP DOI BibTeX RDF	Synchronization, Processes, Nondeterminism, Compositionality, Denotational Semantics, Data Flow Computation
17	Glynn Winskel	An introduction to event structures.	REX Workshop	1988	DBLP DOI BibTeX RDF	higher types, Petri nets, parallel computation, semantics, concurrency, traces, lambda calculus, nondeterminism, communicating processes, Event structures
10	Jan Christiansen, Daniel Seidel, Janis Voigtländer	Free theorems for functional logic programs.	PLPV	2010	DBLP DOI BibTeX RDF	haskell, relational parametricity, curry
10	Jacob Burnim, Koushik Sen	DETERMIN: inferring likely deterministic specifications of multithreaded programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	parallel programs, determinism, specification inference
10	Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman	CoreDet: a compiler and runtime system for deterministic multithreaded execution.	ASPLOS	2010	DBLP DOI BibTeX RDF	compilers, multithreading, multicore, determinism
10	Tomasz Jurdzinski	Probabilistic Length-Reducing Two-Pushdown Automata.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
10	Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira	High Level Thread-Based Competitive Or-Parallelism in Logtalk.	PADL	2009	DBLP DOI BibTeX RDF	speculative threading, implementation, Or-parallelism
10	Thomas Reinbacher, Martin Horauer, Bastian Schlich	Using 3-valued memory representation for state space reduction in embedded assembly code model checking.	DDECS	2009	DBLP DOI BibTeX RDF
10	Benjamin Aminof, Orna Kupferman, Robby Lampert	Reasoning about online algorithms with weighted automata.	SODA	2009	DBLP DOI BibTeX RDF
10	Michele Basaldella, Kazushige Terui	On the Meaning of Logical Completeness.	TLCA	2009	DBLP DOI BibTeX RDF
10	Alex Simpson	Linear types for computational effects.	POPL	2009	DBLP DOI BibTeX RDF	computational monads, linear logic, computational effects
10	Michele Pagani, Paolo Tranquilli	Parallel Reduction in Resource Lambda-Calculus.	APLAS	2009	DBLP DOI BibTeX RDF
10	Gordon D. Plotkin, Matija Pretnar	Handlers of Algebraic Effects.	ESOP	2009	DBLP DOI BibTeX RDF
10	Jing Cao, Albert Nymeyer	Formally Synthesising a Protocol Converter: A Case Study.	CIAA	2009	DBLP DOI BibTeX RDF
10	Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.	DISC	2009	DBLP DOI BibTeX RDF
10	Byung-Chul Kim, Sang-Woo Jun, Dae-Joon Hwang, Yong-Kee Jun	Visualizing Potential Deadlocks in Multithreaded Programs.	PaCT	2009	DBLP DOI BibTeX RDF	potential deadlocks, lock-causality graph, visualization, debugging, multithreaded programs
10	Gautam Altekar, Ion Stoica	ODR: output-deterministic replay for multicore debugging.	SOSP	2009	DBLP DOI BibTeX RDF	debugging, multicore, inference, deterministic replay
10	David Doty, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers, Damien Woods	Random Number Selection in Self-assembly.	UC	2009	DBLP DOI BibTeX RDF
10	Lanyue Lu, Prasenjit Sarkar, Dinesh Subhraveti, Soumitra Sarkar, Mark Seaman, Reshu Jain, Ahmed Bashir	CARP: Handling Silent Data Errors and Site Failures in an Integrated Program and Storage Replication Mechanism.	ICDCS	2009	DBLP DOI BibTeX RDF
10	Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti	Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.	CONCUR	2009	DBLP DOI BibTeX RDF
10	Gordon D. Plotkin	Adequacy for Infinitary Algebraic Effects (Abstract).	CALCO	2009	DBLP DOI BibTeX RDF
10	Alessandro Aldini, Marco Bernardo 0001	A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
10	Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin	DMP: deterministic shared memory multiprocessing.	ASPLOS	2009	DBLP DOI BibTeX RDF	parallel programming, debugging, multicores, determinism
10	Joseph Y. Halpern, Kevin R. O'Neill	Secrecy in Multiagent Systems.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	information flow, secrecy
10	Chi-Kin Chau	A Game-Theoretical Study of Robust Networked Systems.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
10	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard Reasoning in the Refined Operational Semantics of CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
10	Sebastian Burckhardt, Madanlal Musuvathi	Effective Program Verification for Relaxed Memory Models.	CAV	2008	DBLP DOI BibTeX RDF
10	Raymond T. Boute	Simple Gedanken Experiments in Leveraging Applications of Formal Methods.	ISoLA	2008	DBLP DOI BibTeX RDF
10	Noam Zeilberger	Focusing and higher-order abstract syntax.	POPL	2008	DBLP DOI BibTeX RDF	pattern-matching, higher-order abstract syntax, focusing
10	Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001	Controllable Test Cases for the Distributed Test Architecture.	ATVA	2008	DBLP DOI BibTeX RDF
10	Mikolaj Bojanczyk	Tree-Walking Automata.	LATA	2008	DBLP DOI BibTeX RDF