Search results for "non-determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Cyrille Artho, Armin Biere, Shinichi Honiden	Enforcer - Efficient Failure Injection.	FM	2006	DBLP DOI BibTeX RDF
21	Levi Lucio, Luis Pedro, Didier Buchs	A Test Language for CO-OPN Specifications.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
21	Florence Maraninchi, Nicolas Halbwachs	Compositional Semantics of Non-Deterministic Synchronous Languages.	ESOP	1996	DBLP DOI BibTeX RDF
21	Yiannis N. Moschovakis, Glen T. Whitney	Powerdomains, Powerstructures and Fairness.	CSL	1994	DBLP DOI BibTeX RDF
21	Yves Bekkers, Lucien Ungaro	Real-Time Memory Management for Prolog.	RCLP	1991	DBLP DOI BibTeX RDF	early reset, variable shunting, attributed variable, virtual backtracking, Prolog, implementation, abstract machine, realtime, garbage collector
21	Gail E. Kaiser	Concurrent meld.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	MELD
20	Vincent Barichard	CHR++: An efficient CHR system in C++ with don't know non-determinism.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
20	Sisi Duan, Yue Huang	Byzantine Fault Tolerance with Non-Determinism, Revisited.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
20	Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto	Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Miguel Alcon, Axel Brando, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla	Main sources of variability and non-determinism in AD software: taxonomy and prospects to handle them.	Real Time Syst.	2023	DBLP DOI BibTeX RDF
20	Dmytro Gavinsky	Patterned non-determinism in communication complexity.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
20	Baicai Sun, Dunwei Gong, Feng Pan 0008, Xiangjuan Yao, Tian Tian	Evolutionary Generation of Test Suites for Multi-Path Coverage of MPI Programs With Non-Determinism.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
20	Yucong Chen, Xianzhi Tang, Shuaixin Xu, Fangfang Zhu, Qingguo Zhou, Tien-Hsiung Weng	Analyzing execution path non-determinism of the Linux kernel in different scenarios.	Connect. Sci.	2023	DBLP DOI BibTeX RDF
20	Dmytro Gavinsky	Patterned non-determinism in communication complexity.	CoRR	2023	DBLP DOI BibTeX RDF
20	Alejandro Díaz-Caro, Octavio Malherbe	Non-determinism in a linear logic type discipline: A concrete categorical perspective.	CoRR	2023	DBLP DOI BibTeX RDF
20	Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang	LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation.	CoRR	2023	DBLP DOI BibTeX RDF
20	Bas van den Heuvel 0001, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001	Typed Non-determinism in Functional and Concurrent Calculi.	APLAS	2023	DBLP DOI BibTeX RDF
20	Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto	Information Flow Analysis for Detecting Non-Determinism in Blockchain.	ECOOP	2023	DBLP DOI BibTeX RDF
20	Arnaud Carayol, Philippe Duchon, Florent Koechlin, Cyril Nicaud	One Drop of Non-Determinism in a Random Deterministic Automaton.	STACS	2023	DBLP DOI BibTeX RDF
20	Bas van den Heuvel 0001, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001	Functions as Processes: The Case of Collapsing Non-determinism.	CoRR	2022	DBLP DOI BibTeX RDF
20	A. Feder Cooper, Jonathan Frankle, Christopher De Sa	Non-Determinism and the Lawlessness of ML Code.	CoRR	2022	DBLP DOI BibTeX RDF
20	Eduard Kamburjan, Nathan Wasser	The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics.	ICE	2022	DBLP DOI BibTeX RDF
20	A. Feder Cooper, Jonathan Frankle, Christopher De Sa	Non-Determinism and the Lawlessness of Machine Learning Code.	CSLAW	2022	DBLP DOI BibTeX RDF
20	Alexandre Fernandez, Luidnel Maignan, Antoine Spicher	Non-Determinism in Lindenmayer Systems and Global Transformations.	MFCS	2022	DBLP DOI BibTeX RDF
20	Patrick Bell, Kae Suarez, Barbara Fossum, Dylan Chapp, Sanjukta Bhowmick, Michela Taufer	A Research-Based Course Module to Study Non-determinism in High Performance Applications.	IPDPS Workshops	2022	DBLP DOI BibTeX RDF
20	Rongjian Liang, Hua Xiang 0001, Jinwook Jung, Jiang Hu, Gi-Joon Nam	A Stochastic Approach to Handle Non-Determinism in Deep Learning-Based Design Rule Violation Predictions.	ICCAD	2022	DBLP DOI BibTeX RDF
20	Alexander Rucker, Muhammad Shahbaz 0001, Kunle Olukotun	Chopping off the Tail: Bounded Non-Determinism for Real-Time Accelerators.	IEEE Comput. Archit. Lett.	2021	DBLP DOI BibTeX RDF
20	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
20	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
20	Shin-Cheng Mu	Equational reasoning for non-determinism monad: the case of Spark aggregation.	CoRR	2021	DBLP BibTeX RDF
20	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
20	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
20	Anant Dhayal	On Limiting & Limited Non-determinism in NEXP Lower Bounds.		2021	RDF
20	Miguel Morin, Matthew Willetts	Non-Determinism in TensorFlow ResNets.	CoRR	2020	DBLP BibTeX RDF
20	Sandra Dylus	Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning.	CoRR	2020	DBLP BibTeX RDF
20	Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto	On Resolving Non-determinism in Choreographies.	Log. Methods Comput. Sci.	2020	DBLP BibTeX RDF
20	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
20	Jaak Henno, Hannu Jaakkola, Jukka Mäkelä	Non-determinism in nowadays computing and IT.	MIPRO	2020	DBLP DOI BibTeX RDF
20	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
20	Sandra Dylus	Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning.		2020	RDF
20	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
20	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
20	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
20	Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto	On Resolving Non-determinism in Choreographies.	CoRR	2019	DBLP BibTeX RDF
20	Arpit Sharma 0002	The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism.	ICTAC	2019	DBLP DOI BibTeX RDF
20	Dan Frumin, Léon Gondelman, Robbert Krebbers	Semi-automated Reasoning About Non-determinism in C Expressions.	ESOP	2019	DBLP DOI BibTeX RDF
20	Milen Loukantchevsky, Nikolay Kostadinov, Hovanes Avakyan	A Testbed of Non-determinism in Educational Context.	CompSysTech	2019	DBLP DOI BibTeX RDF
20	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
20	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
20	Harry Buhrman, Michal Koucký 0001, Bruno Loff, Florian Speelman	Catalytic Space: Non-determinism and Hierarchy.	Theory Comput. Syst.	2018	DBLP DOI BibTeX RDF
20	Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers	A unified view of monadic and applicative non-determinism.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
20	Andrey Gorlin, C. R. Ramakrishnan 0001	Separable GPL: Decidable Model Checking with More Non-Determinism.	CONCUR	2018	DBLP DOI BibTeX RDF
20	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
20	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
20	Oleg Kiselyov	Effects Without Monads: Non-determinism - Back to the Meta Language.	ML/OCaml	2017	DBLP DOI BibTeX RDF
20	Cynthia Kop, Jakob Grue Simonsen	The Power of Non-Determinism in Higher-Order Implicit Complexity.	CoRR	2017	DBLP BibTeX RDF
20	Ernst-Erich Doberkat, Pedro Sánchez Terraf	Stochastic non-determinism and effectivity functions.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
20	Sergio Antoy, Michael Hanus	Eliminating Irrelevant Non-determinism in Functional Logic Programs.	PADL	2017	DBLP DOI BibTeX RDF
20	Frank Trollmann, Sahin Albayrak	Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars.	ICMT	2017	DBLP DOI BibTeX RDF
20	Jose M. Faria	Non-determinism and Failure Modes in Machine Learning.	ISSRE Workshops	2017	DBLP DOI BibTeX RDF
20	Simon Van Mierlo, Hans Vangheluwe	Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
20	Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes	Non-Determinism and the Dynamics of Knowledge.	IJCAI	2017	DBLP DOI BibTeX RDF
20	Christian Cachin, Simon Schubert, Marko Vukolic	Non-determinism in Byzantine Fault-Tolerant Replication.	CoRR	2016	DBLP BibTeX RDF
20	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
20	Harry Buhrman, Michal Koucký 0001, Bruno Loff, Florian Speelman	Catalytic Space: Non-determinism and Hierarchy.	STACS	2016	DBLP DOI BibTeX RDF
20	Christian Cachin, Simon Schubert, Marko Vukolic	Non-Determinism in Byzantine Fault-Tolerant Replication.	OPODIS	2016	DBLP DOI BibTeX RDF
20	Jocelyne Faddoul, Wendy MacCaull	Handling Non-determinism with Description Logics using a Fork/Join Approach.	Int. J. Netw. Comput.	2015	DBLP BibTeX RDF
20	Arnab Bhattacharyya 0001, Kirankumar Shiragur	How friends and non-determinism affect opinion dynamics.	CoRR	2015	DBLP BibTeX RDF
20	Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens	Fixing non-determinism.	IFL	2015	DBLP DOI BibTeX RDF
20	Arnab Bhattacharyya 0001, Kirankumar Shiragur	How friends and non-determinism affect opinion dynamics.	CDC	2015	DBLP DOI BibTeX RDF
20	Ali Ebnenasir	Incremental Realization of Safety Requirements: Non-determinism vs. Modularity.	FSEN	2015	DBLP DOI BibTeX RDF
20	Robbert Krebbers	An operational and axiomatic semantics for non-determinism and sequence points in C.	POPL	2014	DBLP DOI BibTeX RDF
20	Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto	Resolving Non-determinism in Choreographies.	ESOP	2014	DBLP DOI BibTeX RDF
20	Nikita Danilenko	Exploring Non-Determinism in Graph Algorithms.	WLP/WFLP	2014	DBLP BibTeX RDF
20	Jocelyne Faddoul, Wendy MacCaull	A Parallel Framework for Handling Non-determinism with Expressive Description Logics.	IPDPS Workshops	2014	DBLP DOI BibTeX RDF
20	Romina Eramo, Romeo Marinelli, Alfonso Pierantonio, Gianni Rosa	Towards Analysing Non-Determinism in Bidirectional Transformations.	AMT@MoDELS	2014	DBLP BibTeX RDF
20	Nicolas Francisco Lopez Giraldo	Assessing and reducing the impact of LDA's non-determinism in software engineering.		2014	RDF
20	Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani	Call-by-value non-determinism in a linear logic type discipline.	CoRR	2013	DBLP BibTeX RDF
20	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
20	Sebastian Bala, Dariusz Jackowski	Limited Non-determinism Hierarchy of Counter Automata.	LATA	2013	DBLP DOI BibTeX RDF
20	Vincent M. Weaver, Daniel Terpstra, Shirley Moore	Non-determinism and overcount on modern hardware performance counter implementations.	ISPASS	2013	DBLP DOI BibTeX RDF
20	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
20	Lila Kari	Negative Glues and Non-determinism in Nanocomputations by Self-assembly.	CiE	2013	DBLP DOI BibTeX RDF
20	Olivier Bodini, Antoine Genitrini, Frédéric Peschanski	The Combinatorics of Non-determinism.	FSTTCS	2013	DBLP DOI BibTeX RDF
20	Hyojin Sung, Rakesh Komuravelli, Sarita V. Adve	DeNovoND: efficient hardware support for disciplined non-determinism.	ASPLOS	2013	DBLP DOI BibTeX RDF
20	Lars Kristiansen, Bedeho Mesghina Wolde Mender	Non-determinism in Gödel's System T.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
20	Leonid A. Levin	Randomness and Non-determinism	CoRR	2012	DBLP BibTeX RDF
20	Alejandro Díaz-Caro, Gilles Dowek	Non determinism through type isomorphism	LSFA	2012	DBLP DOI BibTeX RDF
20	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
20	Nuno Macedo, Hugo Pacheco 0001, Alcino Cunha	Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.	RAMiCS	2012	DBLP DOI BibTeX RDF
20	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
20	Gabriella Castelli, Marco Mamei, Alberto Rosi, Franco Zambonelli	Behavior Predictability Despite Non-Determinism in the SAPERE Ecosystem Preliminary Ideas.	WOA	2012	DBLP BibTeX RDF
20	Gabriella Castelli, Marco Mamei, Alberto Rosi, Franco Zambonelli	Behavior Predictability Despite Non-Determinism in the SAPERE Ecosystem.	SASO Workshops	2012	DBLP DOI BibTeX RDF
20	Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune	Trace equivalence decision: negative tests and non-determinism.	CCS	2011	DBLP DOI BibTeX RDF
20	Michele Pagani, Simona Ronchi Della Rocca	Linearity, Non-determinism and Solvability.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
20	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
20	Peter G. Bishop, Lukasz Cyra	Overcoming Non-determinism in Testing Smart Devices: A Case Study.	SAFECOMP	2010	DBLP DOI BibTeX RDF
20	Qing Wang 0002	A Proof System with Bounded Non-determinism in Database Transformations.	SDKB	2010	DBLP DOI BibTeX RDF
20		Semantic Domains for Combining Probability and Non-Determinism.		2009	DBLP BibTeX RDF
20		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