Search results for "determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	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
9	Roger S. Barga, Shimin Chen, David B. Lomet	Improving Logging and Recovery Performance in Phoenix/App.	ICDE	2004	DBLP DOI BibTeX RDF
9	Matthew W. Heath, Wayne P. Burleson, Ian G. Harris	Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s.	DATE	2004	DBLP DOI BibTeX RDF
9	Radu Negulescu	General Testers for Asynchronous Circuits.	ASYNC	2004	DBLP DOI BibTeX RDF
9	Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido	Event-Driven Programming with Logical Execution Times.	HSCC	2004	DBLP DOI BibTeX RDF
9	Salvador España Boquera, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
9	Aneta Binder, Rudolf Freund, Georg Lojka, Marion Oswald	Implementation of Catalytic P Systems.	CIAA	2004	DBLP DOI BibTeX RDF
9	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
9	Stephen McCamant, Michael D. Ernst	Early Identification of Incompatibilities in Multi-component Upgrades.	ECOOP	2004	DBLP DOI BibTeX RDF
9	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
9	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Evaluation of Multiagent Personalized Information System.	ICAISC	2004	DBLP DOI BibTeX RDF
9	Richard John Anthony	Natural Inspiration for Self-Adaptive Systems.	DEXA Workshops	2004	DBLP DOI BibTeX RDF	Election Algorithms, Distributed Systems, Self-Adaptation, Emergence, Self-Healing
9	Luís Soares Barbosa	A Perspective on Component Refinement.	FMCO	2004	DBLP DOI BibTeX RDF
9	John Cornish	Balanced energy optimization.	ISLPED	2004	DBLP DOI BibTeX RDF
9	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
9	Luigi Liquori, Bernard P. Serpette	iRho: an imperative rewriting calculus.	PPDP	2004	DBLP DOI BibTeX RDF	certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics
9	Matthew W. Guah, Wendy L. Currie	Logicality of ASP in Healthcare: The NHS Case Study.	HICSS	2004	DBLP DOI BibTeX RDF
9	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Analysis Of Multiagent Industrial System.	CIA	2004	DBLP DOI BibTeX RDF
9	Federico Peinado, Pablo Gervás	Transferring Game Mastering Laws to Interactive Digital Storytelling.	TIDSE	2004	DBLP DOI BibTeX RDF
9	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
9	Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey	Herbrand Constraints in HAL.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
9	Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal	Run-Time Profiling of Functional Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
9	Paul K. Rodman	Forest vs. trees: where's the slack?	DAC	2004	DBLP DOI BibTeX RDF
9	Einar Broch Johnsen, Olaf Owe	An Asynchronous Communication Model for Distributed Concurrent Objects.	SEFM	2004	DBLP DOI BibTeX RDF
9	Philipp W. Keller, Felix-Olivier Duguay, Doina Precup	RedAgent-2003: An Autonomous Market-Based Supply-Chain Management Agent.	AAMAS	2004	DBLP DOI BibTeX RDF
9	Richard Edwin Stearns	Deterministic versus nondeterministic time and lower bound problems.	J. ACM	2003	DBLP DOI BibTeX RDF	generic problems, power index, Computational complexity, NP-completeness, time complexity, SAT, nondeterminism, generic algorithms
9	Boris Dahav, Opher Etzion	Distributed Enforcement of Integrity Constraints.	Distributed Parallel Databases	2003	DBLP DOI BibTeX RDF	database exception handling, self-stabilization in databases, distributed rules systems, distributed databases
9	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
9	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
9	Peng Li 0020, Binoy Ravindran, Jinggang Wang, Glenn Konowicz	Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation.	ISORC	2003	DBLP DOI BibTeX RDF
9	Jan Wielemaker, Guus Schreiber, Bob J. Wielinga	Prolog-Based Infrastructure for RDF: Scalability and Performance.	ISWC	2003	DBLP DOI BibTeX RDF
9	Zahid Parvez	Local Democracy Shaping e-Democracy.	EGOV	2003	DBLP DOI BibTeX RDF
9	Miguel A. Sánchez-Puebla, Jesús Carretero 0001	A new approach for distributed computing in avionics systems.	ISICT	2003	DBLP DOI BibTeX RDF
9	Juraj Hromkovic, Georg Schnitger	Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes.	ICALP	2003	DBLP DOI BibTeX RDF	multicounter machines, randomization, nondeterminism, complexity theory, pushdown automata
9	Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach	Flexible Models for Dynamic Linking.	ESOP	2003	DBLP DOI BibTeX RDF
9	Luís Fernando Castro, David Scott Warren	Approximate Pruning in Tabled Logic Programming.	ESOP	2003	DBLP DOI BibTeX RDF
9	Gavin M. Bierman	Formal semantics and analysis of object queries.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
9	Brad Long, Paul A. Strooper	A Classification of Concurrency Failures in Java Components.	IPDPS	2003	DBLP DOI BibTeX RDF
9	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
9	G. Stewart Von Itzstein, Mark Jasiunas	On Implementing High Level Concurrency in Java.	Asia-Pacific Computer Systems Architecture Conference	2003	DBLP DOI BibTeX RDF
9	Soontae Kim, Narayanan Vijaykrishnan, Mary Jane Irwin, Lizy Kurian John	On load latency in low-power caches.	ISLPED	2003	DBLP DOI BibTeX RDF	load latency, low-power, caches
9	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
9	Jean-Pierre Courtiat	Formal Design of Interactive Multimedia Documents.	FORTE	2003	DBLP DOI BibTeX RDF
9	Gianluigi Greco, Antonella Guzzo, Domenico Saccà	Reasoning on Workflow Executions.	ADBIS	2003	DBLP DOI BibTeX RDF
9	Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi	Deterministic Higher-Order Patterns for Program Transformation.	LOPSTR	2003	DBLP DOI BibTeX RDF	Higher-order pattern matching, Fusion transformation, Program transformation, Functional programming, Program derivation
9	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
9	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
9	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
9	Lutz Schröder, Till Mossakowski	Monad-Independent Hoare Logic in HASCASL.	FASE	2003	DBLP DOI BibTeX RDF
9	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
9	Roy Friedman, Alon Kama	Transparent Fault-Tolerant Java Virtual Machine.	SRDS	2003	DBLP DOI BibTeX RDF
9	Paolo Bottoni, Maria Francesca Costabile, Stefano Levialdi	Analyzing, modelling, and specifying visual interaction.	Soft Comput.	2002	DBLP DOI BibTeX RDF
9	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
9	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
9	Priya Narasimhan	Practical Considerations in Making CORBA Services Fault-Tolerant.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
9	António Casimiro, Paulo Veríssimo	Generic Timing Fault Tolerance using a Timely Computing Base.	DSN	2002	DBLP DOI BibTeX RDF
9	Boris Chidlovskii	Schema extraction from XML collections.	JCDL	2002	DBLP DOI BibTeX RDF	schema extarction, XML schemas, context-free grammars
9	Dusko Pavlovic, Douglas R. Smith	Guarded Transitions in Evolving Specifications.	AMAST	2002	DBLP DOI BibTeX RDF
9	Dariusz R. Kowalski, Andrzej Pelc	Deterministic Broadcasting Time in Radio Networks of Unknown Topology.	FOCS	2002	DBLP DOI BibTeX RDF
9	Colin de la Higuera, José Oncina	On Sufficient Conditions to Identify in the Limit Classes of Grammars from Polynomial Time and Data.	ICGI	2002	DBLP DOI BibTeX RDF
9	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
9	Tom Schrijvers, Maria J. García de la Banda, Bart Demoen	Trailing Analysis for HAL.	ICLP	2002	DBLP DOI BibTeX RDF
9	Tetsuo Ida, Mircea Marin, Taro Suzuki	Reducing Search Space in Solving Higher-Order Equations.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
9	Sergio Antoy, Michael Hanus	Functional Logic Design Patterns.	FLOPS	2002	DBLP DOI BibTeX RDF
9	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey	To the Gates of HAL: A HAL Tutorial.	FLOPS	2002	DBLP DOI BibTeX RDF
9	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
9	Jayadev Misra	The Case against a Grand Unification Theory.	ICSR	2002	DBLP DOI BibTeX RDF
9	Jong-Deok Choi, Andreas Zeller	Isolating failure-inducing thread schedules.	ISSTA	2002	DBLP DOI BibTeX RDF
9	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
9	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
9	David Overton, Zoltan Somogyi, Peter J. Stuckey	Constraint-based mode analysis of mercury.	PPDP	2002	DBLP DOI BibTeX RDF	Boolean constraints, mode analysis, modes
9	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
9	Hudson Turner	Polynomial-Length Planning Spans the Polynomial Hierarchy.	JELIA	2002	DBLP DOI BibTeX RDF
9	James Irwin, David May 0001, Henk L. Muller, Dan Page	Predictable Instruction Caching for Media Processors.	ASAP	2002	DBLP DOI BibTeX RDF
9	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
9	Colin de la Higuera, José Oncina	Inferring Deterministic Linear Languages.	COLT	2002	DBLP DOI BibTeX RDF
9	André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder	Implementing Declarative Parallel Bottom-Avoiding Choice.	SBAC-PAD	2002	DBLP DOI BibTeX RDF
9	Sophie Gouardères, Guy Gouardères, Philippe Delpy	From Speech Acts to Multi-agent Systems: The MAYBE Method.	PAKM	2002	DBLP DOI BibTeX RDF
9	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
9	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
9	Marco Cadoli, Toni Mancini	Combining Relational Algebra, SQL, and Constraint Programming.	FroCoS	2002	DBLP DOI BibTeX RDF
9	Giorgio Delzanno	Constraint-Based Model Checking for Parameterized Synchronous Systems.	FroCoS	2002	DBLP DOI BibTeX RDF
9	Steven E. Butner, Scott Vahey	Nanosecond-Scale Event Synchronization over Local-Area Networks.	LCN	2002	DBLP DOI BibTeX RDF
9	Wenjiang Pei, Zhenya He, Luxi Yang, A. Song, Stephen S. Hull Jr., John Y. Cheung	A generalized Volterra series method for reconstructing deterministic dynamics from noisy chaotic time series.	APCCAS (2)	2002	DBLP DOI BibTeX RDF
9	Chi-Jen Lu	Derandomizing Arthur-Merlin games under uniform assumptions.	Comput. Complex.	2001	DBLP DOI BibTeX RDF	graph nonisomorphism problem, nondeterminism, Derandomization, uniformity, Arthur-Merlin games
9	G. M. Germano, Stefano Mazzanti	Non-Deterministic Closure Theory and Universal Arrows.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	closure theory, reflection theory, universal arrows, non-deterministic programs, while-do commands
9	Svend Frølund, Rachid Guerraoui	X-Ability: a theory of replication.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Exactly-once, Correctness condition, Replication, High-availability, Multi-tier systems
9	Jürgen Dassow, Gheorghe Paun, Gabriel Thierrin, Sheng Yu 0001	Tree-systems of morphisms.	Acta Informatica	2001	DBLP DOI BibTeX RDF	membrane computing, closure property, morphism, Lindenmayer system
9	Peter Petrov, Alex Orailoglu	Performance and power effectiveness in embedded processors customizable partitioned caches.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
9	Craig Harvey, Paul A. Strooper	Testing Java Monitors through Deterministic Execution.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
9	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
9	Maxim Orgiyan, Christof Fetzer	Tapping TCP Streams.	NCA	2001	DBLP DOI BibTeX RDF
9	Martin Leucker, Thomas Noll 0001	Truth/SLC - A Parallel Verification Platform for Concurrent Systems.	CAV	2001	DBLP DOI BibTeX RDF
9	Ernesto Martins, José Alberto Fonseca	Traffic Scheduling Coprocessor with Schedulability Analysis Capability.	DSD	2001	DBLP DOI BibTeX RDF
9	Antoni Ligeza, Igor Wojnicki, Grzegorz J. Nalepa	Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems.	DEXA	2001	DBLP DOI BibTeX RDF
9	Jordan Dimitrov	Operational Semantics for Verilog.	APSEC	2001	DBLP DOI BibTeX RDF
9	Helmut Prendinger, Mitsuru Ishizuka	Methodological Considerations on Chance Discovery.	JSAI Workshops	2001	DBLP DOI BibTeX RDF
9	Horatiu Cirstea, Claude Kirchner, Luigi Liquori	The Rho Cube.	FoSSaCS	2001	DBLP DOI BibTeX RDF
9	Martijn C. Schut, Michael J. Wooldridge, Simon Parsons	Reasoning about Intentions in Uncertain Domains.	ECSQARU	2001	DBLP DOI BibTeX RDF
9	Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey	Optimizing Compilation of Constraint Handling Rules.	ICLP	2001	DBLP DOI BibTeX RDF