Search results for "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	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
3	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
3	Jaeseung Jeong, Yongho Kwak, Yang In Kim, Kyoung J. Lee	Dynamical Heterogeneity of Suprachiasmatic Nucleus Neurons Based on Regularity and Determinism.	Journal of Computational Neuroscience	2005	DBLP DOI BibTeX RDF	suprachiasmatic nucleus, nonlinear determinism, interspike intervals, heterogeneity
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
3	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
3	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
3	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
3	Josyula R. Rao	Eventual determinism: using probabilistic means to achieve deterministic ends.	HICSS	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
2	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
2	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
2	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
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	Wouter Gelade, Marc Gyssens, Wim Martens	Regular Expressions with Counting: Weak versus Strong Determinism.	MFCS	2009	DBLP DOI BibTeX RDF
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	Ahmed Mustafa Mahmoud, Wan Haslina Hassan	Determinism in speech pitch relation to emotion.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	diphone, emotions, speech synthesis
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	Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin	DMP: deterministic shared memory multiprocessing.	ASPLOS	2009	DBLP DOI BibTeX RDF	parallel programming, debugging, multicores, determinism
2	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
2	Tom Barker, M. 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
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	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	2009	DBLP DOI BibTeX RDF	Three-dimensional (3D) movie, Stabilogram, Degree of determinism, Double-Wayland algorithm, Visually induced motion sickness
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	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
2	Tachio Terauchi	A Type System for Observational Determinism.	CSF	2008	DBLP DOI BibTeX RDF	Security, Linear Programming, Programming Language, Type System
2	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
2	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
2	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
2	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
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	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
2	Kai Salomaa, Sheng Yu, Jinfeng Zan	Deterministic Caterpillar Expressions.	CIAA	2007	DBLP DOI BibTeX RDF	tree walking automata, decidability, regular expressions, determinism
2	Henri Hansen, Antti Valmari	Operational Determinism and Fast Algorithms.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Marieke Huisman, Pratik Worah, Kim Sunesen	A Temporal Logic Characterisation of Observational Determinism.	CSFW	2006	DBLP DOI BibTeX RDF
2	Malcolm Dowse, Andrew Butterfield	Modelling deterministic concurrent I/O.	ICFP	2006	DBLP DOI BibTeX RDF	concurrency, determinism, effects, monads, I/O
2	Bruce Edmonds	The Nature of Noise.	EPOS	2006	DBLP DOI BibTeX RDF	modelling, context, Noise, randomness, relevance, determinism, explanation, science, residual, philosophy
2	Luke Wildman, Brad Long, Paul A. Strooper	Dealing with Non-Determinism in Testing Concurrent Java Components.	APSEC	2005	DBLP DOI BibTeX RDF
2	Chu Min Li, Wen Qi Huang	Diversification and Determinism in Local Search for Satisfiability.	SAT	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	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
2	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
2	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
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	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
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	Markus Holzer, Martin Kutrib	Flip-Pushdown Automata: Nondeterminism Is Better than Determinism.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
2	Steve Zdancewic, Andrew C. Myers	Observational Determinism for Concurrent Program Security.	CSFW	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	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
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	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
2	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
2	Ricardo Pena, Clara Segura	A Polynomial-Cost Non-determinism Analysis.	IFL	2001	DBLP DOI BibTeX RDF
2	Stefan Poledna, Alan Burns, 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
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	Pavol Duris, Juraj Hromkovic, Katsushi Inoue	A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition. (PDF / PS)	IEEE Conference on Computational Complexity	2000	DBLP DOI BibTeX RDF	Las Vegas randomization, two-dimensional finite automata, nondeterminism
2	Alessio Bechini, Raffaele Lapadula, Cosimo Antonio Prete	Dealing with Non-Determinism in Communications within Java Applications.	EUROMICRO	1999	DBLP DOI BibTeX RDF
2	Adrian Johnstone, Elizabeth Scott	Generalised Recursive Descent parsing and Fellow-Determinism.	CC	1998	DBLP DOI BibTeX RDF
2	Alan D. Blair, Elizabeth Sklar, Pablo Funes	Co-evolution, Determinism and Robustness.	SEAL	1998	DBLP DOI BibTeX RDF	Neural networks, Co-evolution
2	T. Miyano, T. Oasa, Tadashi Iokibe, S. Murata, T. Tanimura	Degrees of visible determinism in observational sequences as a mechanical signature of automobile components.	KES	1997	DBLP DOI BibTeX RDF
2	Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes	Specification of Required Non-determinism.	FME	1997	DBLP DOI BibTeX RDF
2	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. (PDF / PS)	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
2	Hermann Kopetz	Why time-triggered architectures will succeed in large hard real-time systems.	FTDCS	1995	DBLP DOI BibTeX RDF	large hard real-time systems, encapsulated subsystems, temporal firewalls, sparse time base, replica determinism, time-triggered communication protocol, real-time systems, computational complexity, computer architecture, design principles, time-triggered architectures
2	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications. (PDF / PS)	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
2	Lennart Lindh, Johan Stärner, John Furunäs	From single to multiprocessor real-time kernels in hardware. (PDF / PS)	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
2	K. Mani Chandy, Ian T. Foster	A Notation for Deterministic Cooperating Processes.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF	debugging, functional programming, determinism, multicomputers, parallel programming languages
2	A. W. Roscoe, Jim Woodcock, L. Wulf	Non-Interference Through Determinism.	ESORICS	1994	DBLP DOI BibTeX RDF	Security, Formal methods, Process algebra, Determinism, Automatic verification, Non-interference
2	Jan Van den Bussche, Dirk Van Gucht	Semi-determinism.	PODS	1992	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	Rita Loogen, Stephan Winkler	Dynamic Detection of Determinism in Functional Languages.	PLILP	1991	DBLP DOI BibTeX RDF
2	Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi	Test Selection Based on Finite State Models.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models
2	Domenico Saccà, Carlo Zaniolo	Stable Models and Non-Determinism in Logic Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF
1	Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers	Rule formats for determinism and idempotence.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Artiom Alhazov, Rudolf Freund, Kenichi Morita	Sequential and maximally parallel multiset rewriting: reversibility and determinism.	Natural Computing	2012	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	Steven Hand	An experiment in determinism.	Commun. ACM	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	Philippe Huneman	Determinism, predictability and open-ended evolution: lessons from computational emergence.	Synthese	2012	DBLP DOI BibTeX RDF
1	Wouter Gelade, Marc Gyssens, Wim Martens	Regular Expressions with Counting: Weak versus Strong Determinism.	SIAM J. Comput.	2012	DBLP DOI BibTeX RDF
1	Martin Farach-Colton, Antonio Fernández Anta, Alessia Milani, Miguel A. Mosteiro, Shmuel Zaks	Opportunistic Information Dissemination in Mobile Ad-Hoc Networks: Adaptiveness vs. Obliviousness and Randomization vs. Determinism.	LATIN	2012	DBLP DOI BibTeX RDF
1	Thomas Colcombet	Forms of Determinism for Automata (Invited Talk).	STACS	2012	DBLP DOI BibTeX RDF
1	Theodoros Rekatsinas, Amol Deshpande, Lise Getoor	Local structure and determinism in probabilistic databases.	SIGMOD Conference	2012	DBLP DOI BibTeX RDF
1	Miklós Ajtai	Determinism versus nondeterminism with arithmetic tests and computation: extended abstract.	STOC	2012	DBLP DOI BibTeX RDF
1	Yi Lu 0003, John Potter, Chenyi Zhang, Jingling Xue	A Type and Effect System for Determinism in Multithreaded Programs.	ESOP	2012	DBLP DOI BibTeX RDF
1	Steve Reeves, David Streader	Contexts, refinement and determinism.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Miklós Ajtai	Determinism Versus Nondeterminism with Arithmetic Tests and Computation.	Electronic Colloquium on Computational Complexity (ECCC)	2011	DBLP BibTeX RDF
1	Itai Sher	Credibility and determinism in a game of persuasion.	Games and Economic Behavior	2011	DBLP DOI BibTeX RDF
1	Pekka Kilpeläinen	Checking determinism of XML Schema content models in optimal time.	Inf. Syst.	2011	DBLP DOI BibTeX RDF
1	Vibhav Gogate, Rina Dechter	SampleSearch: Importance sampling in presence of determinism.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Philip Boucher	What Next after Determinism in the Ontology of Technology? Distributing Responsibility in the Biofuel Debate.	Science and Engineering Ethics	2011	DBLP DOI BibTeX RDF
1	Jiji Zhang, Peter Spirtes	Intervention, determinism, and the causal minimality condition.	Synthese	2011	DBLP DOI BibTeX RDF
1	Liza Potts	Balancing McLuhan With Williams: A Sociotechnical View of Technological Determinism.	IJSKD	2011	DBLP DOI BibTeX RDF
1	M. Oliver	Technological determinism in educational technology research: some alternative ways of thinking about the relationship between learning and technology.	J. Comp. Assisted Learning	2011	DBLP DOI BibTeX RDF
1		Determinism.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan	Isolating Determinism in Multi-threaded Programs.	RV	2011	DBLP DOI BibTeX RDF
1	Sander Evers, Peter J. F. Lucas	Marginalization without Summation Exploiting Determinism in Factor Algebra.	ECSQARU	2011	DBLP DOI BibTeX RDF
1	Megan Knight, Clare Cook	Beyond technological determinism: a model for understanding the new participatory networked news environment.	MindTrek	2011	DBLP DOI BibTeX RDF