Search results for "determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv	Cartesian Partial-Order Reduction.	SPIN	2007	DBLP DOI BibTeX RDF
9	Jordi Cabot	From Declarative to Imperative UML/OCL Operation Specifications.	ER	2007	DBLP DOI BibTeX RDF
9	Ichiro Hasuo, Yoshinobu Kawabe	Probabilistic Anonymity Via Coalgebraic Simulations.	ESOP	2007	DBLP DOI BibTeX RDF
9	Andrew Over, Bill Clarke, Peter E. Strazdins	A Comparison of Two Approaches to Parallel Simulation of Multiprocessors.	ISPASS	2007	DBLP DOI BibTeX RDF	speedup analysis, Sparc Sulima, UltraSPARC IIICu-based multiprocessor systems, careful locking, simulation time quantum, serial simulation, load-balancing, parallel simulation, parallel discrete event simulation, interconnect model, NAS parallel benchmarks
9	Jing Zhou, Guosun Zeng	Validity Checking On Grid Service Composition.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
9	Bernd Brassel, Frank Huch	The Kiel Curry System KiCS.	INAP/WLP	2007	DBLP DOI BibTeX RDF
9	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
9	Jörg Domaschka, Andreas Ingmar Schmied, Hans P. Reiser, Franz J. Hauck	Revisiting Deterministic Multithreading Strategies.	IPDPS	2007	DBLP DOI BibTeX RDF
9	Victor Khomenko, Mark Schäfer, Walter Vogler	Output-Determinacy and Asynchronous Circuit Synthesis.	ACSD	2007	DBLP DOI BibTeX RDF	output-determinacy, OR-causality, decomposition, asynchronous circuits, STG
9	Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari	Strong Safe Realizability of Message Sequence Chart Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	Strong safe realizability, stuck states, emergent scenarios
9	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson 0001, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley	Design and implementation of a comprehensive real-time java virtual machine.	EMSOFT	2007	DBLP DOI BibTeX RDF	AOT, java, real time, garbage collection, JVM, JIT
9	Junfeng Wu, Huaikou Miao	A Rewriting Based Model for Nondeterministic Composite Web Service System.	ICEBE	2007	DBLP DOI BibTeX RDF
9	Irfan Hamid, Elie Najm	Real-time Connectors for Deterministic Data-flow.	RTCSA	2007	DBLP DOI BibTeX RDF
9	Denis Caromel, Ludovic Henrio, Eric Madelaine	Active Objects and Distributed Components: Theory and Implementation.	FMCO	2007	DBLP DOI BibTeX RDF
9	Christie Marr	Capturing Conflict and Confusion in CSP.	IFM	2007	DBLP DOI BibTeX RDF	Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
9	Koen V. Hindriks	Modules as Policy-Based Intentions: Modular Agent Programming in GOAL.	PROMAS	2007	DBLP DOI BibTeX RDF
9	Yang Zhao, Jie Liu 0001, Edward A. Lee	A Programming Model for Time-Synchronized Distributed Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
9	Ned J. Corron, Scott T. Hayes, Shawn D. Pethel, Jonathan N. Blakely	Reverse-Time Chaos from a Randomly Driven Filter.	ISCAS	2007	DBLP DOI BibTeX RDF
9	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert	Secretive Birds: Privacy in Population Protocols.	OPODIS	2007	DBLP DOI BibTeX RDF
9	Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu	Generalized Committed Choice.	COORDINATION	2007	DBLP DOI BibTeX RDF
9	Paul A. Strooper, Luke Wildman	Testing Concurrent Java Components.	ICSE Companion	2007	DBLP DOI BibTeX RDF
9	Christian Buckl, Matthias Regensburger, Alois C. Knoll, Gerhard Schrott	Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time.	PRDC	2007	DBLP DOI BibTeX RDF
9	Grzegorz Polaków, Mieczyslaw Metzger	Agent-Based Approach for LabVIEW Developed Distributed Control Systems.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	multiagent-based networking, producer-distributor-consumer, systems integration, process control, distributed control systems
9	Christoph von Praun, Luis Ceze, Calin Cascaval	Implicit parallelism with ordered transactions.	PPoPP	2007	DBLP DOI BibTeX RDF	ordered transactions, parallel programming, transactional memory, thread-level speculation, program parallelization, implicit parallelism
9	Roberta Coelho, Elder Cirilo, Uirá Kulesza, Arndt von Staa, Awais Rashid, Carlos José Pereira de Lucena	JAT: A Test Automation Framework for Multi-Agent Systems.	ICSM	2007	DBLP DOI BibTeX RDF
9	François Degrave, Wim Vanhoof	Towards a Normal Form for Mercury Programs.	LOPSTR	2007	DBLP DOI BibTeX RDF
9	Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat	Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.	FORMATS	2007	DBLP DOI BibTeX RDF
9	Rolf Hennicker, Alexander Knapp	Activity-Driven Synthesis of State Machines.	FASE	2007	DBLP DOI BibTeX RDF
9	Thomas A. Wagner, Anita Raja, Victor R. Lesser	Modeling Uncertainty and its Implications to Sophisticated Control in Tæms Agents.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	Agent scheduling, Contingency analysis, Uncertainty, Intelligent agents, Control, MDPs
9	Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Fernando D'Andrea	Nautilus, a Concurrent Diagrammatic Specification and Programming Language.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	object language, Nautilus, nonsequential automata, concurrent systems, graphical notation
9	Jesse Hughes, Albert C. Esterline, Bahram Kimiaghalam	Means-End Relations and a Measure of Efficacy.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	means-end relations, fuzzy modal logic, propositional dynamic logic, efficacy
9	Christie Bolton, Jim Davies	A singleton failures semantics for Communicating Sequential Processes.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types
9	Kirill Bogdanov 0002, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak	Testing methods for X-machines: a review.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Software testing, Finite state machines, Test set generation, X-machines
9	Martin Erwig, Steve Kollmansberger	Modeling Genome Evolution with a DSEL for Probabilistic Programming.	PADL	2006	DBLP DOI BibTeX RDF	Probabilistic Programming, Genome Evolution, Functional Programming, Haskell
9	Jian Huang, A. W. Roscoe 0001	Extending noninterference properties to the timed world.	SAC	2006	DBLP DOI BibTeX RDF	CSP, information flow, noninterference, discrete time
9	Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury	Formal semantics of weak references.	ISMM	2006	DBLP DOI BibTeX RDF	weak references, garbage collection, formal semantics
9	Patrick Leteinturier	Automotive semi-conductor trend & challenges.	DATE	2006	DBLP DOI BibTeX RDF
9	Till Mossakowski	Monad-Based Logics for Computational Effects.	AMAST	2006	DBLP DOI BibTeX RDF
9	José Nuno Oliveira, César Jesus Rodrigues	Pointfree Factorization of Operation Refinement.	FM	2006	DBLP DOI BibTeX RDF	reusable theories, refinement, Theoretical foundations, calculation
9	Gérard P. Huet, Benoît Razet	The Reactive Engine for Modular Transducers.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
9	James Laird	Bidomains and Full Abstraction for Countable Nondeterminism.	FoSSaCS	2006	DBLP DOI BibTeX RDF
9	Aliandro Lima, Walfredo Cirne, Francisco Vilar Brasileiro, Daniel Fireman	A Case for Event-Driven Distributed Objects.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
9	Tomasz Jurdzinski	Probabilistic Length-Reducing Automata.	MFCS	2006	DBLP DOI BibTeX RDF
9	Jihong Zuo, Qianxiang Wang, Hong Mei 0001	Preventing Feature Interactions by Constraints.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
9	Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney	Aligning traces for performance evaluation.	IPDPS	2006	DBLP DOI BibTeX RDF
9	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
9	Bechir Zalila, Jérôme Hugues, Laurent Pautet	An improved IDL compiler for optimizing CORBA applications.	SIGAda	2006	DBLP DOI BibTeX RDF	PolyORB, real-time, Ada, compilation, CORBA, embedded, IDL, OMG
9	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
9	Chaitanya Gharpure, Vladimir A. Kulyukin, Minghui Jiang 0001, Aliasgar Kutiyanawala	Passive Radio Frequency Exteroception in Robot Assisted Shopping for the Blind.	UIC	2006	DBLP DOI BibTeX RDF
9	Alfredo Milani, Fabio Rossi, Simonetta Pallottelli	Planning Based Integration of Web Services.	IAT Workshops	2006	DBLP DOI BibTeX RDF
9	Arie Gurfinkel, Marsha Chechik	Why Waste a Perfectly Good Abstraction?.	TACAS	2006	DBLP DOI BibTeX RDF
9	Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Model-Checking Markov Chains in the Presence of Uncertainties.	TACAS	2006	DBLP DOI BibTeX RDF
9	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
9	Pino Caballero-Gil, Amparo Fúster-Sabater	Practical Attack on the Shrinking Generator.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
9	Mahdi Javer, Trevor W. Pearce, Mathieu Gibeault, Mojtaba Ahmadi	Profiling of the Lab VIEW Development Environment and Real-Time Module.	CCECE	2006	DBLP DOI BibTeX RDF
9	Paulo Veríssimo	Thou Shalt Not Trust non-Trustworthy Systems.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
9	Philip D. Welch	Non-deterministic Halting Times for Hamkins-Kidder Turing Machines.	CiE	2006	DBLP DOI BibTeX RDF
9	Denis Caromel, Ludovic Henrio	Asynchonous Distributed Components: Concurrency and Determinacy.	IFIP TCS	2006	DBLP DOI BibTeX RDF
9	Paul A. Strooper, Luke Wildman	Testing concurrent java components.	ICSE	2006	DBLP DOI BibTeX RDF	concurrency, component, testing methodology
9	Nicolas Loriant, Jean-Marc Menaud	The Case for Distributed Execution Replay Using a Virtual Machine.	WETICE	2006	DBLP DOI BibTeX RDF
9	Suresh Balasubramanian, Narayanan Natarajan, Olivier Franza, Chris Gianos	Deterministic Low-Latency Data Transfer across Non-Integral Ratio Clock Domains.	VLSI Design	2006	DBLP DOI BibTeX RDF
9	Gerald Futschek	Algorithmic Thinking: The Key for Understanding Computer Science.	ISSEP	2006	DBLP DOI BibTeX RDF
9	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
9	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
9	Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente	On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile
9	Matthew W. Heath, Wayne P. Burleson, Ian G. Harris	Synchro-Tokens: A Deterministic GALS Methodology for Chip-Level Debug and Test.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	test, debug, SoC, nondeterminism, GALS, globally asynchronous locally synchronous
9	Arnon Avron	A Non-deterministic View on Non-classical Negations.	Stud Logica	2005	DBLP DOI BibTeX RDF	Non-deterministic Semantics, Many-valued Logics, Paraconsistent Logics, Negation, Constructive Logics
9	Shankara Narayanan Krishna, Gheorghe Paun	P Systems with Mobile Membranes.	Nat. Comput.	2005	DBLP DOI BibTeX RDF	matrix grammar, membrane computing, Turing computability
9	Jérôme Hugues, Laurent Pautet, Fabrice Kordon	Revisiting COTS middleware for DRE systems.	ISORC	2005	DBLP DOI BibTeX RDF
9	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
9	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
9	Wolfgang Pree	From bold idea to product - a case study.	MEMOCODE	2005	DBLP DOI BibTeX RDF
9	Stephen A. Edwards, Olivier Tardieu	Deterministic receptive processes are Kahn processes.	MEMOCODE	2005	DBLP DOI BibTeX RDF
9	Hami Kazerooni, Ryan Steger	That Which Does Not Stabilize, Will Only Make Us Stronger.	ISRR	2005	DBLP DOI BibTeX RDF
9	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Comparison of Multi-agent Systems.	CEEMAS	2005	DBLP DOI BibTeX RDF
9	Christie Bolton	Adding Conflict and Confusion to CSP.	FM	2005	DBLP DOI BibTeX RDF
9	Jan A. Bergstra, Cornelis A. Middelburg	Model Theory for Process Algebra.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
9	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
9	Antonio Martí Campoy, Eugenio Tamura, Sergio Sáez, Francisco Rodríguez 0003, José V. Busquets-Mataix	On Using Locking Caches in Embedded Real-Time Systems.	ICESS	2005	DBLP DOI BibTeX RDF	genetic algorithms, performance evaluation, predictability, response time, Cache memories, schedulability analysis, execution time, embedded real-time systems
9	Oscar H. Ibarra	Some Computational Issues in Membrane Computing.	MFCS	2005	DBLP DOI BibTeX RDF
9	Tsachy Kapschitz, Ran Ginosar	Formal Verification of Synchronizers.	CHARME	2005	DBLP DOI BibTeX RDF
9	Manuel Núñez 0001, Ismael Rodríguez	Conformance Testing Relations for Timed Systems.	FATES	2005	DBLP DOI BibTeX RDF
9	Dariusz R. Kowalski	On selection problem in radio networks.	PODC	2005	DBLP DOI BibTeX RDF	broadcast problem, selection problem, radio networks, multiple access channel
9	Yoshinao Isobe, Markus Roggenbach	A Generic Theorem Prover of CSP Refinement.	TACAS	2005	DBLP DOI BibTeX RDF
9	Steve MacDonald, Jun Chen 0018, Diego Novillo	Choosing Among Alternative Futures.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
9	Kristina Forsberg, Simin Nadjm-Tehrani, Jan Torin	Fault Analysis of a Distributed Flight Control System.	HICSS	2005	DBLP DOI BibTeX RDF
9	Marko Samer, Helmut Veith	Deterministic CTL Query Solving.	TIME	2005	DBLP DOI BibTeX RDF
9	K. H. (Kane) Kim, Stephen F. Jenks, Larry Smarr, Andrew A. Chien, Liangchen Zheng	A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing.	WORDS	2005	DBLP DOI BibTeX RDF
9	Thomas Baar	Non-deterministic Constructs in OCL - What Does any() Mean.	SDL Forum	2005	DBLP DOI BibTeX RDF
9	Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan	Test Order for Class-based Integration Testing of Java Applications.	QSIC	2005	DBLP DOI BibTeX RDF
9	Kaustuv Chaudhuri, Frank Pfenning	Focusing the Inverse Method for Linear Logic.	CSL	2005	DBLP DOI BibTeX RDF
9	Wim Martens, Joachim Niehren	Minimizing Tree Automata for Unranked Trees.	DBPL	2005	DBLP DOI BibTeX RDF
9	Karl-Erik Årzén	Timing Analysis and Simulation Tools for Real-Time Control.	FORMATS	2005	DBLP DOI BibTeX RDF
9	Hans de Nivelle, Ruzica Piskac	Verification of an Off-Line Checker for Priority Queues.	SEFM	2005	DBLP DOI BibTeX RDF
9	Flávio Oquendo	pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	architecture refinement languages, formal development techniques, software architectures, stepwise refinement
9	Alexander S. Kossatchev, P. Kutter, Mikhail Posypkin	Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
9	Philipp W. Keller, Felix-Olivier Duguay, Doina Precup	Redagent: winner of TAC SCM 2003.	SIGecom Exch.	2004	DBLP DOI BibTeX RDF
9	Ilia Rapoport, Yaakov Oshman	A new estimation error lower bound for interruption indicators in systems with uncertain measurements.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
9	Camilo Rueda, Frank D. Valencia	On validity in modelization of musical problems by CCP.	Soft Comput.	2004	DBLP DOI BibTeX RDF
9	Grace Nordin, James C. Hoe	Synchronous extensions to operation centric hardware description languages.	MEMOCODE	2004	DBLP DOI BibTeX RDF