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 |
|