Search results for "non-determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Klaus Keimel, Gordon D. Plotkin	Predicate transformers for extended probability and non-determinism.	Math. Struct. Comput. Sci.	2009	DBLP DOI BibTeX RDF
20	Arnon Avron, Agata Ciabattoni, Anna Zamansky	Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.	CSR	2009	DBLP DOI BibTeX RDF
20	Javed I. Khan, Asrar U. Haque	Computing with data non-determinism: Wait time management for peer-to-peer systems.	Comput. Commun.	2008	DBLP DOI BibTeX RDF
20	Jorge A. Pérez 0001, Camilo Rueda	Non-determinism and Probabilities in Timed Concurrent Constraint Programming.	ICLP	2008	DBLP DOI BibTeX RDF
20	Ulrich Ultes-Nitsche	A power-set construction for reducing Büchi automata to non-determinism degree two.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
20	Michal Armoni, Judith Gal-Ezer	Non-determinism: An abstract concept in computer science studies.	Comput. Sci. Educ.	2007	DBLP DOI BibTeX RDF
20	Marius Kloetzer, Calin Belta	Managing non-determinism in symbolic robot motion planning and control.	ICRA	2007	DBLP DOI BibTeX RDF
20	Alfredo Gabaldon	Resolving Non-Determinism in Programs for Complex Task Planning with Search Control.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2007	DBLP BibTeX RDF
20	Daniele Varacca, Glynn Winskel	Distributing probability over non-determinism.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF
20	Chitta Baral, Jicheng Zhao	Goal Specification, Non-Determinism and Quantifying over Policies.	AAAI	2006	DBLP BibTeX RDF
20		Semantic Domains for Combining Probability and Non-Determinism.		2005	RDF
20	Ricardo Peña-Marí, Clara Segura	Non-determinism analyses in a parallel-functional language.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
20	Arnon Avron, Beata Konikowska	Multi-valued Calculi for Logics Based on Non-determinism.	Log. J. IGPL	2005	DBLP DOI BibTeX RDF
20	Arnon Avron	Logical Non-determinism as a Tool for Logical Modularity: An Introduction.	We Will Show Them! (1)	2005	DBLP BibTeX RDF
20	Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman	Stochastic Transition Systems for Continuous State Spaces and Non-determinism.	FoSSaCS	2005	DBLP DOI BibTeX RDF
20	Viliam Geffert	(Non)determinism and the Size of One-Way Finite Automata.	DCFS	2005	DBLP BibTeX RDF
20	Elizabeth Scott, Adrian Johnstone	Reducing non-determinism in right nulled GLR parsers.	Acta Informatica	2004	DBLP DOI BibTeX RDF
20	Bernd Braßel, Michael Hanus, Frank Huch	Encapsulating Non-Determinism in Functional Logic Computations.	J. Funct. Log. Program.	2004	DBLP BibTeX RDF
20	Ivan Stoyanov, Stoyan Bonev	Resolving non-determinism in NFA.	CompSysTech	2003	DBLP DOI BibTeX RDF
20	David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin	Don't Care Non-determinism in Logic Program Refinement.	CATS	2002	DBLP DOI BibTeX RDF
20	Serge Grigorieff, Jean-Yves Marion	Kolmogorov complexity and non-determinism.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
20	Suzana Andova, Jos C. M. Baeten	Alternative composition does not imply non-determinism.	Bull. EATCS	2002	DBLP BibTeX RDF
20	Mario Bravetti, Alessandro Aldini	Non-determinism in Probabilistic Timed Systems with General Distributions.	MTCS	2001	DBLP DOI BibTeX RDF
20	Douglas C. Schmidt, Sumedh Mungee, Sergio Flores-Gaitan, Aniruddha S. Gokhale	Software Architectures for Reducing Priority Inversion and Non-determinism in Real-time Object Request Brokers.	Real Time Syst.	2001	DBLP DOI BibTeX RDF
20	Corin Pitcher	Functional programming and erratic non-determinism.		2001	RDF
20	Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus	Non-Determinism and Uncertainty in the Situation Calculus.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2000	DBLP DOI BibTeX RDF
20	Manfred Schmidt-Schauß, Michael Huber	A Lambda-Calculus with letrec, case, constructors and non-determinism	CoRR	2000	DBLP BibTeX RDF
20	Ricardo Pena, Clara Segura	Non-determinism Analysis in a Parallel-Functional Language.	IFL	2000	DBLP DOI BibTeX RDF
20	Emmanuel Guere, Rachid Alami	A Possibilistic Planner that Deals with Non-Determinism and Contingency.	IJCAI	1999	DBLP BibTeX RDF
20	Sergio Greco	Non-Determinism and Weak Constraints in Datalog.	New Gener. Comput.	1998	DBLP DOI BibTeX RDF
20	Frank Neven	Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism.	FMLDO	1998	DBLP BibTeX RDF
20	Robert Ennals	Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed.	ICFP	1998	DBLP DOI BibTeX RDF
20	Douglas C. Schmidt, Sumedh Mungee, Sergio Flores-Gaitan, Aniruddha S. Gokhale	Alleviating Priority Inversion and Non-Determinism in Real-Time CORBA ORB Core Architectures.	IEEE Real Time Technology and Applications Symposium	1998	DBLP DOI BibTeX RDF
20	Søren B. Lassen, Corin Pitcher	Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.	HOOTS	1997	DBLP DOI BibTeX RDF
20	Stéphane Grumbach, Zoé Lacroix	On Non-Determinism in Machines and Languages.	Ann. Math. Artif. Intell.	1997	DBLP DOI BibTeX RDF
20	Dino Pedreschi, V. S. Subrahmanian	Non-determinism in Deductive Databases - Preface.	Ann. Math. Artif. Intell.	1997	DBLP BibTeX RDF
20	Fosca Giannotti, Sergio Greco, Domenico Saccà, Carlo Zaniolo	Programming with Non-Determinism in Deductive Databases.	Ann. Math. Artif. Intell.	1997	DBLP DOI BibTeX RDF
20	Murray Shanahan	Noise, Non-Determinism and Spatial Uncertainty.	AAAI/IAAI	1997	DBLP BibTeX RDF
20	David C. Steere	Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency.	SOSP	1997	DBLP DOI BibTeX RDF
20	Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno	Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model.	INFOCOM	1997	DBLP DOI BibTeX RDF
20	Soraya Bestaoui	One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique.	RTS	1995	DBLP DOI BibTeX RDF
20	Adam R. Nolan, Bryan Everding, William G. Wee	Effects of Non determinism on the Predicted Speedup of Scheduling Low Level Computer Vision Algorithms on Networks of Heterogeneous Machines.	PARCO	1995	DBLP BibTeX RDF
20	H. R. Walters, J. F. Th. Kamperman	A Model for I/O in Equational Languages with Don't Care Non-determinism.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
20	Mehmet A. Orgun, William W. Wadge	Extending Temporal Logic Programming with Choice Predicates Non-Determinism.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
20	Ugo Montanari, Francesca Rossi 0001, Vijay A. Saraswat	CC Programs with both In- and Non-determinism: A Concurrent Semantics.	PPCP	1994	DBLP DOI BibTeX RDF
20	Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin	Countable Non-Determinism and Uncountable Limits.	CONCUR	1994	DBLP DOI BibTeX RDF
20	A. W. Roscoe 0001	Unbounded Non-Determinism in CSP.	J. Log. Comput.	1993	DBLP DOI BibTeX RDF
20	Feixiong Liu	Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages.	FPCA	1993	DBLP DOI BibTeX RDF
20	C.-H. Luke Ong	Non-Determinism in a Functional Setting	LICS	1993	DBLP DOI BibTeX RDF
20	Ronald A. Olsson, Carole M. McNamee	Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms.	Comput. Lang.	1992	DBLP DOI BibTeX RDF
20	Harald Søndergaard, Peter Sestoft	Non-Determinism in Functional Languages.	Comput. J.	1992	DBLP DOI BibTeX RDF
20	Louiqa Raschid	Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
20	Serge Abiteboul, Victor Vianu	Non-Determinism in Logic-Based Languages.	Ann. Math. Artif. Intell.	1991	DBLP DOI BibTeX RDF
20	Geoff Barrett	The Fixed Point Theory of Unbounded Non-Determinism.	Formal Aspects Comput.	1991	DBLP DOI BibTeX RDF
20	Filippo Cacace, Stefano Ceri, Letizia Tanca	Consistency and Non-determinism in a Database Programming Language.	MFDBS	1991	DBLP DOI BibTeX RDF
20	Mohamed Bettaz, Mourad Maouche	How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.	COMPASS/ADT	1991	DBLP DOI BibTeX RDF
20	Sergio Antoy	Non-Determinism and Lazy Evaluation in Logic Programming.	LOPSTR	1991	DBLP DOI BibTeX RDF
20	Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo	Non-Determinism in Deductive Databases.	DOOD	1991	DBLP DOI BibTeX RDF
20	Claire Jones	Probabilistic non-determinism.		1990	RDF
20	Dieter Hogrefe, Amardeo Sarma	Non-Determinism and SDL.	FORTE	1988	DBLP BibTeX RDF
20	Paul Hudak	Arrays, non-determinism, side-effects, and parallelism: A functional perspective.	Graph Reduction	1986	DBLP DOI BibTeX RDF
20	Mogens Nielsen, P. S. Thiagarajan	Degrees of Non-Determinism and Concurrency: A Petri Net View.	FSTTCS	1984	DBLP DOI BibTeX RDF
20	Gordon D. Plotkin	A Powerdomain for Countable Non-Determinism (Extended Abstract).	ICALP	1982	DBLP DOI BibTeX RDF
20	Ralph-Johan Back, Heikki Mannila	A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract).	PODC	1982	DBLP DOI BibTeX RDF
20	Dirk Vermeir, Walter J. Savitch	On the amount of non-determinism in pushdown in pushdown automata.	Fundam. Informaticae	1981	DBLP BibTeX RDF
20	Lloyd Allison	Phrase Structures, Non-Determinism and Backtracking.	Inf. Process. Lett.	1978	DBLP DOI BibTeX RDF
20	Willem P. de Roever	Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.	MFCS	1976	DBLP DOI BibTeX RDF
20	John A. Self	Embedding Non-determinism.	Softw. Pract. Exp.	1975	DBLP DOI BibTeX RDF
19	Sibin Mohan, Frank Mueller 0001	Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	hybrid timing anlalysis, hardware/software interactions, real-time systems, embedded systems, computer architecture, timing analysis, worst-case execution time, out-of-order execution
19	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages.	CIAA	2007	DBLP DOI BibTeX RDF	automata, determinism, two-dimensional languages
19	Rishiyur S. Nikhil	Composable Guarded Atomic Actions: a Bridging Model for SoC Design.	ACSD	2007	DBLP DOI BibTeX RDF
19	Robert St-Aubin, Joel Friedman, Alan K. Mackworth	A formal mathematical framework for modeling probabilistic hybrid systems.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T37
19	Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith	Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems.	DSN	2003	DBLP DOI BibTeX RDF
19	Jean-Marc Andreoli, Laurent Mazaré	Concurrent Construction of Proof-Nets.	CSL	2003	DBLP DOI BibTeX RDF
19	Alan D. Blair, Elizabeth Sklar, Pablo Funes	Co-evolution, Determinism and Robustness.	SEAL	1998	DBLP DOI BibTeX RDF	Neural networks, Co-evolution
17	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
16	Peter Y. A. Ryan, Steve A. Schneider	Process Algebra and Non-Interference.	CSFW	1999	DBLP DOI BibTeX RDF
14	Josée Desharnais, François Laviolette, Mathieu Tracol	Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games.	QEST	2008	DBLP DOI BibTeX RDF
14	Sergio Antoy	Optimal Non-deterministic Functional Logic Computations.	ALP/HOA	1997	DBLP DOI BibTeX RDF
14	Christophe Ringeissen	Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language.	RTA	1997	DBLP DOI BibTeX RDF
13	Adrián Riesco 0001, Juan Rodríguez-Hortalá	Programming with singular and plural non-deterministic functions.	PEPM	2010	DBLP DOI BibTeX RDF	non-deterministic functions, semantics, program transformation, term rewriting, maude
13	Joachim Fabini, Wolfgang Karner, Lukas Wallentin, Thomas Baumgartner	The Illusion of Being Deterministic - Application-Level Considerations on Delay in 3G HSPA Networks.	Networking	2009	DBLP DOI BibTeX RDF	HSPA, Measurements, User Experience, 3G, One-way Delay
13	Cristian Dittamo	On Expressing Different Concurrency Paradigms on Virtual Execution Systems.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
13	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.	INAP/WLP	2007	DBLP DOI BibTeX RDF
13	Philip D. Welch	Non-deterministic Halting Times for Hamkins-Kidder Turing Machines.	CiE	2006	DBLP DOI BibTeX RDF
13	Thomas Baar	Non-deterministic Constructs in OCL - What Does any() Mean.	SDL Forum	2005	DBLP DOI BibTeX RDF
13	Min Xu, Rastislav Bodík, Mark D. Hill	A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay.	ISCA	2003	DBLP DOI BibTeX RDF
13	Christel Baier, Marta Z. Kwiatkowska	Model Checking for a Probabilistic Branching Time Logic with Fairness.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Probabilistic processes, Verification, Temporal logic, Fairness
13	James Harland, David J. Pym	Resource-Distribution via Boolean Constraint (Extended Abstract).	CADE	1997	DBLP DOI BibTeX RDF
13	Jürgen Bohne, Reny Grönberg	Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard Components.	EDCC	1996	DBLP DOI BibTeX RDF
13	Zvi M. Kedem, Alexander Tuzhilin	Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models.	PODS	1989	DBLP DOI BibTeX RDF
13	Oscar Nierstrasz	Two models of concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
12	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
12	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A flexible framework for programming with non-deterministicfunctions.	PEPM	2009	DBLP DOI BibTeX RDF	call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems
12	Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001	Probabilistic Reachability for Parametric Markov Models.	SPIN	2009	DBLP DOI BibTeX RDF
12	Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz 0001, Matthias S. Müller	A graph based approach for MPI deadlock detection.	ICS	2009	DBLP DOI BibTeX RDF	umpire, parallel programming, deadlock detection, mpi
12	Frédéric Prost, Chaouki Zerrari	Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.	UC	2009	DBLP DOI BibTeX RDF
12	Marek Olszewski, Jason Ansel, Saman P. Amarasinghe	Kendo: efficient deterministic multithreading in software.	ASPLOS	2009	DBLP DOI BibTeX RDF	deterministic multithreading, parallel programming, debugging, multicore, determinism
12	Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti	A Multi-Periodic Synchronous Data-Flow Language.	HASE	2008	DBLP DOI BibTeX RDF
12	Jean Goubault-Larrecq	Prevision Domains and Convex Powercones.	FoSSaCS	2008	DBLP DOI BibTeX RDF