Search results for "determinism"

Hits ?▲	Authors	Title	Venue	Year	Link
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