Search results for "nondeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	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
27	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
27	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
27	Bharat Jayaraman, Gopal Gupta 0001	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
27	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
27	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
27	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
27	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
19	Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse	Nondeterministic Graph Searching: From Pathwidth to Treewidth.	Algorithmica	2009	DBLP DOI BibTeX RDF	Treewidth, Graph searching, Pathwidth
19	Purandar Bhaduri, S. Ramesh	Interface synthesis and protocol conversion.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Component compatibility, Interface synthesis, Interface automata, Protocol conversion
19	Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman	Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.	FMSB	2008	DBLP DOI BibTeX RDF
19	Holger Hermanns, Sven Johr	Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems.	DSN	2007	DBLP DOI BibTeX RDF
19	Gordon Fraser 0001, Franz Wotawa	Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.	ICSEA	2007	DBLP DOI BibTeX RDF
19	Ryan Williams 0001	Inductive Time-Space Lower Bounds for Sat and Related Problems.	Comput. Complex.	2006	DBLP DOI BibTeX RDF	68Q17, Subject classification
19	Alan Mishchenko, Robert K. Brayton	A theory of nondeterministic networks.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
19	Ingrid Rewitzky, Chris Brink	Monotone Predicate Transformers as Up-Closed Multirelations.	RelMiCS	2006	DBLP DOI BibTeX RDF
19	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Game-based Abstraction for Markov Decision Processes.	QEST	2006	DBLP DOI BibTeX RDF
19	Lane A. Hemaspaandra, Christopher M. Homan, Sven Kosub	Cluster Computing and the Power of Edge Recognition.	TAMC	2006	DBLP DOI BibTeX RDF
19	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Automated Incremental Synthesis of Timed Automata.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
19	Harry Buhrman, Troy Lee, Dieter van Melkebeek	Language compression and pseudorandom generators.	Comput. Complex.	2005	DBLP DOI BibTeX RDF	Subject classification, 68P30
19	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella	Composition of Services with Nondeterministic Observable Behavior.	ICSOC	2005	DBLP DOI BibTeX RDF
19	Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse	Nondeterministic Graph Searching: From Pathwidth to Treewidth.	MFCS	2005	DBLP DOI BibTeX RDF	treewidth, graph searching, pathwidth
19	Ryan Williams 0001	Better Time-Space Lower Bounds for SAT and Related Problems.	CCC	2005	DBLP DOI BibTeX RDF
19	Annabelle McIver, Carroll Morgan	Developing and Reasoning About Probabilistic Programs in pGCL.	PSSE	2004	DBLP DOI BibTeX RDF
19	Alan Su 0001, Francine Berman, Henri Casanova	On The Feasibility of Running Entity-Level Simulations on Grid Platforms.	GRID	2004	DBLP DOI BibTeX RDF
19	Harry Buhrman, Troy Lee, Dieter van Melkebeek	Language Compression and Pseudorandom Generators.	CCC	2004	DBLP DOI BibTeX RDF
19	Ingrid Rewitzky	Binary Multirelations.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
19	François Maurel	Nondeterministic Light Logics and NP-Time.	TLCA	2003	DBLP DOI BibTeX RDF	Light logics, implicit characterisations of complexity classes, NP complexity
19	Daniele Varacca	The Powerdomain of Indexed Valuations.	LICS	2002	DBLP DOI BibTeX RDF
19	Nam Thoai, Dieter Kranzlmüller, Jens Volkert	Shortcut Replay: A Replay Technique for Debugging Long-Running Parallel Programs.	ASIAN	2002	DBLP DOI BibTeX RDF
19	Philipp Woelfel	A Lower Bound Technique for Restricted Branching Programs and Applications.	STACS	2002	DBLP DOI BibTeX RDF
19	Josée Desharnais, Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden	Weak Bisimulation is Sound and Complete for PCTL*.	CONCUR	2002	DBLP DOI BibTeX RDF
19	José Fortes Gálvez, Jacques Farré, Miguel Ángel Pérez Aguiar	Practical Nondeterministic DR(k) Parsing on Graph-Structured Stack.	CICLing	2001	DBLP DOI BibTeX RDF
19	Gordon D. Plotkin, John Power	Adequacy for Algebraic Effects.	FoSSaCS	2001	DBLP DOI BibTeX RDF
19	Martin Sauerhoff	An Improved Hierarchy Result for Partitioned BDDs.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
19	Corina Cîrstea	Semantic Constructions for Hidden Algebra.	WADT	1998	DBLP DOI BibTeX RDF
19	Tom Verhoeff	Analyzing Specifications for Delay-Insensitive Circuits.	ASYNC	1998	DBLP DOI BibTeX RDF
19	Lane A. Hemaspaandra, Jörg Rothe	A Second Step Towards Circuit Complexity-Theoretic Analogs of Rice's Theorem.	MFCS	1998	DBLP DOI BibTeX RDF
19	Arie de Bruin, Shan-Hwei Nienhuys-Cheng	Linear Dynamic Kahn Networks Are Deterministic.	MFCS	1996	DBLP DOI BibTeX RDF
19	Manfred Broy	Functional Specification of Time-Sensitive Communicating Systems.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	functional system models, real-time systems, specification
19	Roberto Giacobazzi, Laura Ricci	Detecting Determinate Computations by Bottom-up Abstract Interpretation.	ESOP	1992	DBLP DOI BibTeX RDF
19	Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes	Using Inductive Counting to Simulate Nondeterministic Computation.	MFCS	1990	DBLP DOI BibTeX RDF
19	Matthias Krause 0001	Separating +L From L, NL, co-NL and AL (=P) for Oblivious Turing Machines of Linear Access Time.	MFCS	1990	DBLP DOI BibTeX RDF
19	Manfred Broy	Functional Specification of Time Sensitive Communicating Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF
19	Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka	Table-Driven Bottom Up Parser in Prolog.	LP	1989	DBLP DOI BibTeX RDF
17	Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler	Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
17	Megha Srivastava, Simran Arora, Dan Boneh	Optimistic Verifiable Training by Controlling Hardware Nondeterminism.	CoRR	2024	DBLP DOI BibTeX RDF
17	Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir	A unified rule format for bounded nondeterminism in SOS with terms as labels.	CoRR	2024	DBLP DOI BibTeX RDF
17	Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002	A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
17	Timothy M. Chan, Pingan Cheng, Da Wei Zheng	An Optimal Algorithm for Higher-Order Voronoi Diagrams in the Plane: The Usefulness of Nondeterminism.	SODA	2024	DBLP DOI BibTeX RDF
17	Alejandro Aguirre 0001, Lars Birkedal	Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
17	Udi Boker, Karoliina Lehtinen	When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism.	ACM SIGLOG News	2023	DBLP DOI BibTeX RDF
17	Sanjukta Bhowmick, Patrick Bell, Michela Taufer	A Survey of Graph Comparison Methods with Applications to Nondeterminism in High-Performance Computing.	Int. J. High Perform. Comput. Appl.	2023	DBLP DOI BibTeX RDF
17	Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano	Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion.	J. Autom. Lang. Comb.	2023	DBLP DOI BibTeX RDF
17	Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler	Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.	CoRR	2023	DBLP DOI BibTeX RDF
17	Krzysztof R. Apt, Ernst-Rüdiger Olderog	Nondeterminism and Guarded Commands.	CoRR	2023	DBLP DOI BibTeX RDF
17	Timothy M. Chan, Pingan Cheng, Da Wei Zheng	An Optimal Algorithm for Higher-Order Voronoi Diagrams in the Plane: The Usefulness of Nondeterminism.	CoRR	2023	DBLP DOI BibTeX RDF
17	Wenhao Tang, Tom Schrijvers	From High to Low: Simulating Nondeterminism and State with State.	CoRR	2023	DBLP DOI BibTeX RDF
17	Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter	Omnisemantics: Smooth Handling of Nondeterminism.	ACM Trans. Program. Lang. Syst.	2023	DBLP DOI BibTeX RDF
17	Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee	Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems.	MEMOCODE	2023	DBLP BibTeX RDF
17	Niels F. W. Voorneveld	Slice Nondeterminism.	ITP	2023	DBLP DOI BibTeX RDF
17	Dario Stein, Richard Samuelson	A Category for Unifying Gaussian Probability and Nondeterminism.	CALCO	2023	DBLP DOI BibTeX RDF
17	Vaishak Belle	Analyzing generalized planning under nondeterminism.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
17	Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz	A Hierarchy of Nondeterminism.	CoRR	2022	DBLP DOI BibTeX RDF
17	Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker 0001	ACORN: Network Control Plane Abstraction using Route Nondeterminism.	CoRR	2022	DBLP DOI BibTeX RDF
17	Albert Benveniste, Jean-Baptiste Raclet	Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism.	CoRR	2022	DBLP BibTeX RDF
17	Yulin Zhang 0001, Dylan A. Shell	Nondeterminism subject to output commitment in combinatorial filters.	CoRR	2022	DBLP DOI BibTeX RDF
17	Filippo Bonchi, Ana Sokolova, Valeria Vignudelli	The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Adam Bjorndahl	The Epistemology of Nondeterminism.	J. Log. Lang. Inf.	2022	DBLP DOI BibTeX RDF
17	Chris Keeler, Kai Salomaa	Structural properties of NFAs and growth rates of nondeterminism measures.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
17	Krzysztof R. Apt, Ernst-Rüdiger Olderog	Nondeterminism and Guarded Commands.	Edsger Wybe Dijkstra	2022	DBLP DOI BibTeX RDF
17	Charles E. Leiserson, Tao B. Schardl	A Work-Efficient Parallel Breadth-First Search Algorithm (or How To Cope With the Nondeterminism of Reducers).	Massive Graph Analytics	2022	DBLP DOI BibTeX RDF
17	Yulin Zhang 0001, Dylan A. Shell	On nondeterminism in combinatorial filters.	ICRA	2022	DBLP DOI BibTeX RDF
17	Stephen Price, Rodica Neamtu	Identifying, Evaluating, and Addressing Nondeterminism in Mask R-CNNs.	ICPRAI (1)	2022	DBLP DOI BibTeX RDF
17	Yulin Zhang 0001, Dylan A. Shell	Nondeterminism Subject to Output Commitment in Combinatorial Filters.	WAFR	2022	DBLP DOI BibTeX RDF
17	Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker 0001	ACORN: Network Control Plane Abstraction using Route Nondeterminism.	FMCAD	2022	DBLP DOI BibTeX RDF
17	Robbert Gurdeep Singh	Taming nondeterminism: programming language abstractions and tools for dealing with nondeterministic programs.		2022	RDF
17	Ruggero Lanotte, Simone Tini	A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Dominik Aumayr, Stefan Marr, Sophie Kaleba, Elisa Gonzalez Boix, Hanspeter Mössenböck	Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay.	Art Sci. Eng. Program.	2021	DBLP DOI BibTeX RDF
17	Juraj Hromkovic	Kolmogorov complexity and nondeterminism versus determinism for polynomial time computations.	Electron. Colloquium Comput. Complex.	2021	DBLP BibTeX RDF
17	Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002	A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.	CoRR	2021	DBLP BibTeX RDF
17	Cecilia Summers, Michael J. Dinneen	Nondeterminism and Instability in Neural Network Optimization.	CoRR	2021	DBLP BibTeX RDF
17	Yulin Zhang 0001, Dylan A. Shell	On nondeterminism in combinatorial filters.	CoRR	2021	DBLP BibTeX RDF
17	Dominik Aumayr, Stefan Marr, Sophie Kaleba, Elisa Gonzalez Boix, Hanspeter Mössenböck	Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay.	CoRR	2021	DBLP BibTeX RDF
17	James Laird	Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Sang-Ki Ko, Yo-Sub Han	Left is Better Than Right for Reducing Nondeterminism of NFAs.	Int. J. Found. Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Dana Richards	Teaching Nondeterminism.	SIGACT News	2021	DBLP DOI BibTeX RDF
17	Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa	A trustful monad for axiomatic reasoning with probability and nondeterminism.	J. Funct. Program.	2021	DBLP DOI BibTeX RDF
17	Milan Copic, Rainer Leupers, Gerd Ascheid	Runnable Configuration in Mixed Classic/Adaptive AUTOSAR Systems by Leveraging Nondeterminism.	DSD	2021	DBLP DOI BibTeX RDF
17	Matteo Mio, Ralph Sarkis, Valeria Vignudelli	Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning.	LICS	2021	DBLP DOI BibTeX RDF
17	Zeinab Galal	A Bicategorical Model for Finite Nondeterminism.	FSCD	2021	DBLP DOI BibTeX RDF
17	Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002	A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.	MFCS	2021	DBLP DOI BibTeX RDF
17	Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz	A Hierarchy of Nondeterminism.	MFCS	2021	DBLP DOI BibTeX RDF
17	Sydur Rahaman, Raina Samuel, Iulian Neamtiu	Quantifying Nondeterminism and Inconsistency in Self-organizing Map Implementations.	AITest	2021	DBLP DOI BibTeX RDF
17	Michele Dusi, Gianfranco Lamperti	Fixing Nondeterminism in Large Discrete-Event Knowledge.	KES	2021	DBLP DOI BibTeX RDF
17	Cecilia Summers, Michael J. Dinneen	Nondeterminism and Instability in Neural Network Optimization.	ICML	2021	DBLP BibTeX RDF
17	Chris Keeler	Finite Automata with Restricted Nondeterminism and Universality		2021	RDF
17	Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards	An efficient statistical model checker for nondeterminism and rare events.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
17	Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa	A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism.	CoRR	2020	DBLP BibTeX RDF
17	Matteo Mio, Ralph Sarkis, Valeria Vignudelli	Combining nondeterminism, probability, and termination: equational and metric reasoning.	CoRR	2020	DBLP BibTeX RDF