Search results for "Determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	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
80	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
71	Marieke Huisman, Pratik Worah, Kim Sunesen	A Temporal Logic Characterisation of Observational Determinism.	CSFW	2006	DBLP DOI BibTeX RDF
60	Arend Rensink	Denotational, Causal, and Operational Determinism in Event Structures.	CAAP	1996	DBLP DOI BibTeX RDF	partial order models, trees, determinism, event structures, concurrent languages, behavioural models
60	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
60	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	Violetta Lonati, Matteo Pradella	Snake-Deterministic Tiling Systems.	MFCS	2009	DBLP DOI BibTeX RDF	2D language, tiling systems, online tessellation automata, unambiguity, determinism, picture language
49	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
45	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
45	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
44	Tachio Terauchi	A Type System for Observational Determinism.	CSF	2008	DBLP DOI BibTeX RDF	Security, Linear Programming, Programming Language, Type System
44	Luke Wildman, Brad Long, Paul A. Strooper	Dealing with Non-Determinism in Testing Concurrent Java Components.	APSEC	2005	DBLP DOI BibTeX RDF
44	Chu Min Li, Wenqi Huang	Diversification and Determinism in Local Search for Satisfiability.	SAT	2005	DBLP DOI BibTeX RDF
44	Clara Segura, Ricardo Pena	Correctness of Non-determinism Analyses in a Parallel-Functional Language.	IFL	2003	DBLP DOI BibTeX RDF
44	Kartik Mohanram, Nur A. Touba	Eliminating Non-Determinism During Test of High-Speed Source Synchronous Differential Buses.	VTS	2003	DBLP DOI BibTeX RDF
44	Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes	Specification of Required Non-determinism.	FME	1997	DBLP DOI BibTeX RDF
44	Jan Van den Bussche, Dirk Van Gucht	Semi-determinism.	PODS	1992	DBLP DOI BibTeX RDF
42	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
42	Tachio Terauchi, Alex Aiken	A capability calculus for concurrency and determinism.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	type systems, Determinism, capabilities
42	Jaeseung Jeong, Yongho Kwak, Yang In Kim, Kyoung J. Lee	Dynamical Heterogeneity of Suprachiasmatic Nucleus Neurons Based on Regularity and Determinism.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	suprachiasmatic nucleus, nonlinear determinism, interspike intervals, heterogeneity
42	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
42	Pavol Duris, Juraj Hromkovic, José D. P. Rolim, Georg Schnitger	Las Vegas Versus Determinism for One-way Communication Complexity, Finite Automata, and Polynomial-time Computations.	STACS	1997	DBLP DOI BibTeX RDF	Las Vegas, communication complexity, automata, determinism, computational and structural complexity
42	Josyula R. Rao	Eventual determinism: using probabilistic means to achieve deterministic ends.	HICSS (2)	1995	DBLP DOI BibTeX RDF	eventual determinism, eventually-determining algorithms, worst case complexity bound, parallel algorithms, computational complexity, self-stabilization, conflict resolution, deterministic algorithms, deterministic algorithms, probabilistic algorithms, randomised algorithms, symmetry breaking, determinacy, parallel algorithm design
36	Byron Cook, Daniel Kroening, Natasha Sharygina	Symbolic Model Checking for Asynchronous Boolean Programs.	SPIN	2005	DBLP DOI BibTeX RDF
34	Wouter Gelade, Marc Gyssens, Wim Martens	Regular Expressions with Counting: Weak versus Strong Determinism.	MFCS	2009	DBLP DOI BibTeX RDF
34	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
34	Juraj Hromkovic, Georg Schnitger	Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation.	ICALP	2003	DBLP DOI BibTeX RDF	descriptional complexity of regular languages, Finite automata, nondeterminism
34	Markus Holzer 0001, Martin Kutrib	Flip-Pushdown Automata: Nondeterminism Is Better than Determinism.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
34	Alessio Bechini, Raffaele Lapadula, Cosimo Antonio Prete	Dealing with Non-Determinism in Communications within Java Applications.	EUROMICRO	1999	DBLP DOI BibTeX RDF
34	Alan D. Blair, Elizabeth Sklar, Pablo Funes	Co-evolution, Determinism and Robustness.	SEAL	1998	DBLP DOI BibTeX RDF	Neural networks, Co-evolution
34	Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman	CoreDet: a compiler and runtime system for deterministic multithreaded execution.	ASPLOS	2010	DBLP DOI BibTeX RDF	compilers, multithreading, multicore, determinism
34	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
34	Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin	DMP: deterministic shared memory multiprocessing.	ASPLOS	2009	DBLP DOI BibTeX RDF	parallel programming, debugging, multicores, determinism
34	Kai Salomaa, Sheng Yu 0001, Jinfeng Zan	Deterministic Caterpillar Expressions.	CIAA	2007	DBLP DOI BibTeX RDF	tree walking automata, decidability, regular expressions, determinism
34	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages.	CIAA	2007	DBLP DOI BibTeX RDF	automata, determinism, two-dimensional languages
34	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
34	Malcolm Dowse, Andrew Butterfield	Modelling deterministic concurrent I/O.	ICFP	2006	DBLP DOI BibTeX RDF	concurrency, determinism, effects, monads, I/O
33	Andrzej Lingas	Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism.	LAGOS	2021	DBLP DOI BibTeX RDF
33	Andrzej Lingas	Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism.	CoRR	2020	DBLP BibTeX RDF
33	Isabel Oitavem	From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk).	CSL	2013	DBLP DOI BibTeX RDF
33	Dora Giammarresi	Tiling-Recognizable Two-Dimensional Languages: From Non-Determinism to Determinism through Unambiguity	CoRR	2010	DBLP BibTeX RDF
33	Dora Giammarresi	Tiling-recognizable Two-dimensional Languages: from Non-determinism to Determinism through Unambiguity.	JAC	2010	DBLP BibTeX RDF
33	Hartmut Messerschmidt, Friedrich Otto	On Determinism Versus Non-Determinism for Restarting Automata.	LATA	2007	DBLP BibTeX RDF
33	David Budgen	Why should they believe us? Determinism, non-determinism and evidence.	CSEE&T	2006	DBLP DOI BibTeX RDF
33	Miklós Ajtai	Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract).	STOC	1999	DBLP DOI BibTeX RDF
33	Miklós Ajtai	Determinism versus Non-Determinism for Linear Time RAMs with Memory Restrictions	Electron. Colloquium Comput. Complex.	1998	DBLP BibTeX RDF
33	A. Wilm	Determinism and Non-determinism in PDL.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
33	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
33	Wolfgang J. Paul, Rüdiger Reischuk	A Graph Theoretic Approach to Determinism versus Non-Determinism.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
33	Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, Jason Flinn	Respec: efficient online multiprocessor replayvia speculation and external determinism.	ASPLOS	2010	DBLP DOI BibTeX RDF	external determinism, speculative execution, replay
33	Stefan Poledna, Alan Burns 0001, Andy J. Wellings, Peter Barrett	Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	replica determinism, fault tolerance, Distributed real-time systems, distributed operating systems, distributed scheduling, flexible scheduling
33	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
33	A. W. Roscoe 0001, Jim Woodcock 0001, Lars Wulf	Non-Interference Through Determinism.	ESORICS	1994	DBLP DOI BibTeX RDF	Security, Formal methods, Process algebra, Determinism, Automatic verification, Non-interference
27	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
27	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
27	Sailesh Kumar, Jonathan S. Turner, Patrick Crowley	Peacock Hashing: Deterministic and Updatable Hashing for High Performance Networking.	INFOCOM	2008	DBLP DOI BibTeX RDF
27	Andy Georges, Dries Buytaert, Lieven Eeckhout	Statistically rigorous java performance evaluation.	OOPSLA	2007	DBLP DOI BibTeX RDF	java, benchmarking, methodology, statistics, data analysis
27	Jeff Napper, Lorenzo Alvisi, Harrick M. Vin	A Fault-Tolerant Java Virtual Machine.	DSN	2003	DBLP DOI BibTeX RDF
27	Giovanna Zimatore, Alessandro Giuliani, Stavros Hatzopoulos, Alessandro Martini, Alfredo Colosimo	Invariant and Subject-Dependent Features of Otoacoustic Emissions.	ISMDA	2002	DBLP DOI BibTeX RDF
27	James Irwin, Dan Page, Nigel P. Smart	Instruction Stream Mutation for Non-Deterministic Processors.	ASAP	2002	DBLP DOI BibTeX RDF
27	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
27	Søren B. Lassen, Andrew Moran	Unique Fixed Point Induction for McCarthy's Amb.	MFCS	1999	DBLP DOI BibTeX RDF
27	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
27	Frédéric Boniol, Martin Adelantado	Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling.	WDAG	1993	DBLP DOI BibTeX RDF	Synchronism and Asynchronism, Real-time, Reactive systems, Semantics of Concurrency
27	Serge Abiteboul, Eric Simon, Victor Vianu	Non-Deterministic Languages to Express Deterministic Transformations.	PODS	1990	DBLP DOI BibTeX RDF
25	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
25	Ahmed Mustafa Mahmoud, Wan Haslina Hassan	Determinism in speech pitch relation to emotion.	ICIS	2009	DBLP DOI BibTeX RDF	diphone, emotions, speech synthesis
25	Israel Herraiz, Jesús M. González-Barahona, Gregorio Robles	Determinism and evolution.	MSR	2008	DBLP DOI BibTeX RDF	long term process, short term process, software evolution, time series analysis, self-organized criticality
25	Henri Hansen, Antti Valmari	Operational Determinism and Fast Algorithms.	CONCUR	2006	DBLP DOI BibTeX RDF
25	Floris Roelofsen, Luciano Serafini	Minimality and Non-determinism in Multi-context Systems.	CONTEXT	2005	DBLP DOI BibTeX RDF
25	Pascual Julián Iranzo, Christian Villamizar Lamus	Analysing Definitional Trees: Looking for Determinism.	FLOPS	2004	DBLP DOI BibTeX RDF	narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming
25	Steve Zdancewic, Andrew C. Myers	Observational Determinism for Concurrent Program Security.	CSFW	2003	DBLP DOI BibTeX RDF
25	Ricardo Pena, Clara Segura	A Polynomial-Cost Non-determinism Analysis.	IFL	2001	DBLP DOI BibTeX RDF
25	Pavol Duris, Juraj Hromkovic, Katsushi Inoue	A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition.	CCC	2000	DBLP DOI BibTeX RDF	Las Vegas randomization, two-dimensional finite automata, nondeterminism
25	Adrian Johnstone, Elizabeth Scott	Generalised Recursive Descent parsing and Fellow-Determinism.	CC	1998	DBLP DOI BibTeX RDF
25	Takaya Miyano, Takahiko Oasa, Tadashi Iokibe, Shoji Murata, Takayoshi Tanimura	Degrees of visible determinism in observational sequences as a mechanical signature of automobile components.	KES (1)	1997	DBLP DOI BibTeX RDF
25	Rita Loogen, Stephan Winkler	Dynamic Detection of Determinism in Functional Languages. (long version: TCS 142(1): 59-87 (1995))	PLILP	1991	DBLP DOI BibTeX RDF
25	Roland Dietrich, Hendrik C. R. Lock	Exploiting Non-Determinism through Laziness in Guarded Functional Languages.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
25	Domenico Saccà, Carlo Zaniolo	Stable Models and Non-Determinism in Logic Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF
25	David Ginat	The baffling CS notions of "as-if" and "don't-care".	SIGCSE	2010	DBLP DOI BibTeX RDF	task reformulation, abstraction, non-determinism
25	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
25	Kazuhiro Fujikake, Masaru Miyao, Tomoki Watanabe, Satoshi Hasegawa, Masako Omori, Hiroki Takada	Evaluation of Body Sway and the Relevant Dynamics While Viewing a Three-Dimensional Movie on a Head-Mounted Display by Using Stabilograms.	HCI (13)	2009	DBLP DOI BibTeX RDF	Three-dimensional (3D) movie, Stabilogram, Degree of determinism, Double-Wayland algorithm, Visually induced motion sickness
25	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
25	Tom Barker, Matthias Hank Haeusler, Frank Maguire, Jason E. McDermott	Investigating political and demographic factors in crowd based interfaces.	OZCHI	2009	DBLP DOI BibTeX RDF	digital political determinism and anamorphic anthropomorphic display, user interface design, image recognition, emotion recognition, cybernetics
25	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
25	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
25	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
25	Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück	Principles of a reversible programming language.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	backward determinism, inverse semantics, fast fourier transform, reversible computing, turing completeness
25	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
25	Bruce Edmonds	The Nature of Noise.	EPOS	2006	DBLP DOI BibTeX RDF	modelling, context, Noise, randomness, relevance, determinism, explanation, science, residual, philosophy
25	Kun Wei, James Heather	Embedding the Stable Failures Model of CSP in PVS.	IFM	2005	DBLP DOI BibTeX RDF	CSP, deadlock, determinism, liveness, theorem prover
25	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
25	Denis Caromel, Ludovic Henrio, Bernard P. Serpette	Asynchronous and deterministic objects.	POPL	2004	DBLP DOI BibTeX RDF	object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures
25	Sara Comai, Letizia Tanca	Termination and Confluence by Rule Prioritization.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	database dynamics, deductive databases, termination, determinism, Active databases
25	Antoni W. Mazurkiewicz	Competition, Cooperation, and Authorization.	ESAW	2003	DBLP DOI BibTeX RDF	Multi-agent system, distributed algorithms, concurrency, cooperation, conflicts, non-determinism
25	JinHo Ahn, Sung-Gi Min, Chong-Sun Hwang	Improving Scalability of Replicated Services in Mobile Agent Systems.	Mobile Agents	2002	DBLP DOI BibTeX RDF	fault-tolerance, scalability, determinism, Mobile agent system, replicated service, passive replication
25	Jesús Fernández-Conde, Alberto García-Martínez, Ángel Viña	Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	nuclear engineering computing, nuclear power stations, health hazards, power engineering computing, hardware/software platform, real-time data-intensive applications, hazardous environmental conditions, I/O operations, CPU processing time, hostile environments, throughput requirements, nuclear power plant inspection, performance, real-time systems, inspection, determinism, data acquisition, data processing, data transfer, data storage, power plants
25	K. Mani Chandy, Ian T. Foster	A Notation for Deterministic Cooperating Processes.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	debugging, functional programming, determinism, multicomputers, parallel programming languages
25	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications.	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
25	Lennart Lindh, Johan Stärner, John Furunäs	From single to multiprocessor real-time kernels in hardware.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	multiprocessor real-time kernels, single processor real-time kernels, improved performance, improved determinism, integrated deterministic CPU, deterministic multitasking real time kernel, high performance multitasking real time kernel, high performance standalone multitasking real time kernel, deterministic standalone multitasking real time kernel, heterogeneous multiprocessor real-time systems, homogeneous multiprocessor real-time systems, scheduling, performance evaluation, real-time systems, multiprocessing systems, hardware, reconfigurable architectures, processor scheduling, multiprogramming, operating system kernels, firmware