Search results for "non-determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Michal Hocko, Tomas Kalibera	Reducing performance non-determinism via cache-aware page allocation strategies.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	performance non-determinism, regression benchmarking, statistical methods, software performance
3	Naijun Zhan, Mila E. Majster-Cederbaum	Deriving Non-determinism from Conjunction and Disjunction.	FORTE	2005	DBLP DOI BibTeX RDF	Synchronization Tree Logic, process algebra, ?-calculus, Non-determinism
3	Robert M. Hierons, Mark Harman	Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Design for test conditions, Quasi-non-determinism, Testing, Conformance, Non-determinism, Stream X-machine
2	David Ginat	The baffling CS notions of "as-if" and "don't-care".	SIGCSE	2010	DBLP DOI BibTeX RDF	task reformulation, abstraction, non-determinism
2	Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema	Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.	FMICS	2009	DBLP DOI BibTeX RDF
2	Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.	PVM/MPI	2009	DBLP DOI BibTeX RDF
2	Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck	Controlling chaos: on safe side-effects in data-parallel operations.	DAMP	2009	DBLP DOI BibTeX RDF	concurrent side-effects, non-determinism, functional programming languages
2	Ruini Xue, Xuezheng Liu, Ming Wu, Zhenyu Guo, Wenguang Chen, Weimin Zheng, Zheng Zhang, Geoffrey M. Voelker	MPIWiz: subgroup reproducible replay of mpi applications.	PPOPP	2009	DBLP DOI BibTeX RDF	message passing interface, non-determinism, distributed debugging, record and replay
2	Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto	A Relational Model of a Parallel and Non-deterministic lambda-Calculus.	LFCS	2009	DBLP DOI BibTeX RDF	denotational semantics, relational model, ?-calculus, non-determinism, parallel composition
2	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A simple rewrite notion for call-time choice semantics.	PPDP	2007	DBLP DOI BibTeX RDF	constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming
2	Heine Kolltveit, Svein-Olaf Hvasshovd	Preventing Orphan Requests by Integrating Replication and Transactions.	ADBIS	2007	DBLP DOI BibTeX RDF	orphan requests, Replication, transactions, non-determinism
2	Luke Wildman, Brad Long, Paul A. Strooper	Dealing with Non-Determinism in Testing Concurrent Java Components.	APSEC	2005	DBLP DOI BibTeX RDF
2	Floris Roelofsen, Luciano Serafini	Minimality and Non-determinism in Multi-context Systems.	CONTEXT	2005	DBLP DOI BibTeX RDF
2	Ana Sokolova, Erik P. de Vink	Probabilistic Automata: System Types, Parallel Composition and Comparison.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition
2	Kartik Mohanram, Nur A. Touba	Eliminating Non-Determinism During Test of High-Speed Source Synchronous Differential Buses.	VTS	2003	DBLP DOI BibTeX RDF
2	Clara Segura, Ricardo Pena	Correctness of Non-determinism Analyses in a Parallel-Functional Language.	IFL	2003	DBLP DOI BibTeX RDF
2	Antoni W. Mazurkiewicz	Competition, Cooperation, and Authorization.	ESAW	2003	DBLP DOI BibTeX RDF	Multi-agent system, distributed algorithms, concurrency, cooperation, conflicts, non-determinism
2	Ricardo Pena, Clara Segura	A Polynomial-Cost Non-determinism Analysis.	IFL	2001	DBLP DOI BibTeX RDF
2	Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati	Exploiting Non-Determinism for Reliability of Mobile Agent Systems.	DSN	2000	DBLP DOI BibTeX RDF	reliability, mobile-agent, fault-detection, recovery, non-determinism
2	Alessio Bechini, Raffaele Lapadula, Cosimo Antonio Prete	Dealing with Non-Determinism in Communications within Java Applications.	EUROMICRO	1999	DBLP DOI BibTeX RDF
2	Thomas Wolf, Alfred Strohmeier	Fault Tolerance by Transparent Replication for Distributed Ada 95.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Piecewise Determinism, Replica Consistency, Semi-Active Replication, Fault Tolerance, Distributed Systems, Non-Determinism
2	Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes	Specification of Required Non-determinism.	FME	1997	DBLP DOI BibTeX RDF
2	Roland Dietrich, Hendrik C. R. Lock	Exploiting Non-Determinism through Laziness in Guarded Functional Languages.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
2	Domenico Saccà, Carlo Zaniolo	Stable Models and Non-Determinism in Logic Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF
1	Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto	A relational semantics for parallelism and non-determinism in a functional setting.	Ann. Pure Appl. Logic	2012	DBLP DOI BibTeX RDF
1	Lars Kristiansen, Bedeho Mesghina Wolde Mender	Non-determinism in Gödel's System T.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
1	Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune	Trace equivalence decision: negative tests and non-determinism.	ACM Conference on Computer and Communications Security	2011	DBLP DOI BibTeX RDF
1	Dashiell Kolbe, Qiang Zhu, Sakti Pramanik	Reducing non-determinism of k-NN searching in non-ordered discrete data spaces.	Inf. Process. Lett.	2010	DBLP DOI BibTeX RDF
1	Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego	A coalgebraic approach to non-determinism: Applications to multilattices.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
1	Michele Pagani, Simona Ronchi Della Rocca	Linearity, Non-determinism and Solvability.	Fundam. Inform.	2010	DBLP DOI BibTeX RDF
1	Dora Giammarresi	Tiling-Recognizable Two-Dimensional Languages: From Non-Determinism to Determinism through Unambiguity	CoRR	2010	DBLP BibTeX RDF
1	Qing Wang	A Proof System with Bounded Non-determinism in Database Transformations.	SDKB	2010	DBLP DOI BibTeX RDF
1	Peter Bishop, Lukasz Cyra	Overcoming Non-determinism in Testing Smart Devices: A Case Study.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Dora Giammarresi	Tiling-recognizable Two-dimensional Languages: from Non-determinism to Determinism through Unambiguity.	JAC	2010	DBLP BibTeX RDF
1	Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
1	Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan	Analyzing multicore dumps to facilitate concurrency bug reproduction.	ASPLOS	2010	DBLP DOI BibTeX RDF	reproduction, multi-core, concurrency bugs, execution indexing
1	Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy	SherLog: error diagnosis by connecting clues from run-time logs.	ASPLOS	2010	DBLP DOI BibTeX RDF	failure diagnostics, static analysis, log
1	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
1	Rakesh Kumar	Computing with stochastic processors: revisiting the correctness contract between software and hardware.	ISLPED	2010	DBLP DOI BibTeX RDF	stochastic processor, reliability, error resilience, error tolerance
1	Adrián Riesco, Juan Rodríguez-Hortalá	Programming with singular and plural non-deterministic functions.	PEPM	2010	DBLP DOI BibTeX RDF	non-deterministic functions, semantics, program transformation, term rewriting, maude
1	Klaus Keimel, Gordon D. Plotkin	Predicate transformers for extended probability and non-determinism.	Mathematical Structures in Computer Science	2009	DBLP DOI BibTeX RDF
1	Regina Tix, Klaus Keimel, Gordon D. Plotkin	Semantic Domains for Combining Probability and Non-Determinism.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Regina Tix, Klaus Keimel, Gordon D. Plotkin	Retraction notice to "Semantic Domains for Combining Probability and Non-Determinism" [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104].	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Arnon Avron, Agata Ciabattoni, Anna Zamansky	Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.	CSR	2009	DBLP DOI BibTeX RDF
1	Sergio Antoy, Michael Hanus	Set functions for functional logic programming.	PPDP	2009	DBLP DOI BibTeX RDF	rewrite systems, non-determinism, subspaces, functional logic programming languages
1	Marek Olszewski, Jason Ansel, Saman P. Amarasinghe	Kendo: efficient deterministic multithreading in software.	ASPLOS	2009	DBLP DOI BibTeX RDF	deterministic multithreading, parallel programming, debugging, multicore, determinism
1	Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
1	Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz, Matthias S. Müller	A graph based approach for MPI deadlock detection.	ICS	2009	DBLP DOI BibTeX RDF	umpire, parallel programming, deadlock detection, mpi
1	Christian Murphy, Kuang Shen, Gail E. Kaiser	Automatic system testing of programs without test oracles.	ISSTA	2009	DBLP DOI BibTeX RDF	software testing, metamorphic testing, oracle problem
1	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
1	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A flexible framework for programming with non-deterministicfunctions.	PEPM	2009	DBLP DOI BibTeX RDF	call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems
1	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
1	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
1	Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni	Complexity results in revising UNITY programs.	TAAS	2009	DBLP DOI BibTeX RDF	formal methods, UNITY
1	Cristian Dittamo	On Expressing Different Concurrency Paradigms on Virtual Execution Systems.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Robert E. Strom, Chitra Dorai, Thomas Huining Feng, Wei Zheng	Deterministic Replay for Transparent Recovery in Component-Oriented Middleware.	ICDCS	2009	DBLP DOI BibTeX RDF
1	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
1	Knot Pipatsrisawat, Adnan Darwiche	On the Power of Clause-Learning SAT Solvers with Restarts.	CP	2009	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Interface Generation and Compositional Verification in JavaPathfinder.	FASE	2009	DBLP DOI BibTeX RDF
1	Pascal Bercher, Robert Mattmüller	Solving Non-deterministic Planning Problems with Pattern Database Heuristics.	KI	2009	DBLP DOI BibTeX RDF	non-deterministic planning, PDB heuristics, Heuristic search
1	Ignacio Laguna, Fahad A. Arshad, David M. Grothe, Saurabh Bagchi	How to Keep Your Head above Water While Detecting Errors.	Middleware	2009	DBLP DOI BibTeX RDF	Stateful error detection, High throughput distributed applications, J2EE multi-tier systems, Intelligent sampling, Hidden Markov Model
1	Joachim Fabini, Wolfgang Karner, Lukas Wallentin, Thomas Baumgartner	The Illusion of Being Deterministic - Application-Level Considerations on Delay in 3G HSPA Networks.	Networking	2009	DBLP DOI BibTeX RDF	HSPA, Measurements, User Experience, 3G, One-way Delay
1	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
1	Albert Atserias, Johannes Klaus Fichte, Marc Thurley	Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.	SAT	2009	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang	Probabilistic Reachability for Parametric Markov Models.	SPIN	2009	DBLP DOI BibTeX RDF
1	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
1	Frédéric Prost, Chaouki Zerrari	Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.	UC	2009	DBLP DOI BibTeX RDF
1	Matthew Might, Panagiotis Manolios	A PosterioriSoundness for Non-deterministic Abstract Interpretations.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
1	Javed I. Khan, Asrar U. Haque	Computing with data non-determinism: Wait time management for peer-to-peer systems.	Computer Communications	2008	DBLP DOI BibTeX RDF
1	Jorge A. Pérez, Camilo Rueda	Non-determinism and Probabilities in Timed Concurrent Constraint Programming.	ICLP	2008	DBLP DOI BibTeX RDF
1	Robert M. Hierons, Florentin Ipate	Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Testing, Controllability, Non-determinism, Stream X-machine
1	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
1	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
1	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
1	Andy Georges, Lieven Eeckhout, Dries Buytaert	Java performance evaluation through rigorous replay compilation.	OOPSLA	2008	DBLP DOI BibTeX RDF	matched-pair comparison, replay compilation, java, performance evaluation, benchmarking, virtual machine
1	Bin Xin, William N. Sumner, Xiangyu Zhang	Efficient program execution indexing.	PLDI	2008	DBLP DOI BibTeX RDF	execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing
1	Uli Bornhauser, Peter Martini	A Divergence Analysis in Autonomous Systems Using Full-Mesh iBGP.	CNSR	2008	DBLP DOI BibTeX RDF	Routing Anomalies, Networks, Border Gateway Protocol, Functional Analysis, Communication System Routing
1	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning.	CSSE	2008	DBLP DOI BibTeX RDF
1	Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel	A supervisor implementation approach in Discrete Controller Synthesis.	ETFA	2008	DBLP DOI BibTeX RDF
1	Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti	A Multi-Periodic Synchronous Data-Flow Language.	HASE	2008	DBLP DOI BibTeX RDF
1	M. Wasiur Rashid, Michael C. Huang	Supporting highly-decoupled thread-level redundancy for parallel programs.	HPCA	2008	DBLP DOI BibTeX RDF
1	Cristiano Pereira, Harish Patil, Brad Calder	Reproducible simulation of multi-threaded workloads for architecture design exploration.	IISWC	2008	DBLP DOI BibTeX RDF
1	Sailesh Kumar, Jonathan S. Turner, Patrick Crowley	Peacock Hashing: Deterministic and Updatable Hashing for High Performance Networking.	INFOCOM	2008	DBLP DOI BibTeX RDF
1	Andrew R. Dalton, Jason O. Hallstrom	A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications.	ICPC	2008	DBLP DOI BibTeX RDF
1	Bijoy A. 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
1	Josée Desharnais, François Laviolette, Mathieu Tracol	Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games.	QEST	2008	DBLP DOI BibTeX RDF
1	Sibin Mohan, Frank Mueller	Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	hybrid timing anlalysis, hardware/software interactions, real-time systems, embedded systems, computer architecture, timing analysis, worst-case execution time, out-of-order execution
1	Kazuyuki Asada	Extensional Universal Types for Call-by-Value.	APLAS	2008	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger	Model-Checking omega-Regular Properties of Interval Markov Chains.	FoSSaCS	2008	DBLP DOI BibTeX RDF
1	Jean Goubault-Larrecq	Prevision Domains and Convex Powercones.	FoSSaCS	2008	DBLP DOI BibTeX RDF
1	Zhenzhong Yu, Jihong Yan, Jie Zhao, Yongsheng Gao, Hegao Cai	Architecture of Multi-Agent-Based Multi-Operator Multi-Mobile-Manipulator Teleoperation System.	ICIRA	2008	DBLP DOI BibTeX RDF	multi-mobile-manipulator, Architecture, multi-agent, teleoperation
1	Romain Beauxis	Probabilistic and Concurrent Models for Security.	ICLP	2008	DBLP DOI BibTeX RDF
1	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
1	Stefan Blom, Jaco van de Pol	Symbolic Reachability for Process Algebras with Recursive Data Types.	ICTAC	2008	DBLP DOI BibTeX RDF
1	François Degrave, Tom Schrijvers, Wim Vanhoof	Automatic Generation of Test Inputs for Mercury.	LOPSTR	2008	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Efficient Model Checking of Networked Applications.	TOOLS	2008	DBLP DOI BibTeX RDF	caching, software testing, Software model checking, network communication