Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Christian Schwarzenegger |
Technological determinism and social change: Communication in a tech-mad world. |
New Media Soc. |
2017 |
DBLP BibTeX RDF |
|
16 | Oleg Kiselyov |
Effects Without Monads: Non-determinism - Back to the Meta Language. |
ML/OCaml |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Pascal Caron, Ludovic Mignot, Clément Miklarz |
On the decidability of $k$-Block determinism. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Umut Oztok, Adnan Darwiche |
On Compiling DNNFs without Determinism. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Arthur Choi, Adnan Darwiche |
On Relaxing Determinism in Arithmetic Circuits. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Cynthia Kop, Jakob Grue Simonsen |
The Power of Non-Determinism in Higher-Order Implicit Complexity. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Tomer Libal, Xaviera Steele |
Determinism in the Certification of UNSAT Proofs. |
PxTP |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Janaki Srinivasan, Megan Finn, Morgan Ames |
Information determinism: The consequences of the faith in information. |
Inf. Soc. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ernst-Erich Doberkat, Pedro Sánchez Terraf |
Stochastic non-determinism and effectivity functions. |
J. Log. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Sergio Antoy, Michael Hanus |
Eliminating Irrelevant Non-determinism in Functional Logic Programs. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Nikos Zacheilas, Vana Kalogeraki, Yiannis Nikolakopoulos, Vincenzo Gulisano, Marina Papatriantafilou, Philippas Tsigas |
Maximizing Determinism in Stream Processing Under Latency Constraints. |
DEBS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Frank Trollmann, Sahin Albayrak |
Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars. |
ICMT |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Georgios Z. Papadopoulos, Tadanori Matsui, Pascal Thubert, Géraldine Texier, Thomas Watteyne, Nicolas Montavont |
Leapfrog collaboration: Toward determinism and predictability in industrial-IoT applications. |
ICC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
|
16 | Ivan Walulya, Yiannis Nikolakopoulos, Vincenzo Gulisano, Marina Papatriantafilou, Philippas Tsigas |
Viper: Communication-Layer Determinism and Scaling in Low-Latency Stream Processing. |
Euro-Par Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Jose M. Faria |
Non-determinism and Failure Modes in Machine Learning. |
ISSRE Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Sandra Alves, Sabine Broda |
Inhabitation machines: determinism and principality. |
NCMA |
2017 |
DBLP BibTeX RDF |
|
16 | Simon Perdrix, Luc Sanselme |
Determinism and Computational Power of Real Measurement-Based Quantum Computation. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Ghorbani, Mehran S. Fallah |
Run-Time Verification for Observational Determinism Using Dynamic Program Slicing. |
ISC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Rodrigo Otoni, Ana Cavalcanti 0001, Augusto Sampaio |
Local Analysis of Determinism for CSP. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Shokoufeh Monjezi Kouchak, Ashraf Gaffar |
Determinism in future cars: Why autonomous trucks are easier to design. |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Seonbong Kim, Joon-Sung Yang |
Improving NVMe SSD I/O determinism with PCIe virtual channel: work-in-progress. |
CASES |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Simon Van Mierlo, Hans Vangheluwe |
Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool. |
MoDELS (Satellite Events) |
2017 |
DBLP BibTeX RDF |
|
16 | Allen Starke, D. Kumar, M. Ford, Janise McNair, A. Bell |
A test bed study of network determinism for heterogeneous traffic using time-triggered ethernet. |
MILCOM |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Arthur Choi, Adnan Darwiche |
On Relaxing Determinism in Arithmetic Circuits. |
ICML |
2017 |
DBLP BibTeX RDF |
|
16 | Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes |
Non-Determinism and the Dynamics of Knowledge. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Julian R. Eichhoff, Dieter Roller 0002 |
Designing the Same, but in Different Ways: Determinism in Graph-Rewriting Systems for Function-Based Design Synthesis. |
J. Comput. Inf. Sci. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Adam Bear, Joshua Knobe |
What Do People Find Incompatible With Causal Determinism? |
Cogn. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Vivek Anand T. Kallampally, Raghunath Tewari |
Trading Determinism for Time in Space Bounded Computations. |
Electron. Colloquium Comput. Complex. |
2016 |
DBLP BibTeX RDF |
|
16 | Fernando de la Cruz Paragas, Trisha T. C. Lin |
Organizing and reframing technological determinism. |
New Media Soc. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Vivek Anand T. Kallampally, Raghunath Tewari |
Trading Determinism for Time in Space Bounded Computations. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
16 | Christian Cachin, Simon Schubert, Marko Vukolic |
Non-determinism in Byzantine Fault-Tolerant Replication. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
16 | Lin Chao, Camilla Ulla Rang, Audrey Menegaz Proenca, Jasper Ubirajara Chao |
Asymmetrical Damage Partitioning in Bacteria: A Model for the Evolution of Stochasticity, Determinism, and Genetic Assimilation. |
PLoS Comput. Biol. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Aiping Gan, Xianzhong Zhao, Miaomiao Ren |
Global determinism of semigroups having regular globals. |
Period. Math. Hung. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Dennis Komm |
An Introduction to Online Computation - Determinism, Randomization, Advice |
|
2016 |
DOI RDF |
|
16 | Krishna Patel, Robert M. Hierons |
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Vivek Anand T. Kallampally, Raghunath Tewari |
Trading Determinism for Time in Space Bounded Computations. |
MFCS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Christopher Boelmann, Lorenz Schwittmann, Marian Waltereit, Matthäus Wander, Torben Weis |
Application-Level Determinism in Distributed Systems. |
ICPADS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Harry Buhrman, Michal Koucký 0001, Bruno Loff, Florian Speelman |
Catalytic Space: Non-determinism and Hierarchy. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Christian Cachin, Simon Schubert, Marko Vukolic |
Non-Determinism in Byzantine Fault-Tolerant Replication. |
OPODIS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex |
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jésica de Armas, Pere Tuset, Tengfei Chang, Ferran Adelantado, Thomas Watteyne, Xavier Vilajosana |
Determinism through Path Diversity: Why Packet Replication Makes Sense. |
INCoS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Lu Bai, Jiansheng Wang, Baolei Huang |
The Effect of Shared L2 Cache on Determinism in Airborne Embedded System. |
CIS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti |
Input/Output Stochastic Automata - Compositionality and Determinism. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Benny Kimelfeld, Ester Livshits, Liat Peterfreund |
Recognizing Determinism in Prioritized Repairing of Inconsistent Databases. |
AMW |
2016 |
DBLP BibTeX RDF |
|
16 | Kerem Halil Shah |
Extending ancilla driven universal quantum computation beyond stepwise determinism. |
|
2016 |
RDF |
|
16 | Thomas Müller 0007 |
Time and Determinism. |
J. Philos. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jocelyne Faddoul, Wendy MacCaull |
Handling Non-determinism with Description Logics using a Fork/Join Approach. |
Int. J. Netw. Comput. |
2015 |
DBLP BibTeX RDF |
|
16 | Ping Lu 0007, Joachim Bremer, Haiming Chen |
Deciding Determinism of Regular Languages. |
Theory Comput. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Arnab Bhattacharyya 0001, Kirankumar Shiragur |
How friends and non-determinism affect opinion dynamics. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
16 | Guido Montúfar, Keyan Ghazi-Zahedi, Nihat Ay |
Geometry and Determinism of Optimal Stationary Control in Partially Observable Markov Decision Processes. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
16 | Antonia Cianciulli, Rosa Calvello, Maria A. Panaro |
Determinism and randomness in the evolution of introns and sine inserts in mouse and human mitochondrial solute carrier and cytokine receptor genes. |
Comput. Biol. Chem. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-Way Automata. |
Int. J. Found. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Maryam Dabaghchian, Mohammad Abdollahi Azgomi |
Model checking the observational determinism security property using PROMELA and SPIN. |
Formal Aspects Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Haiming Chen, Ping Lu 0007 |
Checking determinism of regular expressions with counting. |
Inf. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ping Lu 0007, Feifei Peng, Haiming Chen, Lixiao Zheng |
Deciding determinism of unary languages. |
Inf. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Tom J. Ameloot |
Deciding Determinism with Fairness for Simple Transducer Networks. |
ACM Trans. Database Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens |
Fixing non-determinism. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jaber Karimpour, Ayaz Isazadeh, Ali A. Noroozi |
Verifying Observational Determinism. |
SEC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Arnab Bhattacharyya 0001, Kirankumar Shiragur |
How friends and non-determinism affect opinion dynamics. |
CDC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Matthew J. Hausknecht, Peter Stone |
The Impact of Determinism on Learning Atari 2600 Games. |
AAAI Workshop: Learning for General Competency in Video Games |
2015 |
DBLP BibTeX RDF |
|
16 | Mohamed Hamza Ibrahim, Christopher J. Pal, Gilles Pesant |
Exploiting Determinism to Scale Relational Inference. |
AAAI |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ali Ebnenasir |
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Filip Barac, Mikael Gidlund, Tingting Zhang |
PREED: Packet REcovery by Exploiting the Determinism in Industrial WSN Communication. |
DCOSS |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Peter Danielis, Jan Skodzik, Vlado Altmann, Lennard Lender, Dirk Timmermann |
Dynamic search tolerance at runtime for lookup determinism in the DHT-based P2P network Kad. |
CCNC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Pavel Martinek |
Fuzzy multiset finite automata: Determinism, languages, and pumping lemma. |
FSKD |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Timothy Merrifield, Joseph Devietti, Jakob Eriksson |
High-performance determinism with total store order consistency. |
EuroSys |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Smula |
Information content of online problems: advice versus determinism and randomization. |
|
2015 |
RDF |
|
16 | Pepijn Crouzen |
Modularity and determinism in compositional Markov models. |
|
2015 |
RDF |
|
16 | Xavier Jean |
Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique. (Hypervisor control of COTS multi-cores processors in order to enforce determinism for future avionics equipment). |
|
2015 |
RDF |
|
16 | Meng Li 0003, Michaël Lauer, Guchuan Zhu, Yvon Savaria |
Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation. |
IEEE Trans. Ind. Informatics |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Sajda Qureshi |
Overcoming Technological Determinism in Understanding the Digital Divide: Where Do We Go From Here? |
Inf. Technol. Dev. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-way Automata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Daniel McCormack |
Boolean Algebraic Programs as a Methodology for Symbolically Demonstrating Lower and Upper Bounds of Algorithms and Determinism. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
16 | Vikram Gupta, Nuno Pereira 0001, Eduardo Tovar, Ragunathan Rajkumar |
Poster abstract: a harmony of sensors: achieving determinism in multi-application sensor networks. |
IPSN |
2014 |
DBLP BibTeX RDF |
|
16 | Cedomir Segulja, Tarek S. Abdelrahman |
What is the cost of weak determinism? |
PACT |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Kaushik Ravichandran 0001, Ada Gavrilovska, Santosh Pande |
DeSTM: harnessing determinism in STMs for application development. |
PACT |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Hoang Minh Le 0001, Rolf Drechsler |
Towards verifying determinism of SystemC designs. |
DATE |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Robbert Krebbers |
An operational and axiomatic semantics for non-determinism and sequence points in C. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto |
Resolving Non-determinism in Choreographies. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Nikita Danilenko |
Exploring Non-Determinism in Graph Algorithms. |
WLP/WFLP |
2014 |
DBLP BibTeX RDF |
|
16 | Jocelyne Faddoul, Wendy MacCaull |
A Parallel Framework for Handling Non-determinism with Expressive Description Logics. |
IPDPS Workshops |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Li Lu, Weixing Ji, Michael L. Scott |
Dynamic enforcement of determinism in a parallel scripting language. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Romina Eramo, Romeo Marinelli, Alfonso Pierantonio, Gianni Rosa |
Towards Analysing Non-Determinism in Bidirectional Transformations. |
AMT@MoDELS |
2014 |
DBLP BibTeX RDF |
|
16 | Florent Becker, Pedro Montealegre 0001, Ivan Rapaport, Ioan Todinca |
The Simultaneous Number-in-Hand Communication Model for Networks: Private Coins, Public Coins and Determinism. |
SIROCCO |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Mário de Sousa |
Guaranteeing replica determinism on IEC 61499. |
ETFA |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Julian Shun, Guy E. Blelloch |
Phase-concurrent hash tables for determinism. |
SPAA |
2014 |
DBLP DOI BibTeX RDF |
|
16 | David B. Smith 0002, Vibhav Gogate |
Loopy Belief Propagation in the Presence of Determinism. |
AISTATS |
2014 |
DBLP BibTeX RDF |
|
16 | Nicolas Francisco Lopez Giraldo |
Assessing and reducing the impact of LDA's non-determinism in software engineering. |
|
2014 |
RDF |
|
16 | Pavle Krsmanovic |
Fundamental paradox of survival determinism: the ur-etiology disease paradigm. |
Theory Biosci. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Johan Söderberg |
Determining social change: The role of technological determinism in the collective action framing of hackers. |
New Media Soc. |
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. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
16 | Joshua Garland, Ryan G. James, Elizabeth Bradley |
Determinism, Complexity, and Predictability in Computer Performance |
CoRR |
2013 |
DBLP BibTeX RDF |
|
16 | Armin Hemmerling |
On Regular Sets of Bounds and Determinism versus Nondeterminism. |
CoRR |
2013 |
DBLP 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æ. |
Int. J. Found. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gianluca De Marco, Dariusz R. Kowalski |
Searching for a subset of counterfeit coins: Randomization vs determinism and adaptiveness vs non-adaptiveness. |
Random Struct. Algorithms |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ian J. Hayes, Alan Burns 0001, Brijesh Dongol, Cliff B. Jones |
Comparing Degrees of Non-Determinism in Expression Evaluation. |
Comput. J. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Federico Aschieri, Margherita Zorzi |
Non-determinism, Non-termination and the Strong Normalization of System T. |
TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Sebastian Bala, Dariusz Jackowski |
Limited Non-determinism Hierarchy of Counter Automata. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Vincent M. Weaver, Daniel Terpstra, Shirley Moore |
Non-determinism and overcount on modern hardware performance counter implementations. |
ISPASS |
2013 |
DBLP DOI BibTeX RDF |
|