Search results for "Non-Determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Kazuyuki Asada	Extensional Universal Types for Call-by-Value.	APLAS	2008	DBLP DOI BibTeX RDF
12	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.	ICLP	2008	DBLP DOI BibTeX RDF	High-level Implementation, Prolog, And-Parallelism
12	Siddharth Choudhuri, Tony Givargis	Deterministic service guarantees for nand flash using partial block cleaning.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	embedded systems, real-time, file systems, storage, determinism, qos, nand flash
12	Siddharth Choudhuri, Tony Givargis	Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning.	SEUS	2008	DBLP DOI BibTeX RDF	embedded systems, real-time, file system, NAND flash
12	Manfred Schmidt-Schauß, Elena Machkasova	A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case.	RTA	2008	DBLP DOI BibTeX RDF
12	Jörg Domaschka, Thomas Bestfleisch, Franz J. Hauck, Hans P. Reiser, Rüdiger Kapitza	Multithreading Strategies for Replicated Objects.	Middleware	2008	DBLP DOI BibTeX RDF
12	Hans Eveking, Martin Braun 0001, Martin Schickel, Martin Schweikert, Volker Nimbler	Multi-Level Assertion-Based Design.	MEMOCODE	2007	DBLP DOI BibTeX RDF
12	Dashiell Kolbe, Qiang Zhu 0001, Sakti Pramanik	On k-Nearest Neighbor Searching in Non-Ordered Discrete Data Spaces.	ICDE	2007	DBLP DOI BibTeX RDF
12	Colin Riba	Strong Normalization as Safe Interaction.	LICS	2007	DBLP DOI BibTeX RDF
12	Jordi Cabot	From Declarative to Imperative UML/OCL Operation Specifications.	ER	2007	DBLP DOI BibTeX RDF
12	Ichiro Hasuo, Yoshinobu Kawabe	Probabilistic Anonymity Via Coalgebraic Simulations.	ESOP	2007	DBLP DOI BibTeX RDF
12	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
12	Aliandro Lima, Walfredo Cirne, Francisco Vilar Brasileiro, Daniel Fireman	A Case for Event-Driven Distributed Objects.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
12	Nicolas Loriant, Jean-Marc Menaud	The Case for Distributed Execution Replay Using a Virtual Machine.	WETICE	2006	DBLP DOI BibTeX RDF
12	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
12	Shankara Narayanan Krishna, Gheorghe Paun	P Systems with Mobile Membranes.	Nat. Comput.	2005	DBLP DOI BibTeX RDF	matrix grammar, membrane computing, Turing computability
12	Kaustuv Chaudhuri, Frank Pfenning	Focusing the Inverse Method for Linear Logic.	CSL	2005	DBLP DOI BibTeX RDF
12	Camilo Rueda, Frank D. Valencia	On validity in modelization of musical problems by CCP.	Soft Comput.	2004	DBLP DOI BibTeX RDF
12	Radu Negulescu	General Testers for Asynchronous Circuits.	ASYNC	2004	DBLP DOI BibTeX RDF
12	Salvador España Boquera, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
12	Stephen McCamant, Michael D. Ernst	Early Identification of Incompatibilities in Multi-component Upgrades.	ECOOP	2004	DBLP DOI BibTeX RDF
12	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
12	Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach	Flexible Models for Dynamic Linking.	ESOP	2003	DBLP DOI BibTeX RDF
12	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
12	Roy Friedman, Alon Kama	Transparent Fault-Tolerant Java Virtual Machine.	SRDS	2003	DBLP DOI BibTeX RDF
12	Priya Narasimhan	Practical Considerations in Making CORBA Services Fault-Tolerant.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
12	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
12	Marco Cadoli, Toni Mancini	Combining Relational Algebra, SQL, and Constraint Programming.	FroCoS	2002	DBLP DOI BibTeX RDF
12	Giorgio Delzanno	Constraint-Based Model Checking for Parameterized Synchronous Systems.	FroCoS	2002	DBLP DOI BibTeX RDF
12	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
12	Maxim Orgiyan, Christof Fetzer	Tapping TCP Streams.	NCA	2001	DBLP DOI BibTeX RDF
12	Jordan Dimitrov	Operational Semantics for Verilog.	APSEC	2001	DBLP DOI BibTeX RDF
12	Paul B. Jackson	Total-Correctness Refinement for Sequential Reactive Systems.	TPHOLs	2000	DBLP DOI BibTeX RDF
12	Ravi B. Konuru, Harini Srinivasan, Jong-Deok Choi	Deterministic Replay of Distributed Java Applications.	IPDPS	2000	DBLP DOI BibTeX RDF	Java tools, network, debugging, distributed, threads, deterministic replay
12	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF
12	Luís Moura Silva, João Gabriel Silva	Using Message Semantics for Fast-Output Commit in Checkpointing-and-Rollback Recovery.	HICSS	1999	DBLP DOI BibTeX RDF	Checkpointing, Message-Logging, Message-passing systems, Crash-Recovery
12	Jon M. Kerridge, Peter H. Welch, David Wood	Synchronization Primitives for Highly Parallel Discrete Event Simulations.	HICSS	1999	DBLP DOI BibTeX RDF
12	Om P. Damani, Ashis Tarafdar, Vijay K. Garg	Optimistic Recovery in Multi-threaded Distributed Systems.	SRDS	1999	DBLP DOI BibTeX RDF
12	Hélène Kirchner, Pierre-Etienne Moreau	Non-deterministic Computations in ELAN.	WADT	1998	DBLP DOI BibTeX RDF
12	Iliano Cervesato, Joshua S. Hodas, Frank Pfenning	Efficient Resource Management for Linear Logic Proof Search.	ELP	1996	DBLP DOI BibTeX RDF
12	Michal Young	State-Space Analysis as an Aid to Testing (Abstract).	ISSTA	1994	DBLP DOI BibTeX RDF
12	Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno	Filter Models for a Parallel and Non Deterministic Lambda-Calculus.	MFCS	1993	DBLP DOI BibTeX RDF
12	Oded Maler	A Decomposition Theorem for Probabilistic Transition Systems.	STACS	1993	DBLP DOI BibTeX RDF
12	Yeh-Heng Sheng	IDLOG: Extending the Expressive Power of Deductive Database Languages.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
12	Vadim E. Kotov, Ludmila Cherkasova	On structural properties of generalized processes.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
10	Gwendolyn Voskuilen, Faraz Ahmad, T. N. Vijaykumar	Timetraveler: exploiting acyclic races for optimizing memory race recording.	ISCA	2010	DBLP DOI BibTeX RDF	race recording, debugging, determinism, replay
10	Ding Yuan 0004, Haohui Mai, Weiwei Xiong, Lin Tan 0001, Yuanyuan Zhou 0001, Shankar Pasupathy	SherLog: error diagnosis by connecting clues from run-time logs.	ASPLOS	2010	DBLP DOI BibTeX RDF	failure diagnostics, static analysis, log
10	Dasarath Weeratunge, Xiangyu Zhang 0001, Suresh Jagannathan	Analyzing multicore dumps to facilitate concurrency bug reproduction.	ASPLOS	2010	DBLP DOI BibTeX RDF	reproduction, multi-core, concurrency bugs, execution indexing
10	Fuad Abujarad, Sandeep S. Kulkarni	Multicore Constraint-Based Automated Stabilization.	SSS	2009	DBLP DOI BibTeX RDF	Multicore Algorithms, Stabilization, Program Transformation, Distributed Programs, Program Synthesis
10	Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).	PVM/MPI	2009	DBLP DOI BibTeX RDF
10	Daan Leijen, Wolfram Schulte, Sebastian Burckhardt	The design of a task parallel library.	OOPSLA	2009	DBLP DOI BibTeX RDF	duplicating queue, parallelism, domain specific languages, work stealing
10	Alfredo Capozucca, Nicolas Guelfi	Designing reliable real-time concurrent object-oriented software systems.	SAC	2009	DBLP DOI BibTeX RDF	fault tolerance, real-time, coordinated atomic actions
10	Frédéric Gava, Ilias Garnier	New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons.	IPDPS	2009	DBLP DOI BibTeX RDF
10	Albert Atserias, Johannes Klaus Fichte, Marc Thurley	Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.	SAT	2009	DBLP DOI BibTeX RDF
10	Knot Pipatsrisawat, Adnan Darwiche	On the Power of Clause-Learning SAT Solvers with Restarts.	CP	2009	DBLP DOI BibTeX RDF
10	Dimitra Giannakopoulou, Corina S. Pasareanu	Interface Generation and Compositional Verification in JavaPathfinder.	FASE	2009	DBLP DOI BibTeX RDF
10	Emiliano Lorini, Michele Piunti, Cristiano Castelfranchi, Rino Falcone, Maria Miceli	Anticipation and Emotions for Goal Directed Agents.	The Challenge of Anticipation	2008	DBLP DOI BibTeX RDF
10	Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin	On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.	MEMOCODE	2008	DBLP DOI BibTeX RDF
10	Ayla Dantas	Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	multi-threaded systems testing, aspect-oriented programming, software monitoring
10	Stefan Blom, Jaco van de Pol	Symbolic Reachability for Process Algebras with Recursive Data Types.	ICTAC	2008	DBLP DOI BibTeX RDF
10	M. Wasiur Rashid, Michael C. Huang 0001	Supporting highly-decoupled thread-level redundancy for parallel programs.	HPCA	2008	DBLP DOI BibTeX RDF
10	Andrew R. Dalton, Jason O. Hallstrom	A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications.	ICPC	2008	DBLP DOI BibTeX RDF
10	Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger	Model-Checking omega-Regular Properties of Interval Markov Chains.	FoSSaCS	2008	DBLP DOI BibTeX RDF
10	Romain Beauxis	Probabilistic and Concurrent Models for Security.	ICLP	2008	DBLP DOI BibTeX RDF
10	Bin Xin 0001, William N. Sumner, Xiangyu Zhang 0001	Efficient program execution indexing.	PLDI	2008	DBLP DOI BibTeX RDF	execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing
10	Zhenzhong Yu, Jihong Yan, Jie Zhao 0003, Yongsheng Gao 0002, Hegao Cai	Architecture of Multi-Agent-Based Multi-Operator Multi-Mobile-Manipulator Teleoperation System.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	multi-mobile-manipulator, Architecture, multi-agent, teleoperation
10	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
10	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning.	CSSE (5)	2008	DBLP DOI BibTeX RDF
10	Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel	A supervisor implementation approach in Discrete Controller Synthesis.	ETFA	2008	DBLP DOI BibTeX RDF
10	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Efficient Model Checking of Networked Applications.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	caching, software testing, Software model checking, network communication
10	François Degrave, Tom Schrijvers, Wim Vanhoof	Automatic Generation of Test Inputs for Mercury.	LOPSTR	2008	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.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
10	Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer	Java takes flight: time-portable real-time programming with exotasks.	LCTES	2007	DBLP DOI BibTeX RDF	time-portability, virtual machine, real-time scheduling, UAVs
10	Muzammil Shahbaz, Keqin Li 0002, Roland Groz	Learning and Integration of Parameterized Components Through Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
10	Eugene Syriani, Hans Vangheluwe	Programmed Graph Rewriting with DEVS.	AGTIVE	2007	DBLP DOI BibTeX RDF
10	Lutz Schröder, Dirk Pattinson	Modular Algorithms for Heterogeneous Modal Logics.	ICALP	2007	DBLP DOI BibTeX RDF
10	Joel P. Self, Eric G. Mercer	On-the-Fly Dynamic Dead Variable Analysis.	SPIN	2007	DBLP DOI BibTeX RDF
10	Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv	Cartesian Partial-Order Reduction.	SPIN	2007	DBLP DOI BibTeX RDF
10	Bernd Brassel, Frank Huch	The Kiel Curry System KiCS.	INAP/WLP	2007	DBLP DOI BibTeX RDF
10	Jörg Domaschka, Andreas Ingmar Schmied, Hans P. Reiser, Franz J. Hauck	Revisiting Deterministic Multithreading Strategies.	IPDPS	2007	DBLP DOI BibTeX RDF
10	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
10	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
10	Junfeng Wu, Huaikou Miao	A Rewriting Based Model for Nondeterministic Composite Web Service System.	ICEBE	2007	DBLP DOI BibTeX RDF
10	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
10	Koen V. Hindriks	Modules as Policy-Based Intentions: Modular Agent Programming in GOAL.	PROMAS	2007	DBLP DOI BibTeX RDF
10	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert	Secretive Birds: Privacy in Population Protocols.	OPODIS	2007	DBLP DOI BibTeX RDF
10	Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu	Generalized Committed Choice.	COORDINATION	2007	DBLP DOI BibTeX RDF
10	Paul A. Strooper, Luke Wildman	Testing Concurrent Java Components.	ICSE Companion	2007	DBLP DOI BibTeX RDF
10	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
10	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
10	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
10	Rolf Hennicker, Alexander Knapp	Activity-Driven Synthesis of State Machines.	FASE	2007	DBLP DOI BibTeX RDF
10	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
10	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
10	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
10	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
10	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
10	Till Mossakowski	Monad-Based Logics for Computational Effects.	AMAST	2006	DBLP DOI BibTeX RDF
10	José Nuno Oliveira, César Jesus Rodrigues	Pointfree Factorization of Operation Refinement.	FM	2006	DBLP DOI BibTeX RDF	reusable theories, refinement, Theoretical foundations, calculation
10	Gérard P. Huet, Benoît Razet	The Reactive Engine for Modular Transducers.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF