Search results for "determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Ping Lu 0007, Feifei Peng, Haiming Chen	Deciding Determinism of Unary Languages Is coNP-Complete.	Developments in Language Theory	2013	DBLP DOI BibTeX RDF
16	Paul J. Muentener, Laura Schulz	Causal determinism in toddlers.	CogSci	2013	DBLP BibTeX RDF
16	Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton	On the Determinism of Multi-core Processors.	FSFMA	2013	DBLP DOI BibTeX RDF
16	Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani	Call-by-Value Non-determinism in a Linear Logic Type Discipline.	LFCS	2013	DBLP DOI BibTeX RDF
16	Lila Kari	Negative Glues and Non-determinism in Nanocomputations by Self-assembly.	CiE	2013	DBLP DOI BibTeX RDF
16	Junfeng Yang, Heming Cui, Jingyue Wu	Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It.	HotPar	2013	DBLP BibTeX RDF
16	Kai Lu, Xu Zhou, Xiaoping Wang, Wenzhe Zhang, Gen Li 0002	RaceFree: an efficient multi-threading model for determinism.	PPoPP	2013	DBLP DOI BibTeX RDF
16	Olivier Bodini, Antoine Genitrini, Frédéric Peschanski	The Combinatorics of Non-determinism.	FSTTCS	2013	DBLP DOI BibTeX RDF
16	Hyojin Sung, Rakesh Komuravelli, Sarita V. Adve	DeNovoND: efficient hardware support for disciplined non-determinism.	ASPLOS	2013	DBLP DOI BibTeX RDF
16	Cécile Le Prado	Ecriture sonore : entre déterminisme, émergence et interactivité. (Sound composition : between determinism emergence and interactivity.).		2013	RDF
16	Nuel Belnap	Newtonian determinism to branching space-times indeterminism in two moves.	Synth.	2012	DBLP DOI BibTeX RDF
16	Philippe Huneman	Determinism, predictability and open-ended evolution: lessons from computational emergence.	Synth.	2012	DBLP DOI BibTeX RDF
16	U. Khadim, Pieter J. L. Cuijpers	Repairing time-determinism in the process algebra for hybrid systems ACPhssrt.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
16	Lars Kristiansen, Bedeho Mesghina Wolde Mender	Non-determinism in Gödel's System T.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
16	Leonid A. Levin	Randomness and Non-determinism	CoRR	2012	DBLP BibTeX RDF
16	Rustam Tagiew	Mining Determinism in Human Strategic Behavior	CoRR	2012	DBLP BibTeX RDF
16	Alejandro Díaz-Caro, Gilles Dowek	Non determinism through type isomorphism	LSFA	2012	DBLP DOI BibTeX RDF
16	Steven Hand 0001	An experiment in determinism.	Commun. ACM	2012	DBLP DOI BibTeX RDF
16	Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto	A relational semantics for parallelism and non-determinism in a functional setting.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
16	Tuur Ghys	Technology Trees: Freedom and Determinism in Historical Strategy Games.	Game Stud.	2012	DBLP BibTeX RDF
16	Artiom Alhazov, Rudolf Freund, Kenichi Morita	Sequential and maximally parallel multiset rewriting: reversibility and determinism.	Nat. Comput.	2012	DBLP DOI BibTeX RDF
16	Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers	Rule formats for determinism and idempotence.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
16	Wouter Gelade, Marc Gyssens, Wim Martens	Regular Expressions with Counting: Weak versus Strong Determinism.	SIAM J. Comput.	2012	DBLP DOI BibTeX RDF
16	Nuno Macedo, Hugo Pacheco 0001, Alcino Cunha	Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.	RAMiCS	2012	DBLP DOI BibTeX RDF
16	Flavio M. de Paula, Alan J. Hu, Amir Nahir	nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces.	CAV	2012	DBLP DOI BibTeX RDF
16	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
16	Theodoros Rekatsinas, Amol Deshpande, Lise Getoor	Local structure and determinism in probabilistic databases.	SIGMOD Conference	2012	DBLP DOI BibTeX RDF
16	Juraj Hromkovic, Rastislav Královic, Richard Královic, Richard Stefanec	Determinism vs. Nondeterminism for Two-Way Automata - Representing the Meaning of States by Logical Formulæ.	Developments in Language Theory	2012	DBLP DOI BibTeX RDF
16	Haiming Chen, Ping Lu 0007	Checking Determinism of Regular Expressions with Counting.	Developments in Language Theory	2012	DBLP DOI BibTeX RDF
16	Dongyoon Lee, Peter M. Chen, Jason Flinn, Satish Narayanasamy	Chimera: hybrid program analysis for determinism.	PLDI	2012	DBLP DOI BibTeX RDF
16	Massimiliano Ruggeri, Giorgio Malaguti, Massimo Martelli	Improvements of determinism in WI-FI real-time protocol for agricultural machine clusters.	ISIE	2012	DBLP DOI BibTeX RDF
16	Thomas Colcombet	Forms of Determinism for Automata (Invited Talk).	STACS	2012	DBLP DOI BibTeX RDF
16	Gabriella Castelli, Marco Mamei, Alberto Rosi, Franco Zambonelli	Behavior Predictability Despite Non-Determinism in the SAPERE Ecosystem Preliminary Ideas.	WOA	2012	DBLP BibTeX RDF
16	Gabriella Castelli, Marco Mamei, Alberto Rosi, Franco Zambonelli	Behavior Predictability Despite Non-Determinism in the SAPERE Ecosystem.	SASO Workshops	2012	DBLP DOI BibTeX RDF
16	Gaoxiang Ouyang, Zhaojie Ju, Honghai Liu 0001	Surface EMG signals determinism analysis based on recurrence plot for hand grasps.	IJCNN	2012	DBLP DOI BibTeX RDF
16	Samir Elouasbi, Andrzej Pelc	Time of Anonymous Rendezvous in Trees: Determinism vs. Randomization.	SIROCCO	2012	DBLP DOI BibTeX RDF
16	Miklós Ajtai	Determinism versus nondeterminism with arithmetic tests and computation: extended abstract.	STOC	2012	DBLP DOI BibTeX RDF
16	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
16		Determinism.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
16	Philip Boucher	What Next after Determinism in the Ontology of Technology? Distributing Responsibility in the Biofuel Debate.	Sci. Eng. Ethics	2011	DBLP DOI BibTeX RDF
16	Liza Potts	Balancing McLuhan With Williams: A Sociotechnical View of Technological Determinism.	Int. J. Sociotechnology Knowl. Dev.	2011	DBLP DOI BibTeX RDF
16	Jiji Zhang, Peter Spirtes	Intervention, determinism, and the causal minimality condition.	Synth.	2011	DBLP DOI BibTeX RDF
16	Vibhav Gogate, Rina Dechter	SampleSearch: Importance sampling in presence of determinism.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
16	Miklós Ajtai	Determinism Versus Nondeterminism with Arithmetic Tests and Computation.	Electron. Colloquium Comput. Complex.	2011	DBLP BibTeX RDF
16	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.	CoRR	2011	DBLP BibTeX RDF
16	Martin Oliver	Technological determinism in educational technology research: some alternative ways of thinking about the relationship between learning and technology.	J. Comput. Assist. Learn.	2011	DBLP DOI BibTeX RDF
16	Pekka Kilpeläinen	Checking determinism of XML Schema content models in optimal time.	Inf. Syst.	2011	DBLP DOI BibTeX RDF
16	Itai Sher	Credibility and determinism in a game of persuasion.	Games Econ. Behav.	2011	DBLP DOI BibTeX RDF
16	Steve Reeves, David Streader	Contexts, refinement and determinism.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
16	Megan Knight, Clare Cook	Beyond technological determinism: a model for understanding the new participatory networked news environment.	MindTrek	2011	DBLP DOI BibTeX RDF
16	Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune	Trace equivalence decision: negative tests and non-determinism.	CCS	2011	DBLP DOI BibTeX RDF
16	Sander Evers, Peter J. F. Lucas	Marginalization without Summation Exploiting Determinism in Factor Algebra.	ECSQARU	2011	DBLP DOI BibTeX RDF
16	Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan	Isolating Determinism in Multi-threaded Programs.	RV	2011	DBLP DOI BibTeX RDF
16	Martin Farach-Colton, Antonio Fernández Anta, Alessia Milani, Miguel A. Mosteiro, Shmuel Zaks	Brief Announcement: Opportunistic Information Dissemination in Mobile Ad-Hoc Networks: - Adaptiveness vs. Obliviousness and Randomization vs. Determinism.	DISC	2011	DBLP DOI BibTeX RDF
16	Agata Ciabattoni, Ori Lahav 0001, Anna Zamansky	Basic Constructive Connectives, Determinism and Matrix-Based Semantics.	TABLEAUX	2011	DBLP DOI BibTeX RDF
16	Kunal Mohan, Frederik Ahlemann	A Theory of User Acceptance of IS Project Management Methodologies: Understanding the Influence of Psychological Determinism and Experience.	Wirtschaftsinformatik	2011	DBLP BibTeX RDF
16	Xiaowei Zhang, Donggang Cao, Hong Mei 0001, Fuqing Yang	Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time Applications.	QSIC	2011	DBLP DOI BibTeX RDF
16	Sanda Erdelez, John M. Budd, Victoria L. Rubin, Jacquelyn A. Burkell, Anabel Quan-Haase	Avoiding determinism: New research into the discovery of information.	ASIST	2011	DBLP DOI BibTeX RDF
16	Cristian Zamfir, Gautam Altekar, George Candea	Debug Determinism: The Sweet Spot for Replay-Based Debugging.	HotOS	2011	DBLP BibTeX RDF
16	Michele Pagani, Simona Ronchi Della Rocca	Linearity, Non-determinism and Solvability.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
16	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
16	Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Manuel Ojeda-Aciego	A coalgebraic approach to non-determinism: Applications to multilattices.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
16	José María Amigó, Samuel Zambrano, Miguel A. F. Sanjuán	Detecting Determinism in Time Series with Ordinal Patterns: a Comparative Study.	Int. J. Bifurc. Chaos	2010	DBLP DOI BibTeX RDF
16	David S. Heineman	Book Review: Tim Jordan, Hacking: Digital Media and Technological Determinism. Cambridge: Polity Press, 2008. vi + 160 pp. ISBN 978 - 0 - 74563 - 9727, $19.95 (pbk).	New Media Soc.	2010	DBLP DOI BibTeX RDF
16	Marcus Breen	Digital determinism: culture industries in the USA-Australia Free Trade Agreement.	New Media Soc.	2010	DBLP DOI BibTeX RDF
16	Peyman Razaghi, Giuseppe Caire	Relay Strategies Based on Cross-Determinism for the Broadcast Relay Channel	CoRR	2010	DBLP BibTeX RDF
16	Alexander Thomson, Daniel J. Abadi	The Case for Determinism in Database Systems. (PDF / PS)	Proc. VLDB Endow.	2010	DBLP DOI BibTeX RDF
16	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	Commun. ACM	2010	DBLP DOI BibTeX RDF
16	Adrian Nistor, Darko Marinov, Josep Torrellas	InstantCheck: Checking the Determinism of Parallel Programs Using On-the-Fly Incremental Hashing.	MICRO	2010	DBLP DOI BibTeX RDF
16	Peter G. Bishop, Lukasz Cyra	Overcoming Non-determinism in Testing Smart Devices: A Case Study.	SAFECOMP	2010	DBLP DOI BibTeX RDF
16	Edwin El-Mahassni	Combining Determinism and Intuition through Univariate Decision Strategies for Target Detection from Multi-sensors.	IFIP AI	2010	DBLP DOI BibTeX RDF
16	Xiaowei Zhang, Donggang Cao, Yunpeng Gao, Xiangqun Chen, Hong Mei 0001	An Automatic Configuration Approach to Improve Real-Time Application Throughput While Attaining Determinism.	COMPSAC	2010	DBLP DOI BibTeX RDF
16	Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar	Automatic Verification of Determinism for Structured Parallel Programs.	SAS	2010	DBLP DOI BibTeX RDF
16	Peyman Razaghi, Giuseppe Caire	Relay strategies based on cross-determinism for the broadcast relay channel.	Allerton	2010	DBLP DOI BibTeX RDF
16	Artiom Alhazov, Rudolf Freund, Kenichi Morita	Reversibility and Determinism in Sequential Multiset Rewriting.	UC	2010	DBLP DOI BibTeX RDF
16	Franck Cappello, Amina Guermouche, Marc Snir	On Communication Determinism in Parallel HPC Applications.	ICCCN	2010	DBLP DOI BibTeX RDF
16	Qing Wang 0002	A Proof System with Bounded Non-determinism in Database Transformations.	SDKB	2010	DBLP DOI BibTeX RDF
16	Mark Balaguer	Why there are no good arguments for any interesting version of determinism.	Synth.	2009	DBLP DOI BibTeX RDF
16	John Earman	Essential self-adjointness: implications for determinism and the classical-quantum correspondence.	Synth.	2009	DBLP DOI BibTeX RDF
16		Semantic Domains for Combining Probability and Non-Determinism.		2009	DBLP BibTeX RDF
16		Retraction notice to "Semantic Domains for Combining Probability and Non-Determinism" [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104].	Electron. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
16	Klaus Keimel, Gordon D. Plotkin	Predicate transformers for extended probability and non-determinism.	Math. Struct. Comput. Sci.	2009	DBLP DOI BibTeX RDF
16	Tim Jordan	Hacking and power: Social and Technological Determinism in the Digital Age.	First Monday	2009	DBLP DOI BibTeX RDF
16	Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba	On determinism in modal transition systems.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
16	Kai Salomaa, Sheng Yu 0001, Jinfeng Zan	Deciding determinism of caterpillar expressions.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
16	Brigitte Falkenburg, Friedel Weinert	Indeterminism and Determinism in Quantum Mechanics.	Compendium of Quantum Physics	2009	DBLP DOI BibTeX RDF
16	Madhukar Anand, Sebastian Fischmeister, Insup Lee 0001	Resource Scopes: Toward Language Support for Compositional Determinism.	ISORC	2009	DBLP DOI BibTeX RDF
16	Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
16	Lindsay V. Allen, Kiah Mok Goh, Dawn M. Tilbury	Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers.	CASE	2009	DBLP DOI BibTeX RDF
16	Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers	Rule Formats for Determinism and Idempotence.	FSEN	2009	DBLP DOI BibTeX RDF
16	Arnon Avron, Agata Ciabattoni, Anna Zamansky	Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.	CSR	2009	DBLP DOI BibTeX RDF
16	Diogo C. Soriano, Ricardo Suyama, Romis Ribeiro Faissol Attux	Blind Extraction of Chaotic Sources from White Gaussian Noise Based on a Measure of Determinism.	ICA	2009	DBLP DOI BibTeX RDF	Blind source extraction, chaotic signals, recurrence maps, blind source separation
16	Hadeli Hadeli, Ragnar Schierholz, Markus Brändle, Cristian Tuduce	Leveraging Determinism in Industrial Control Systems for Advanced Anomaly Detection and Reliable Security Configuration.	ETFA	2009	DBLP DOI BibTeX RDF
16	Artiom Alhazov, Kenichi Morita	On Reversibility and Determinism in P Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
16	Steve Reeves, David Streader	General Refinement, Part One: Interfaces, Determinism and Special Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Javed I. Khan, Asrar U. Haque	Computing with data non-determinism: Wait time management for peer-to-peer systems.	Comput. Commun.	2008	DBLP DOI BibTeX RDF
16	Ken Naitoh	Stochastic determinism underlying life: systematic theory for assisting the synthesis of artificial cells and new medicines.	Artif. Life Robotics	2008	DBLP DOI BibTeX RDF
16	Hartmut Messerschmidt, Friedrich Otto	On determinism versus nondeterminism for restarting automata.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
16	Vishnu Vinekar	Empowerment of Slum Children in Developing Countries Through Information Technology: Human Capabilities Versus Environmental Determinism.	AMCIS	2008	DBLP BibTeX RDF
16	Elena Czeizler, Eugen Czeizler, Lila Kari, Kai Salomaa	Watson-Crick automata: determinism and state complexity.	DCFS	2008	DBLP BibTeX RDF