Search results for "non-determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	James Laird	Bidomains and Full Abstraction for Countable Nondeterminism.	FoSSaCS	2006	DBLP DOI BibTeX RDF
10	Jihong Zuo, Qianxiang Wang, Hong Mei 0001	Preventing Feature Interactions by Constraints.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
10	Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney	Aligning traces for performance evaluation.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente	Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Alfredo Milani, Fabio Rossi, Simonetta Pallottelli	Planning Based Integration of Web Services.	IAT Workshops	2006	DBLP DOI BibTeX RDF
10	Arie Gurfinkel, Marsha Chechik	Why Waste a Perfectly Good Abstraction?.	TACAS	2006	DBLP DOI BibTeX RDF
10	Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Model-Checking Markov Chains in the Presence of Uncertainties.	TACAS	2006	DBLP DOI BibTeX RDF
10	Jae W. Lee, Krste Asanovic	METERG: Measurement-Based End-to-End Performance Estimation Technique in QoS-Capable Multiprocessors.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
10	Paul A. Strooper, Luke Wildman	Testing concurrent java components.	ICSE	2006	DBLP DOI BibTeX RDF	concurrency, component, testing methodology
10	Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente	The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.	Ada-Europe	2006	DBLP DOI BibTeX RDF
10	Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg	Effective Testing and Debugging Techniques for a Group Communication System.	DSN	2005	DBLP DOI BibTeX RDF
10	François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian	A Multi-Level Meta-Object Protocol for Fault-Tolerance in Complex Architectures.	DSN	2005	DBLP DOI BibTeX RDF
10	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Comparison of Multi-agent Systems.	CEEMAS	2005	DBLP DOI BibTeX RDF
10	Christie Bolton	Adding Conflict and Confusion to CSP.	FM	2005	DBLP DOI BibTeX RDF
10	Shang-Wei Lin 0001, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen	Model Checking Prioritized Timed Automata.	ATVA	2005	DBLP DOI BibTeX RDF	Prioritized timed automata, DBM subtraction, zone merging, zone reduction
10	Tsachy Kapschitz, Ran Ginosar	Formal Verification of Synchronizers.	CHARME	2005	DBLP DOI BibTeX RDF
10	Manuel Núñez 0001, Ismael Rodríguez	Conformance Testing Relations for Timed Systems.	FATES	2005	DBLP DOI BibTeX RDF
10	Yoshinao Isobe, Markus Roggenbach	A Generic Theorem Prover of CSP Refinement.	TACAS	2005	DBLP DOI BibTeX RDF
10	Steve MacDonald, Jun Chen 0018, Diego Novillo	Choosing Among Alternative Futures.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
10	Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan	Test Order for Class-based Integration Testing of Java Applications.	QSIC	2005	DBLP DOI BibTeX RDF
10	Karl-Erik Årzén	Timing Analysis and Simulation Tools for Real-Time Control.	FORMATS	2005	DBLP DOI BibTeX RDF
10	Hans de Nivelle, Ruzica Piskac	Verification of an Off-Line Checker for Priority Queues.	SEFM	2005	DBLP DOI BibTeX RDF
10	Philipp W. Keller, Felix-Olivier Duguay, Doina Precup	Redagent: winner of TAC SCM 2003.	SIGecom Exch.	2004	DBLP DOI BibTeX RDF
10	Grace Nordin, James C. Hoe	Synchronous extensions to operation centric hardware description languages.	MEMOCODE	2004	DBLP DOI BibTeX RDF
10	Alexander Lazovik, Marco Aiello 0001, Mike P. Papazoglou	Associating assertions with business processes and monitoring their execution.	ICSOC	2004	DBLP DOI BibTeX RDF	service and AI computing, theoretical frameworks for service representation and composition, monitoring, management, quality, service delivery
10	Roger S. Barga, Shimin Chen, David B. Lomet	Improving Logging and Recovery Performance in Phoenix/App.	ICDE	2004	DBLP DOI BibTeX RDF
10	Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman	Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.	IPDPS	2004	DBLP DOI BibTeX RDF
10	Andrew P. Tolmach, Sergio Antoy, Marius Nita	Implementing functional logic languages using multiple threads and stores.	ICFP	2004	DBLP DOI BibTeX RDF	functional logic languages, multi-versioned stores, residuation, narrowing
10	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Evaluation of Multiagent Personalized Information System.	ICAISC	2004	DBLP DOI BibTeX RDF
10	Luís Soares Barbosa	A Perspective on Component Refinement.	FMCO	2004	DBLP DOI BibTeX RDF
10	Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal	A semantics for tracing declarative multi-paradigm programs.	PPDP	2004	DBLP DOI BibTeX RDF	semantics, tracing, functional logic programming
10	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Analysis Of Multiagent Industrial System.	CIA	2004	DBLP DOI BibTeX RDF
10	Jonathan Hops, Brian Swing, Brian Phelps, Bruce Sudweeks, John Pane, James Kinslow	Non-Deterministic DUT Behavior During Functional Testing of High Speed Serial Busses: Challenges and Solutions.	ITC	2004	DBLP DOI BibTeX RDF
10	Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal	Run-Time Profiling of Functional Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
10	Einar Broch Johnsen, Olaf Owe	An Asynchronous Communication Model for Distributed Concurrent Objects.	SEFM	2004	DBLP DOI BibTeX RDF
10	Philipp W. Keller, Felix-Olivier Duguay, Doina Precup	RedAgent-2003: An Autonomous Market-Based Supply-Chain Management Agent.	AAMAS	2004	DBLP DOI BibTeX RDF
10	Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez	Solving Combinatorial Problems with a Constraint Functional Logic Language.	PADL	2003	DBLP DOI BibTeX RDF	Constraints, Functional Logic Programming, Finite Domains
10	Hugo Leroux, Annya Réquilé-Romanczuk, Christine Mingins	JACOT: a tool to dynamically visualise the execution of concurrent Java programs.	PPPJ	2003	DBLP DOI BibTeX RDF	Java, UML, concurrency, visualisation
10	Jan Wielemaker, Guus Schreiber, Bob J. Wielinga	Prolog-Based Infrastructure for RDF: Scalability and Performance.	ISWC	2003	DBLP DOI BibTeX RDF
10	Luís Fernando Castro, David Scott Warren	Approximate Pruning in Tabled Logic Programming.	ESOP	2003	DBLP DOI BibTeX RDF
10	Gavin M. Bierman	Formal semantics and analysis of object queries.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
10	Brad Long, Paul A. Strooper	A Classification of Concurrency Failures in Java Components.	IPDPS	2003	DBLP DOI BibTeX RDF
10	Wolf Zimmermann, Axel Dold	A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
10	Luca Benini, Angelo Galati, Alberto Macii, Enrico Macii, Massimo Poncino	Energy-efficient data scrambling on memory-processor interfaces.	ISLPED	2003	DBLP DOI BibTeX RDF	data scrambling, bus encoding, power attacks
10	Jean-Pierre Courtiat	Formal Design of Interactive Multimedia Documents.	FORTE	2003	DBLP DOI BibTeX RDF
10	Gianluigi Greco, Antonella Guzzo, Domenico Saccà	Reasoning on Workflow Executions.	ADBIS	2003	DBLP DOI BibTeX RDF
10	Shaoxiong Hua, Gang Qu 0001, Shuvra S. Bhattacharyya	Energy reduction techniques for multimedia applications with tolerance to deadline misses.	DAC	2003	DBLP DOI BibTeX RDF	soft real-time scheduling, low-power design, on-line algorithm, voltage scaling
10	M. N. V. Satya Kiran, M. N. Jayram, Pradeep Rao, S. K. Nandy 0001	A complexity effective communication model for behavioral modeling of signal processing applications.	DAC	2003	DBLP DOI BibTeX RDF
10	Lutz Schröder, Till Mossakowski	Monad-Independent Hoare Logic in HASCASL.	FASE	2003	DBLP DOI BibTeX RDF
10	Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso	Towards UML-Based Formal Specifications of Component-Based Real-Time Software.	FASE	2003	DBLP DOI BibTeX RDF
10	Brendan P. Mahony, Jin Song Dong	Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	TCSP, Integrated Formal Methods, Object-Z, TCOZ
10	Raymond Klefstad, Douglas C. Schmidt, Carlos O'Ryan	Towards Highly Configurable Real-Time Object Request Brokers.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Real-time Java, Real-time CORBA, Distributed Real-time and Embedded Systems
10	Hisham H. Muhammad, Marinho P. Barcellos	Simulating Group Communication Protocols Through an Object-Oriented Framework.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF	framework, group communication, Network simulation
10	Tetsuo Ida, Mircea Marin, Taro Suzuki	Reducing Search Space in Solving Higher-Order Equations.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
10	Sergio Antoy, Michael Hanus	Functional Logic Design Patterns.	FLOPS	2002	DBLP DOI BibTeX RDF
10	Mohammad Zulkernine, Rudolph E. Seviora	Assume-Guarantee Algorithms for Automatic Detection of Software Failures.	IFM	2002	DBLP DOI BibTeX RDF	applied formal methods, Software reliability, compositionality, failure detection, online monitoring
10	Jayadev Misra	The Case against a Grand Unification Theory.	ICSR	2002	DBLP DOI BibTeX RDF
10	Jong-Deok Choi, Andreas Zeller	Isolating failure-inducing thread schedules.	ISSTA	2002	DBLP DOI BibTeX RDF
10	Alexandre Cervieri, Rômulo Silva de Oliveira, Cláudio F. R. Geyer	An Adaptive Scheduling Service for Real-Time CORBA.	OTM	2002	DBLP DOI BibTeX RDF
10	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A Constraint Solver for B.	TACAS	2002	DBLP DOI BibTeX RDF	Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP
10	Inês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik	An Empirical Evaluation of Bagging in Inductive Logic Programming.	ILP	2002	DBLP DOI BibTeX RDF
10	Douglas C. Schmidt, Mayur Deshpande, Carlos O'Ryan	Operating System Performance in Support of Real-Time Middleware.	WORDS	2002	DBLP DOI BibTeX RDF	Real-time Operating System Middleware Support, Real-time CORBA, Object Request Brokers
10	Sophie Gouardères, Guy Gouardères, Philippe Delpy	From Speech Acts to Multi-agent Systems: The MAYBE Method.	PAKM	2002	DBLP DOI BibTeX RDF
10	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A Probabilistic Extension of UML Statecharts.	FTRTFT	2002	DBLP DOI BibTeX RDF	model checking, semantics, probabilities, Markov decision processes, UML statecharts
10	Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak	Logical Relations for Monadic Types.	CSL	2002	DBLP DOI BibTeX RDF	semantics, monads, logical relations, typed lambda-calculus
10	Steven E. Butner, Scott Vahey	Nanosecond-Scale Event Synchronization over Local-Area Networks.	LCN	2002	DBLP DOI BibTeX RDF
10	Craig Harvey, Paul A. Strooper	Testing Java Monitors through Deterministic Execution.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
10	Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren	MoDeST - A Modelling and Description Language for Stochastic Timed Systems.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
10	Martin Leucker, Thomas Noll 0001	Truth/SLC - A Parallel Verification Platform for Concurrent Systems.	CAV	2001	DBLP DOI BibTeX RDF
10	Helmut Prendinger, Mitsuru Ishizuka	Methodological Considerations on Chance Discovery.	JSAI Workshops	2001	DBLP DOI BibTeX RDF
10	Horatiu Cirstea, Claude Kirchner, Luigi Liquori	The Rho Cube.	FoSSaCS	2001	DBLP DOI BibTeX RDF
10	Martijn C. Schut, Michael J. Wooldridge, Simon Parsons	Reasoning about Intentions in Uncertain Domains.	ECSQARU	2001	DBLP DOI BibTeX RDF
10	André Kempe	Extraction of epsilon-Cyclesfrom Finite-State Transducers.	CIAA	2001	DBLP DOI BibTeX RDF
10	Chris Hunter, Paul A. Strooper	Systematically Deriving Partial Oracles for Testing Concurrent Programs.	ACSC	2001	DBLP DOI BibTeX RDF
10	Stanislav Chachkov, Didier Buchs	From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach.	ACSD	2001	DBLP DOI BibTeX RDF
10	Karen Yorav, Sagi Katz, Ron Kiper	Reproducing Synchronization Bugs with Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
10	Wolfgang Schreiner	Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.	PaCT	2001	DBLP DOI BibTeX RDF
10	Lennart Beringer	Typing Assembly Programs with Explicit Forwarding.	TACS	2001	DBLP DOI BibTeX RDF
10	João Lourenço, José C. Cunha	Fiddle: A Flexible Distributed Debugging Architecture.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
10	Brad Long, Daniel Hoffman, Paul A. Strooper	A Concurrency Test Tool for Java Monitors.	ASE	2001	DBLP DOI BibTeX RDF
10	Ian W. Marshall, Paul McKee	A Policy Based Management Architecture for Large Scale Active Communication Systems.	POLICY	2001	DBLP DOI BibTeX RDF
10	Mieke Massink, Nicoletta De Francesco	Modelling Free Flight with Collision Avoidance.	ICECCS	2001	DBLP DOI BibTeX RDF
10	Douglas C. Schmidt	Policies and Patterns for High-Performance, Real-Time Object Request Brokers.	LCN	2001	DBLP DOI BibTeX RDF
10	Lynette I. Millett, Tim Teitelbaum	Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Model checking, Static analysis, Program slicing, Concurrent languages
10	John Peterson, Valery Trifonov, Andrei Serjantov	Parallel Functional Reactive Programming.	PADL	2000	DBLP DOI BibTeX RDF
10	Willem C. Mallon	On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism.	ASYNC	2000	DBLP DOI BibTeX RDF	{Communicating Processes}, {Computer Aided Design}, Meta-stability, Formal Methods, Handshake Protocol, Delay-Insensitivity
10	Nimal Nissanke, Hamdan Dammag	Risk Bands - A Novel Feature of Safecharts.	ISSRE	2000	DBLP DOI BibTeX RDF
10	Bill Stoddart	An Execution Architecture for GSL.	ZB	2000	DBLP DOI BibTeX RDF	Animation, Virtual Machines, Reversible Computation, B
10	Martin V. Butz, David E. Goldberg, Wolfgang Stolzmann	Probability-Enhanced Predictions in the Anticipatory Classifier System.	IWLCS	2000	DBLP DOI BibTeX RDF
10	Fernando Arroyo, Angel V. Baranda, Juan Castellanos, Carmen Luengo, Luis F. Mingo	Structures and Bio-language to Simulate Transition P Systems on Digital Computers.	WMP	2000	DBLP DOI BibTeX RDF
10	Fernando Pedone, Svend Frølund	Pronto: A Fast Failover Protocol for Off-the-shelf Commercial Databases.	SRDS	2000	DBLP DOI BibTeX RDF
10	Diego Latella, István Majzik, Mieke Massink	Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA
10	Debra A. Hensgen, Taylor Kidd, David St. John, Matthew C. Schnaidt, Howard Jay Siegel, Tracy D. Braun, Muthucumaru Maheswaran, Shoukat Ali, Jong-Kook Kim, Cynthia E. Irvine, Timothy E. Levin, Richard F. Freund, Matt Kussow, Michael W. Godfrey, Alpay Duman, Paul Carff, Shirley Kidd, Viktor K. Prasanna, Prashanth B. Bhat, Ammar H. Alhusaini	An Overview of MSHN: The Management System for Heterogeneous Networks.	Heterogeneous Computing Workshop	1999	DBLP DOI BibTeX RDF
10	Suzana Andova	Process Algebra with Probabilistic Choice.	ARTS	1999	DBLP DOI BibTeX RDF
10	Hamdan Dammag, Nimal Nissanke	Safecharts for Specifying and Designing Safety Critical Systems.	SRDS	1999	DBLP DOI BibTeX RDF
10	Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro	Denotational Semantics of Object Specification.	Acta Informatica	1998	DBLP DOI BibTeX RDF
10	Ian Holyer, Eleni Spiliopoulou	Concurrent Monadic Interfacing.	IFL	1998	DBLP DOI BibTeX RDF
10	Jyrki Leskela	Deterministic multihop radio on the top of 802.11 MAC.	ECRTS	1998	DBLP DOI BibTeX RDF
10	Denis Lugiez, Philippe Schnoebelen	The Regular Viewpoint on PA-Processes.	CONCUR	1998	DBLP DOI BibTeX RDF
10	Elisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo	An Authorization Model and Its Formal Semantics.	ESORICS	1998	DBLP DOI BibTeX RDF