Search results for "nondeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Suna Bensch, Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Deterministic Input-Reversal and Input-Revolving Finite Automata.	LATA	2008	DBLP DOI BibTeX RDF
10	Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira	Thread-Based Competitive Or-Parallelism.	ICLP	2008	DBLP DOI BibTeX RDF
10	Cristiano Pereira, Harish Patil, Brad Calder	Reproducible simulation of multi-threaded workloads for architecture design exploration.	IISWC	2008	DBLP DOI BibTeX RDF
10	Yarom Gabay, Assaf J. Kfoury	A calculus for java's reference objects.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	java reference objects, weak references, garbage collection, formal languages
10	Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen	Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	lossy channels, probabilistic models, Communication protocols, Markov decision processes
10	Einar Broch Johnsen, Olaf Owe	An Asynchronous Communication Model for Distributed Concurrent Objects.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Asynchronous method calls, Distributed systems, Rewriting logic, Concurrent objects
10	James B. Hart, Constantine Tsinakis	A concrete realization of the Hoare powerdomain.	Soft Comput.	2007	DBLP DOI BibTeX RDF
10	Carlos Gonzalía, Annabelle McIver	Automating Refinement Checking in Probabilistic System Design.	ICFEM	2007	DBLP DOI BibTeX RDF	algebraic rewriting system for probability, linear satisfiability, refinement, Probabilistic systems, probabilistic verification
10	Stephen F. Siegel	Verifying Parallel Programs with MPI-Spin.	PVM/MPI	2007	DBLP DOI BibTeX RDF
10	Emanuele Viola, Avi Wigderson	One-Way Multi-Party Communication Lower Bound for Pointer Jumping with Applications.	FOCS	2007	DBLP DOI BibTeX RDF
10	Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina	A Probabilistic Applied Pi-Calculus.	APLAS	2007	DBLP DOI BibTeX RDF
10	Rasmus Ejlers Møgelberg, Alex Simpson	A Logic for Parametric Polymorphism with Effects.	TYPES	2007	DBLP DOI BibTeX RDF
10	Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park	MPIRace-Check: Detection of Message Races in MPI Programs.	GPC	2007	DBLP DOI BibTeX RDF	message races, MPIRace-Check, debugging, message-passing programs
10	Chad Scherrer, Nathaniel Beagley, Jarek Nieplocha, Andrès Márquez, John Feo, Daniel G. Chavarría-Miranda	Probability Convergence in a Multithreaded Counting Application.	IPDPS	2007	DBLP DOI BibTeX RDF
10	Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun	Efficient Race Verification for Debugging Programs with OpenMP Directives.	PaCT	2007	DBLP DOI BibTeX RDF	OpenMP directive, protocol scheme, verification, labeling scheme, races
10	Boris Motik, Robert D. C. Shearer, Ian Horrocks 0001	Optimized Reasoning in Description Logics Using Hypertableaux.	CADE	2007	DBLP DOI BibTeX RDF
10	Frédéric Gava	Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	BSP Functional Programming, divide-and-conquer
10	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston	Model Checking Probabilistic Timed Automata with One or Two Clocks.	TACAS	2007	DBLP DOI BibTeX RDF
10	Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi	Making Random Choices Invisible to the Scheduler.	CONCUR	2007	DBLP DOI BibTeX RDF
10	Gansen Zhao, David W. Chadwick, Sassa Otenko	Obligations for Role Based Access Control.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
10	Gordon Fraser 0001, Franz Wotawa	Nondeterministic Testing with Linear Model-Checker Counterexamples.	QSIC	2007	DBLP DOI BibTeX RDF
10	Yijia Chen, Jörg Flum	Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping.	CSL	2007	DBLP DOI BibTeX RDF
10	Joost-Pieter Katoen	Abstraction of Probabilistic Systems.	FORMATS	2007	DBLP DOI BibTeX RDF
10	Petra Malik, Robi Malik, David Streader, Steve Reeves	Modular Synthesis of Discrete Controllers.	ICECCS	2007	DBLP DOI BibTeX RDF
10	Ronen Shaltiel, Christopher Umans	Pseudorandomness for Approximate Counting and Sampling.	Comput. Complex.	2006	DBLP DOI BibTeX RDF	Subject classification, 68Q15
10	Pascal Van Hentenryck, Laurent Michel	Nondeterministic Control for Hybrid Search.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	hybrid search, search procedure, local search, checkpoint, continuation, closure, non determinism, solution, constraint language
10	Roman S. Dubtsov	Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
10	Stephen A. Edwards, Olivier Tardieu	Efficient code generation from SHIM models.	LCTES	2006	DBLP DOI BibTeX RDF	computed gotos, the shim model, embedded systems, concurrency, code synthesis
10	Vikraman Arvind, Jacobo Torán	The Complexity of Quasigroup Isomorphism and the Minimum Generating Set Problem.	ISAAC	2006	DBLP DOI BibTeX RDF
10	Clare E. Martin, Sharon A. Curtis	Nondeterministic Folds.	MPC	2006	DBLP DOI BibTeX RDF
10	Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong	Information-Flow Security for Interactive Programs.	CSFW	2006	DBLP DOI BibTeX RDF
10	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough	Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.	POPL	2006	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
10	Tomasz Jurdzinski	Probabilistic Length-Reducing Automata.	MFCS	2006	DBLP DOI BibTeX RDF
10	Viliam Geffert	Magic Numbers in the State Hierarchy of Finite Automata.	MFCS	2006	DBLP DOI BibTeX RDF
10	Nicolas Halbwachs, Louis Mandel	Simulation and Verification of Asynchronous Systems by means of a Synchronous Model.	ACSD	2006	DBLP DOI BibTeX RDF
10	Daniel Stodden, Hubert Eichner, Max Walter, Carsten Trinitis	Hardware Instruction Counting for Log-Based Rollback Recovery on x86-Family Processors.	ISAS	2006	DBLP DOI BibTeX RDF
10	Fredrik Seehusen, Ketil Stølen	Information flow property preserving transformation of UML interaction diagrams.	SACMAT	2006	DBLP DOI BibTeX RDF	UML, refinement, model driven architecture, transformation, information flow security
10	Olivier Tardieu, Stephen A. Edwards	Scheduling-independent threads and exceptions in SHIM.	EMSOFT	2006	DBLP DOI BibTeX RDF	deterministic model of computation, hardware/software codesign
10	Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo	A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.	FLOPS	2006	DBLP DOI BibTeX RDF	Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order
10	Koushik Sen, Gul Agha	A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
10	Taolue Chen, Tingting Han 0001, Jian Lu 0001	On the Markovian Randomized Strategy of Controller for Markov Decision Processes.	FSKD	2006	DBLP DOI BibTeX RDF
10	Yoshinao Isobe, Markus Roggenbach	A Complete Axiomatic Semantics for the CSP Stable-Failures Model.	CONCUR	2006	DBLP DOI BibTeX RDF
10	Joachim Kupke 0002	On Separating Constant from Polynomial Ambiguity of Finite Automata.	SOFSEM	2006	DBLP DOI BibTeX RDF
10	Nicolás Wolovick, Sven Johr	A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.	FORMATS	2006	DBLP DOI BibTeX RDF
10	Hans P. Reiser, Jörg Domaschka, Franz J. Hauck, Rüdiger Kapitza, Wolfgang Schröder-Preikschat	Consistent Replication of Multithreaded Distributed Objects.	SRDS	2006	DBLP DOI BibTeX RDF
10	Alessandro Giua, Daniele Corona, Carla Seatzu	State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	labeled nets, marking estimation, Petri nets, observer
10	Wim H. Hesselink	Eternity variables to prove simulation of specifications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	History variables, preservation of quiescence, prophecy variables, simulation, implementation, invariant, refinement mapping
10	Lucia Lo Bello, Giordano A. Kaczynski, Orazio Mirabella	Improving the real-time behavior of ethernet networks using traffic smoothing.	IEEE Trans. Ind. Informatics	2005	DBLP DOI BibTeX RDF
10	Richard Edwin Stearns, Harry B. Hunt III	Resource Bounds and Subproblem Independence.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
10	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
10	Peter A. Dinda, Dong Lu	Fast Compositional Queries in a Relational Grid Information Service.	J. Grid Comput.	2005	DBLP DOI BibTeX RDF	relational databases, performance monitoring, grid information services
10	Masahiko Kawabe, Robert Glück	The Program Inverter LRinv and Its Structure.	PADL	2005	DBLP DOI BibTeX RDF
10	Pascal Van Hentenryck, Laurent Michel	Nondeterministic Control for Hybrid Search.	CPAIOR	2005	DBLP DOI BibTeX RDF
10	Mark Schäfer, Walter Vogler, Petr Jancar	Determinate STG Decomposition of Marked Graphs.	ICATPN	2005	DBLP DOI BibTeX RDF
10	Burak Emir	Compiling regular patterns to sequential machines.	SAC	2005	DBLP DOI BibTeX RDF	regular patterns, matching, sequential machines
10	Jianguo Zhou, Yifeng Chen	Generating C Code from LOGS Specifications.	ICTAC	2005	DBLP DOI BibTeX RDF
10	Orieta Celiku	Quantitative Temporal Logic Mechanized in HOL.	ICTAC	2005	DBLP DOI BibTeX RDF
10	Ian Stark	Free-Algebra Models for the pi-Calculus.	FoSSaCS	2005	DBLP DOI BibTeX RDF
10	Lukasz Kaiser	Confluence of Right Ground Term Rewriting Systems Is Decidable.	FoSSaCS	2005	DBLP DOI BibTeX RDF
10	Oscar H. Ibarra	Some Computational Issues in Membrane Computing.	MFCS	2005	DBLP DOI BibTeX RDF
10	Roman S. Dubtsov	Real-Time Event Structures and Scott Domains.	PaCT	2005	DBLP DOI BibTeX RDF
10	Dana Angluin, James Aspnes, Melody Chan, Michael J. Fischer, Hong Jiang, René Peralta 0001	Stably Computable Properties of Network Graphs.	DCOSS	2005	DBLP DOI BibTeX RDF
10	Laurent Michel, Pascal Van Hentenryck	The Comet Programming Language and System.	CP	2005	DBLP DOI BibTeX RDF
10	Mohit Bhargava, Catuscia Palamidessi	Probabilistic Anonymity.	CONCUR	2005	DBLP DOI BibTeX RDF
10	Franck van Breugel	A Behavioural Pseudometric for Metric Labelled Transition Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
10	Sara Sprenkle, Emily Gibson, Sreedevi Sampath, Lori L. Pollock	Automated replay and failure detection for web applications.	ASE	2005	DBLP DOI BibTeX RDF	software testing, web applications, test oracles, replay
10	Gordon D. Plotkin	Adequacy for Algebraic Effects with State.	CALCO	2005	DBLP DOI BibTeX RDF
10	Michal Walicki	Bireachability and Final Multialgebras.	CALCO	2005	DBLP DOI BibTeX RDF
10	Ronen Shaltiel, Christopher Umans	Pseudorandomness for Approximate Counting and Sampling.	CCC	2005	DBLP DOI BibTeX RDF
10	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A constraint solver to animate a B specification.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints
10	Camilo Rueda, Frank D. Valencia	On validity in modelization of musical problems by CCP.	Soft Comput.	2004	DBLP DOI BibTeX RDF
10	Ralph-Johan Back, Cristina Cerschi Seceleanu	Contracts and Games in Controller Synthesis for Discrete Systems.	ECBS	2004	DBLP DOI BibTeX RDF
10	Paolo Traverso, Marco Pistore	Automated Composition of Semantic Web Services into Executable Processes.	ISWC	2004	DBLP DOI BibTeX RDF
10	Zhongjie Li, Jianping Wu, Xia Yin	Testing Multi Input/Output Transition System with All-Observer.	TestCom	2004	DBLP DOI BibTeX RDF
10	Gethin Norman	Analysing Randomized Distributed Algorithms.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
10	Lutz Schröder, Till Mossakowski	Generic Exception Handling and the Java Monad.	AMAST	2004	DBLP DOI BibTeX RDF
10	Luke Wildman, Brad Long, Paul A. Strooper	Testing Java Interrupts and Timed Waits.	APSEC	2004	DBLP DOI BibTeX RDF
10	John Power	Canonical Models for Computational Effects.	FoSSaCS	2004	DBLP DOI BibTeX RDF
10	Amit M. Paradkar, Tim Klinger	Automated Consistency and Completeness Checking of Testing Models for Interactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Completeness Checking, Reachability, Consistency Checking
10	V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski	Logic Programs With Monotone Cardinality Atoms.	LPNMR	2004	DBLP DOI BibTeX RDF
10	Daniel Reidenbach	On the Equivalence Problem for E-pattern Languages over Small Alphabets.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
10	Robert Glück, Masahiko Kawabe	Derivation of Deterministic Inverse Programs Based on LR Parsing.	FLOPS	2004	DBLP DOI BibTeX RDF
10	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes.	TACAS	2004	DBLP DOI BibTeX RDF
10	Mircea Marin, Aart Middeldorp	New completeness results for lazy conditional narrowing.	PPDP	2004	DBLP DOI BibTeX RDF	conditional rewriting, narrowing, evaluation strategies
10	Cesare Tinelli, Calogero G. Zarba	Combining Decision Procedures for Sorted Theories.	JELIA	2004	DBLP DOI BibTeX RDF
10	David von Oheimb	Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage.	ESORICS	2004	DBLP DOI BibTeX RDF
10	Duminda Wijesekera, Sushil Jajodia	A propositional policy algebra for access control.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	policy algebra, Access control, security policy, policy composition
10	Chunqiang Tang, Zhichen Xu, Mallik Mahalingam	pSearch: information retrieval in structured overlays.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
10	Brad Long, Daniel Hoffman, Paul A. Strooper	Tool Support for Testing Concurrent Java Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrency, unit testing, tool support, Component testing
10	Atsuyuki Inoue, Akira Ito, Katsushi Inoue, Tokio Okazaki	Some Properties of One-Pebble Turing Machines with Sublogarithmic Space.	ISAAC	2003	DBLP DOI BibTeX RDF
10	Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer	A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas.	DSN	2003	DBLP DOI BibTeX RDF
10	Kedar S. Namjoshi	Abstraction for Branching Time Properties.	CAV	2003	DBLP DOI BibTeX RDF
10	Nam Thoai, Dieter Kranzlmüller, Jens Volkert	EROS: An Efficien Method for Minimizing the Replay Time based on the Replay Dependence Relation.	PDP	2003	DBLP DOI BibTeX RDF
10	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli	Smart play-out.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs
10	Manfred Broy	A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
10	Andreas Malcher	Minimizing Finite Automata Is Computationally Hard.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
10	Panagiotis Manolios	A Compositional Theory of Refinement for Branching Time.	CHARME	2003	DBLP DOI BibTeX RDF
10	Harry G. Mairson, Kazushige Terui	On the Computational Complexity of Cut-Elimination in Linear Logic.	ICTCS	2003	DBLP DOI BibTeX RDF
10	Stefan Schamberger	Improvements to the Helpful-Set Algorithm and a New Evaluation Scheme for Graph-Partitioners.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
10	Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa	Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.	EUROCAST	2003	DBLP DOI BibTeX RDF