Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Davide Righini, Andrea M. Tonello |
Characterization and Exploitation of Quasi Determinism in Multi-Conductor Power Line Communication Noise. |
IEEE Open J. Commun. Soc. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Florian Hofer 0001, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo |
Industrial control via application containers: Maintaining determinism in IAAS. |
Syst. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Maria Milossi, Eugenia Alexandropoulou Egyptiadou, Konstantinos E. Psannis |
AI Ethics: Algorithmic Determinism or Self-Determination? The GPDR Approach. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Arpit Sharma 0002 |
The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Dylan Chapp, Nigel Tan, Sanjukta Bhowmick, Michela Taufer |
Identifying Degree and Sources of Non-Determinism in MPI Applications Via Graph Kernels. |
IEEE Trans. Parallel Distributed Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Pablo Parra, David Guzmán, Oscar R. Polo, Antonio da Silva 0001, Agustín Martínez-Hellín, Sebastián Sánchez 0001, Manuel Prieto 0003 |
Improving performance and determinism of multitasking systems on the LEON architecture. |
Microprocess. Microsystems |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Juraj Hromkovic |
Kolmogorov complexity and nondeterminism versus determinism for polynomial time computations. |
Electron. Colloquium Comput. Complex. |
2021 |
DBLP BibTeX RDF |
|
16 | Edward A. Lee |
Determinism. |
ACM Trans. Embed. Comput. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Andrew Schumann |
On the Origin of Logical Determinism in Babylonia. |
Logica Universalis |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder |
On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Udi Boker, Karoliina Lehtinen |
History Determinism vs. Good for Gameness in Quantitative Automata. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Peter Leupold, Sebastian Maneth |
Deciding Top-Down Determinism of Regular Tree Languages. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Amit Chakrabarti, Manuel Stoeckl |
The Element Extraction Problem and the Cost of Determinism and Limited Adaptivity in Linear Queries. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Shin-Cheng Mu |
Equational reasoning for non-determinism monad: the case of Spark aggregation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Luke Fernandez |
Teaching Students How to Frame Human-Computer Interactions Using Instrumentalism, Technological Determinism, and a Quadrant Learning Activity. |
Frontiers Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Bell, Kae Suarez, Dylan Chapp, Nigel Tan, Sanjukta Bhowmick, Michela Taufer |
ANACIN-X: A software framework for studying non-determinism in MPI applications. |
Softw. Impacts |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Richard N. M. Rudd-Orthner, Lyudmila Mihaylova |
Deep ConvNet: Non-Random Weight Initialization for Repeatable Determinism, Examined with FSGM. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Sean M. Collins, Duncan James, Maros Servátka, Radovan Vadovic |
Attainment of equilibrium via Marshallian path adjustment: Queueing and buyer determinism. |
Games Econ. Behav. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Peter Leupold, Sebastian Maneth |
Deciding Top-Down Determinism of Regular Tree Languages. |
FCT |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Jonas Böhm, Michael Hanus, Finn Teegen |
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst |
Verifying Determinism in Sequential Programs. |
ICSE (Companion Volume) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst |
Verifying Determinism in Sequential Programs. |
ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Udi Boker, Karoliina Lehtinen |
History Determinism vs. Good for Gameness in Quantitative Automata. |
FSTTCS |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Anant Dhayal |
On Limiting & Limited Non-determinism in NEXP Lower Bounds. |
|
2021 |
RDF |
|
16 | Yukio-Pegio Gunji, Kyoko Nakamura, Mai Minoura, Andrew Adamatzky |
Three types of logical structure resulting from the trilemma of free will, determinism and locality. |
Biosyst. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Richard N. M. Rudd-Orthner, Lyudmila Mihaylova |
Repeatable determinism using non-random weight initialisations in smart city applications of deep learning. |
J. Reliab. Intell. Environ. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Salih Bardakci, Tugba Kocadag Ünver |
Preservice ICT teachers' technology metaphors in the margin of technological determinism. |
Educ. Inf. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Florian Hofer 0001, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo |
Industrial Control via Application Containers: Maintaining determinism in IAAS. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Can determinism and compositionality coexist in RML? (extended version). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Miguel Morin, Matthew Willetts |
Non-Determinism in TensorFlow ResNets. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Michael Stephen Fiske |
Combining Determinism and Indeterminism. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Sandra Dylus |
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Can determinism and compositionality coexist in RML? |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto |
On Resolving Non-determinism in Choreographies. |
Log. Methods Comput. Sci. |
2020 |
DBLP BibTeX RDF |
|
16 | Fredrik Kvist, Andreas Ramstad Urke, Knut Øvsthus |
Energy Efficient Determinism in WSN through Reverse Packet Elimination. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich |
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Sandra Dylus, Jan Christiansen, Finn Teegen |
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism. |
Theory Pract. Log. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Tiago Pinto |
Adaptive Learning in Electricity Market Negotiations Based on Determinism Theory. |
IEEE Intell. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Habib Saissi, Stefan Winter 0001, Oliver Schwahn, Karthik Pattabiraman, Neeraj Suri |
TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. |
DSN |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Fausto Spoto |
Enforcing Determinism of Java Smart Contracts. |
Financial Cryptography Workshops |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Christian Menard, Andrés Goens, Marten Lohstroh, Jerónimo Castrillón |
Achieving Determinism in Adaptive AUTOSAR. |
DATE |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Jaak Henno, Hannu Jaakkola, Jukka Mäkelä |
Non-determinism in nowadays computing and IT. |
MIPRO |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Phuong (Phoebe) Dinh, David Danks |
Effects of Causal Determinism on Causal Learning Trajectories. |
CogSci |
2020 |
DBLP BibTeX RDF |
|
16 | Girish Mururu, Kaushik Ravichandran 0001, Ada Gavrilovska, Santosh Pande |
Generating Robust Parallel Programs via Model Driven Prediction of Compiler Optimizations for Non-determinism. |
ICPP |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Syed Abdul Baqi Shah, Syed Mahfuzul Aziz |
Response Time Determinism in Healthcare Data Analytics Using Machine Learning. |
ICONIP (4) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Sandra Dylus |
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning. |
|
2020 |
RDF |
|
16 | Jym Paul Carandang, Francis George C. Cabarle, Henry N. Adorna, Nestine Hope S. Hernandez, Miguel Ángel Martínez-del-Amor |
Handling Non-determinism in Spiking Neural P Systems: Algorithms and Simulations. |
Fundam. Informaticae |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Moustafa Zein, Ammar Adl, Aboul Ella Hassanien |
Spiking neural P grey wolf optimization system: Novel strategies for solving non-determinism problems. |
Expert Syst. Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Tomasz Placek |
Laplace's demon tries on Aristotle's cloak: on two approaches to determinism. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mauro Lo Schiavo, Barbara Prinari, Ikuko Saito, Kotaro Shoji, Charles C. Benight |
A dynamical systems approach to triadic reciprocal determinism of social cognitive theory. |
Math. Comput. Simul. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Daanish Ali Khan, Linhong Li, Ninghao Sha, Zhuoran Liu 0009, Abelino Jimenez, Bhiksha Raj, Rita Singh |
Non-Determinism in Neural Networks for Adversarial Robustness. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Sandra Dylus, Jan Christiansen, Finn Teegen |
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto |
On Resolving Non-determinism in Choreographies. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Artem Thofimov, Igor E. Kuralenok, Nikiga Marshalkin, Boris Novikov 0001 |
Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Massimo Equi, Roberto Grossi, Alexandru I. Tomescu, Veli Mäkinen |
On the Complexity of Exact Pattern Matching in Graphs: Determinism and Zig-Zag Matching. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Christian Menard, Andres Goens, Marten Lohstroh, Jerónimo Castrillón |
Achieving Determinism in Adaptive AUTOSAR. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Prasanna Ravi, Mahabir Prasad Jhanwar, James Howe, Anupam Chattopadhyay, Shivam Bhasin |
Exploiting Determinism in Lattice-based Signatures - Practical Fault Attacks on pqm4 Implementations of NIST candidates. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|
16 | Andrew Hughes, Amro Awad |
Quantifying Performance Determinism in Virtualized Mixed-Criticality Systems. |
ISORC |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Prasanna Ravi, Mahabir Prasad Jhanwar, James Howe, Anupam Chattopadhyay, Shivam Bhasin |
Exploiting Determinism in Lattice-based Signatures: Practical Fault Attacks on pqm4 Implementations of NIST Candidates. |
AsiaCCS |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ofer Grossman, Yang P. Liu |
Reproducibility and Pseudo-Determinism in Log-Space. |
SODA |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Arpit Sharma 0002 |
The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Dan Frumin, Léon Gondelman, Robbert Krebbers |
Semi-automated Reasoning About Non-determinism in C Expressions. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Milen Loukantchevsky, Nikolay Kostadinov, Hovanes Avakyan |
A Testbed of Non-determinism in Educational Context. |
CompSysTech |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Furlong, Andrew Quinn 0001, Jason Flinn |
The Case for Determinism on the Edge. |
HotEdge |
2019 |
DBLP BibTeX RDF |
|
16 | Richard N. M. Rudd-Orthner, Lyudmila Mihaylova |
Non-Random Weight Initialisation in Deep Learning Networks for Repeatable Determinism. |
DESSERT |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Rashmi Mudduluru |
Verifying Determinism in Sequential Programs. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Jorge Castro, Joaquim Gabarró, Maria J. Serna |
Refining the Imprecise Meaning of Non-determinism in the Web by Strategic Games. |
ICCCI (1) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Qi Zhao 0003, Zhengyi Qiu, Guoliang Jin |
Semantics-aware scheduling policies for synchronization determinism. |
PPoPP |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Timothy Merrifield, Sepideh Roghanchi, Joseph Devietti, Jakob Eriksson |
Lazy Determinism for Faster Deterministic Multithreading. |
ASPLOS |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella |
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. |
Math. Struct. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Abdulkadir Karaagaç, Ingrid Moerman, Jeroen Hoebeke |
Hybrid Schedule Management in 6TiSCH Networks: The Coexistence of Determinism and Flexibility. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Dadiyorto Wendi, Norbert Marwan, Bruno Merz |
In Search of Determinism-Sensitive Region to Avoid Artefacts in Recurrence Plots. |
Int. J. Bifurc. Chaos |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Débora C. Corrêa, David M. Walker, Michael Small |
Detecting Determinism in Time Series with Complex Networks Constructed Using a Compression Algorithm. |
Int. J. Bifurc. Chaos |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ofer Grossman, Yang P. Liu |
Reproducibility and Pseudo-Determinism in Log-Space. |
Electron. Colloquium Comput. Complex. |
2018 |
DBLP BibTeX RDF |
|
16 | Harry Buhrman, Michal Koucký 0001, Bruno Loff, Florian Speelman |
Catalytic Space: Non-determinism and Hierarchy. |
Theory Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | David Baelde, Stéphanie Delaune, Lucca Hirschi |
POR for Security Protocol Equivalences: Beyond Action-Determinism. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Ofer Grossman, Yang P. Liu |
Reproducibility and Pseudo-Determinism in Log-Space. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Pedro R. D'Argenio, Raúl E. Monti |
Input/Output Stochastic Automata with Urgency: Confluence and weak determinism. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Ivan Walulya, Dimitris Palyvos-Giannas, Yiannis Nikolakopoulos, Vincenzo Gulisano, Marina Papatriantafilou, Philippas Tsigas |
Viper: A module for communication-layer determinism and scaling in low-latency stream processing. |
Future Gener. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Chunhong Dou, Xueye Wei, Jinshan Lin |
Fault Diagnosis of Gearboxes Using Nonlinearity and Determinism by Generalized Hurst Exponents of Shuffle and Surrogate Data. |
Entropy |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers |
A unified view of monadic and applicative non-determinism. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Pedro R. D'Argenio, Raúl E. Monti |
Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Masataka Ogawa, Shinya Honda, Hiroaki Takada |
Efficient Approach to Ensure Temporal Determinism in Automotive Control Systems. |
ISED |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Stephen A. Edwards |
On Determinism. |
Principles of Modeling |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Duris, Rafael Korbas, Rastislav Královic, Richard Královic |
Determinism and Nondeterminism in Finite Automata with Advice. |
Adventures Between Lower Bounds and Higher Altitudes |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Fumiya Okubo, Takashi Yokomori |
The Computing Power of Determinism and Reversibility in Chemical Reaction Automata. |
Reversibility and Universality |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Tao Wang, Gian Piero Puccioni, Gian Luca Lippi |
Nonlinear Dynamics at the Meso- and Nanoscale: Stochasticity Meets Determinism. |
COMPENG |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Sarah L. Thomson, Sébastien Vérel, Gabriela Ochoa, Nadarajen Veerapen, David E. Cairns |
Multifractality and dimensional determinism in local optima networks. |
GECCO |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Michael Small, Michael McCullough, Konstantinos Sakellariou |
Ordinal Network Measures - Quantifying Determinism in Data. |
ISCAS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Andrey Gorlin, C. R. Ramakrishnan 0001 |
Separable GPL: Decidable Model Checking with More Non-Determinism. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
16 | David Baelde, Stéphanie Delaune, Lucca Hirschi |
POR for Security Protocol Equivalences - Beyond Action-Determinism. |
ESORICS (1) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Hescott, Caleb Malchik, Andrew Winslow |
Non-determinism Reduces Construction Time in Active Self-assembly Using an Insertion Primitive. |
COCOON |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Seonbong Kim, Joon-Sung Yang |
Optimized I/O determinism for emerging NVM-based NVMe SSD in an enterprise system. |
DAC |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Davide Righini, Andrea M. Tonello |
Noise determinism in multi-conductor narrow band PLC channels. |
ISPLC |
2018 |
DBLP DOI BibTeX RDF |
|
16 | A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink |
Maximally permissive controlled system synthesis for non-determinism and modal logic. |
Discret. Event Dyn. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Lucia Seno, Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino |
Enhancing Communication Determinism in Wi-Fi Networks for Soft Real-Time Industrial Applications. |
IEEE Trans. Ind. Informatics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Vesna Smiljkovic, Osman S. Ünsal, Adrián Cristal, Mateo Valero |
Determinism at Standard-Library Level in TM-Based Applications. |
Int. J. Parallel Program. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Pavle Krsmanovic |
Vigor of survival determinism: subtle evolutionary gradualism interspersed with robust phylogenetic leaping. |
Theory Biosci. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Hamza Ibrahim, Christopher Joseph Pal, Gilles Pesant |
Improving probabilistic inference in graphical models with determinism and cycles. |
Mach. Learn. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ricardo Sousa Silvestre |
Karma Theory, Determinism, Fatalism and Freedom of Will. |
Logica Universalis |
2017 |
DBLP DOI BibTeX RDF |
|