Search results for "non-determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	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
81	Robert M. Hierons, Mark Harman	Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Design for test conditions, Quasi-non-determinism, Testing, Conformance, Non-determinism, Stream X-machine
65	Deron Liang, Chen-Liang Fang, Jichiang Tsai	A Nested Invocation Suppression Framework for Active Replication Fault-Tolerant CORBA.	COMPSAC	2002	DBLP DOI BibTeX RDF	replica determinism, fault-tolerance, object-oriented programming, CORBA, distributed computing environment, active replication
56	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
53	Thomas Wolf 0013, 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
52	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
51	Luke Wildman, Brad Long, Paul A. Strooper	Dealing with Non-Determinism in Testing Concurrent Java Components.	APSEC	2005	DBLP DOI BibTeX RDF
51	Clara Segura, Ricardo Pena	Correctness of Non-determinism Analyses in a Parallel-Functional Language.	IFL	2003	DBLP DOI BibTeX RDF
51	Kartik Mohanram, Nur A. Touba	Eliminating Non-Determinism During Test of High-Speed Source Synchronous Differential Buses.	VTS	2003	DBLP DOI BibTeX RDF
51	Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes	Specification of Required Non-determinism.	FME	1997	DBLP DOI BibTeX RDF
49	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
47	Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller	Formalizing Sensitivity in Static Analysis for Intrusion Detection.	S&P	2004	DBLP DOI BibTeX RDF
45	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
43	Alessio Bechini, Raffaele Lapadula, Cosimo Antonio Prete	Dealing with Non-Determinism in Communications within Java Applications.	EUROMICRO	1999	DBLP DOI BibTeX RDF
43	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
43	Serge Abiteboul, Eric Simon, Victor Vianu	Non-Deterministic Languages to Express Deterministic Transformations.	PODS	1990	DBLP DOI BibTeX RDF
43	Byron Cook, Daniel Kroening, Natasha Sharygina	Symbolic Model Checking for Asynchronous Boolean Programs.	SPIN	2005	DBLP DOI BibTeX RDF
42	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
41	Matthias Raffelsieper, Mohammad Reza Mousavi 0001, 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
36	Andrzej Lingas	Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism.	LAGOS	2021	DBLP DOI BibTeX RDF
36	Andrzej Lingas	Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism.	CoRR	2020	DBLP BibTeX RDF
36	Isabel Oitavem	From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk).	CSL	2013	DBLP DOI BibTeX RDF
36	Dora Giammarresi	Tiling-Recognizable Two-Dimensional Languages: From Non-Determinism to Determinism through Unambiguity	CoRR	2010	DBLP BibTeX RDF
36	Dora Giammarresi	Tiling-recognizable Two-dimensional Languages: from Non-determinism to Determinism through Unambiguity.	JAC	2010	DBLP BibTeX RDF
36	Hartmut Messerschmidt, Friedrich Otto	On Determinism Versus Non-Determinism for Restarting Automata.	LATA	2007	DBLP BibTeX RDF
36	Marcella Anselmo, Dora Giammarresi, Maria Madonia	From Determinism to Non-determinism in Recognizable Two-Dimensional Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	Unambiguity - Determinism, Automata and Formal Languages, Two-dimensional languages
36	David Budgen	Why should they believe us? Determinism, non-determinism and evidence.	CSEE&T	2006	DBLP DOI BibTeX RDF
36	Miklós Ajtai	Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract).	STOC	1999	DBLP DOI BibTeX RDF
36	Miklós Ajtai	Determinism versus Non-Determinism for Linear Time RAMs with Memory Restrictions	Electron. Colloquium Comput. Complex.	1998	DBLP BibTeX RDF
36	A. Wilm	Determinism and Non-determinism in PDL.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
36	Wolfgang J. Paul, Nicholas Pippenger, Endre Szemerédi, William T. Trotter	On Determinism versus Non-Determinism and Related Problems (Preliminary Version)	FOCS	1983	DBLP DOI BibTeX RDF
36	Wolfgang J. Paul, Rüdiger Reischuk	A Graph Theoretic Approach to Determinism versus Non-Determinism.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
35	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
35	Ruini Xue, Xuezheng Liu, Ming Wu 0007, Zhenyu Guo, Wenguang Chen, Weimin Zheng, Zheng Zhang 0001, 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
34	David Ginat	The baffling CS notions of "as-if" and "don't-care".	SIGCSE	2010	DBLP DOI BibTeX RDF	task reformulation, abstraction, non-determinism
34	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
34	Antoni W. Mazurkiewicz	Competition, Cooperation, and Authorization.	ESAW	2003	DBLP DOI BibTeX RDF	Multi-agent system, distributed algorithms, concurrency, cooperation, conflicts, non-determinism
33	Domenico Saccà, Carlo Zaniolo	Stable Models and Non-Determinism in Logic Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF
32	James Irwin, Dan Page, Nigel P. Smart	Instruction Stream Mutation for Non-Deterministic Processors.	ASAP	2002	DBLP DOI BibTeX RDF
32	Søren B. Lassen, Andrew Moran	Unique Fixed Point Induction for McCarthy's Amb.	MFCS	1999	DBLP DOI BibTeX RDF
32	Craig M. Chase, Vijay K. Garg	Detection of Global Predicates: Techniques and Their Limitations.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Unstable predicates, Distributed debugging, Predicate detection
32	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
32	Floris Roelofsen, Luciano Serafini	Minimality and Non-determinism in Multi-context Systems.	CONTEXT	2005	DBLP DOI BibTeX RDF
31	Uli Alexander 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
31	Andy Georges, Dries Buytaert, Lieven Eeckhout	Statistically rigorous java performance evaluation.	OOPSLA	2007	DBLP DOI BibTeX RDF	java, benchmarking, methodology, statistics, data analysis
31	Jeff Napper, Lorenzo Alvisi, Harrick M. Vin	A Fault-Tolerant Java Virtual Machine.	DSN	2003	DBLP DOI BibTeX RDF
30	Ricardo Pena, Clara Segura	A Polynomial-Cost Non-determinism Analysis.	IFL	2001	DBLP DOI BibTeX RDF
30	Roland Dietrich, Hendrik C. R. Lock	Exploiting Non-Determinism through Laziness in Guarded Functional Languages.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
30	Sailesh Kumar, Jonathan S. Turner, Patrick Crowley	Peacock Hashing: Deterministic and Updatable Hashing for High Performance Networking.	INFOCOM	2008	DBLP DOI BibTeX RDF
30	Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel 0001	A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.	CSL	2002	DBLP DOI BibTeX RDF
30	Jan Van den Bussche, Dirk Van Gucht	Semi-determinism.	PODS	1992	DBLP DOI BibTeX RDF
28	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
26	Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
25	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
25	Peter Y. A. Ryan	Shedding Light on Haunted Corners of Information Security.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
23	Emile Hazard	Non-determinism, explorable automata and cyclic proofs. (Non-déterminisme, automates explorables et preuves cycliques).		2022	RDF
23	Sandra Dylus, Jan Christiansen, Finn Teegen	Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism.	Theory Pract. Log. Program.	2020	DBLP DOI BibTeX RDF
23	Sandra Dylus, Jan Christiansen, Finn Teegen	Implementing a Library for Probabilistic Programming using Non-strict Non-determinism.	CoRR	2019	DBLP BibTeX RDF
23	Cynthia Kop, Jakob Grue Simonsen	The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming.	ESOP	2017	DBLP DOI BibTeX RDF
23	Federico Aschieri, Margherita Zorzi	Non-determinism, Non-termination and the Strong Normalization of System T.	TLCA	2013	DBLP DOI BibTeX RDF
23	Dashiell Kolbe, Qiang Zhu 0001, Sakti Pramanik	Reducing non-determinism of k-NN searching in non-ordered discrete data spaces.	Inf. Process. Lett.	2010	DBLP DOI BibTeX RDF
23	Rajiv Trehan, Paul F. Wilk	Issues of non-determinism in PROLOG and the Committed Choice Non-Deterministic logic languages.	Artif. Intell. Rev.	1990	DBLP DOI BibTeX RDF
23	K. Subramani 0001, C. Tauras	An approximation algorithm for state minimization in 2-MDFAs.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	2-MDFA, Finite state automata, State minimization
23	Cliff B. Jones	Editorial.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF
23	Wanqing Wu, Rajiv Gupta 0001, Madalene Spezialetti	Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications.	ICECCS	1996	DBLP DOI BibTeX RDF
23	Rastislav Bodík, Satish Chandra 0001, 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
23	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
23	Robert M. Hierons, Florentin Ipate	Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Testing, Controllability, Non-determinism, Stream X-machine
23	Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh 0002	Automatic Testing from Formal Specifications.	TAP	2007	DBLP DOI BibTeX RDF	Model Based Testing, B-Method, Non-determinism
23	Sergio Antoy, Bernd Braßel	Computing with subspaces.	PPDP	2007	DBLP DOI BibTeX RDF	rewrite systems, non-determinism, subspaces, functional logic programming languages
23	Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto	Not Enough Points Is Enough.	CSL	2007	DBLP DOI BibTeX RDF	?-models, relational model, ?-calculus, non-determinism, cartesian closed categories
23	Pascal Van Hentenryck, Laurent Michel	Nondeterministic Control for Hybrid Search.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	hybrid search, search procedure, local search, checkpoint, continuation, closure, non determinism, solution, constraint language
23	Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen	STAIRS towards formal design with sequence diagrams.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	UML interactions, Explicit non-determinism, Refinement, Formal semantics, Sequence diagrams
23	Jiale Huo, Alexandre Petrenko	Covering Transitions of Concurrent Systems through Queues.	ISSRE	2005	DBLP DOI BibTeX RDF	transition coverage, concurrency, model-based testing, non-determinism
23	Darren Aaberge, Ken Mockler, Dieu Van Dinh, Raoul Belleau, Tim Donovan, Reid Hewlitt	Meeting the Test Challenges of the 1 Gbps Parallel RapidIO Interface with New Automatic Test Equipment Capabilities.	VTS	2005	DBLP DOI BibTeX RDF	RapidIO, Source-Synchronous, LVDS, Differential, ATE, Non-determinism
23	Ion Constantinescu, Boi Faltings, Walter Binder	Type based service composition.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	large scale discovery, runtime non-determinism, type based composition, web services, partial matches
23	Sergio Antoy, Stephen Johnson	Formalization and abstract implementation of rewriting with nested rules.	PPDP	2004	DBLP DOI BibTeX RDF	term rewriting systems, non-determinism, narrowing, functional logic programming, block structured
23	Huo Yan Chen, Yu Xia Sun, T. H. Tse	A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.	COMPSAC	2003	DBLP DOI BibTeX RDF	Object-oriented program testing, OBJSA net, concurrency, non-determinism
23	Florentin Ipate, Mike Holcombe	Generating Test Sets from Non-Deterministic Stream X-Machines.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Testing, Finite state machines, Non-determinism, Test set generation, X-machines
23	Celso A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	Revisiting the concept of hypermedia document consistency.	ACM Multimedia (2)	1999	DBLP DOI BibTeX RDF	internal and external non-determinism, formal verification, temporal consistency, RT-LOTOS, hypermedia documents
23	En-Hsin Huang, Tzilla Elrad	Scheduling control mechanisms for managing indeterminate object behavior.	SAC	1998	DBLP DOI BibTeX RDF	real-time and reactive systems, scheduling controls, adaptability, intelligence, non-determinism
23	Mark Russinovich, Bryce Cogswell	Replay For Concurrent Non-Deterministic Shared Memory Applications.	PLDI	1996	DBLP DOI BibTeX RDF	instruction counter, repeatable execution, shared memory, non-determinism
23	Philippe Darondeau, Pierpaolo Degano	Causal Trees: Interleaving + Causality.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	concurrency, bisimulation, causality, non-determinism
23	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
22	Matthew Might, Panagiotis Manolios	A PosterioriSoundness for Non-deterministic Abstract Interpretations.	VMCAI	2009	DBLP DOI BibTeX RDF
22	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
22	Kevin M. Lepak, Harold W. Cain, Mikko H. Lipasti	Redeeming IPC as a Performance Metric for Multithreaded Programs.	IEEE PACT	2003	DBLP DOI BibTeX RDF
22	Alan Mishchenko, Robert K. Brayton	A Theory of Non-Deterministic Networks.	ICCAD	2003	DBLP DOI BibTeX RDF
22	Sias Mostert, Nathalie Cossement, Rudy Lauwereins, Jef L. van Meerbergen	DF*: Modeling Dynamic Process Creation and Events for Interactive Multimedia Applications.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
22	Simone Veglioni, Rocco De Nicola	Possible Worlds for Process Algebras.	CONCUR	1998	DBLP DOI BibTeX RDF
22	Stéphane Grumbach, Zoé Lacroix, Steven Lindell	Generalized Implicit Definitions on Finite Structures.	CSL	1995	DBLP DOI BibTeX RDF
22	Wen-Kai Chung, William B. Day	The process allocation in parallel interpretation of logic programs (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
21	Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni	Complexity results in revising UNITY programs.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	formal methods, UNITY
21	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
21	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
21	Cristiano Pereira, Harish Patil, Brad Calder	Reproducible simulation of multi-threaded workloads for architecture design exploration.	IISWC	2008	DBLP DOI BibTeX RDF
21	Andy Georges, Dries Buytaert, Lieven Eeckhout	Adding rigorous statistics to the Java benchmarker's toolbox.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, benchmarking, methodology, statistics, data analysis
21	Umut A. Acar, Matthias Blume, Jacob Donham	A Consistent Semantics of Self-adjusting Computation.	ESOP	2007	DBLP DOI BibTeX RDF
21	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: teaching multithreading programming by analyzing execution traces.	PADTAD	2007	DBLP DOI BibTeX RDF	execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization
21	Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi	A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.	QSIC	2007	DBLP DOI BibTeX RDF