|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 643 occurrences of 415 keywords
|
|
|
Results
Found 876 publication records. Showing 876 according to the selection in the facets
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 |
|
Displaying result #501 - #600 of 876 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|