Search results for "determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Hermann Kopetz	Why time-triggered architectures will succeed in large hard real-time systems.	FTDCS	1995	DBLP DOI BibTeX RDF	large hard real-time systems, encapsulated subsystems, temporal firewalls, sparse time base, replica determinism, time-triggered communication protocol, real-time systems, computational complexity, computer architecture, design principles, time-triggered architectures
25	Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi	Test Selection Based on Finite State Models.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models
18	Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni	Complexity results in revising UNITY programs.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	formal methods, UNITY
18	Pascal Bercher, Robert Mattmüller	Solving Non-deterministic Planning Problems with Pattern Database Heuristics.	KI	2009	DBLP DOI BibTeX RDF	non-deterministic planning, PDB heuristics, Heuristic search
18	Thomas Colcombet	The Theory of Stabilisation Monoids and Regular Cost Functions.	ICALP (2)	2009	DBLP DOI BibTeX RDF
18	Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
18	Christian Murphy, Kuang Shen, Gail E. Kaiser	Automatic system testing of programs without test oracles.	ISSTA	2009	DBLP DOI BibTeX RDF	software testing, metamorphic testing, oracle problem
18	Matthew Might, Panagiotis Manolios	A PosterioriSoundness for Non-deterministic Abstract Interpretations.	VMCAI	2009	DBLP DOI BibTeX RDF
18	Ignacio Laguna, Fahad A. Arshad, David M. Grothe, Saurabh Bagchi	How to Keep Your Head above Water While Detecting Errors.	Middleware	2009	DBLP DOI BibTeX RDF	Stateful error detection, High throughput distributed applications, J2EE multi-tier systems, Intelligent sampling, Hidden Markov Model
18	Andy Georges, Lieven Eeckhout, Dries Buytaert	Java performance evaluation through rigorous replay compilation.	OOPSLA	2008	DBLP DOI BibTeX RDF	matched-pair comparison, replay compilation, java, performance evaluation, benchmarking, virtual machine
18	Mehdi Mhalla, Simon Perdrix	Finding Optimal Flows Efficiently.	ICALP (1)	2008	DBLP DOI BibTeX RDF
18	Sibin Mohan, Frank Mueller 0001	Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	hybrid timing anlalysis, hardware/software interactions, real-time systems, embedded systems, computer architecture, timing analysis, worst-case execution time, out-of-order execution
18	Cristiano Pereira, Harish Patil, Brad Calder	Reproducible simulation of multi-threaded workloads for architecture design exploration.	IISWC	2008	DBLP DOI BibTeX RDF
18	Garo Bournoutian, Alex Orailoglu	Miss reduction in embedded processors through dynamic, power-friendly cache design.	DAC	2008	DBLP DOI BibTeX RDF	dynamic associativity, multi-core, embedded processors, data cache
18	Andy Georges, Dries Buytaert, Lieven Eeckhout	Adding rigorous statistics to the Java benchmarker's toolbox.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, benchmarking, methodology, statistics, data analysis
18	Umut A. Acar, Matthias Blume, Jacob Donham	A Consistent Semantics of Self-adjusting Computation.	ESOP	2007	DBLP DOI BibTeX RDF
18	Rishiyur S. Nikhil	Composable Guarded Atomic Actions: a Bridging Model for SoC Design.	ACSD	2007	DBLP DOI BibTeX RDF
18	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: teaching multithreading programming by analyzing execution traces.	PADTAD	2007	DBLP DOI BibTeX RDF	execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization
18	Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi	A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.	QSIC	2007	DBLP DOI BibTeX RDF
18	Robert St-Aubin, Joel Friedman, Alan K. Mackworth	A formal mathematical framework for modeling probabilistic hybrid systems.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T37
18	K. Subramani 0001, C. Tauras	An approximation algorithm for state minimization in 2-MDFAs.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	2-MDFA, Finite state automata, State minimization
18	Cyrille Artho, Armin Biere, Shinichi Honiden	Enforcer - Efficient Failure Injection.	FM	2006	DBLP DOI BibTeX RDF
18	Holly Longstaff	Distorted Conversations: On and Offline Explorations of Genomic Art.	IV	2006	DBLP DOI BibTeX RDF
18	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
18	Yiwei Liu, Markku Kankaanpää, Joseph P. Zbilut, Charles L. Webber Jr.	EMG recurrence quantifications in dynamic exercise.	Biol. Cybern.	2004	DBLP DOI BibTeX RDF
18	Peter Y. A. Ryan	Shedding Light on Haunted Corners of Information Security.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
18	Yo-Sub Han, Derick Wood	The Generalization of Generalized Automata: Expression Automata.	CIAA	2004	DBLP DOI BibTeX RDF
18	Kevin M. Lepak, Harold W. Cain, Mikko H. Lipasti	Redeeming IPC as a Performance Metric for Multithreaded Programs.	IEEE PACT	2003	DBLP DOI BibTeX RDF
18	Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith	Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems.	DSN	2003	DBLP DOI BibTeX RDF
18	Orieta Celiku, Joakim von Wright	Implementing Angelic Nondeterminism.	APSEC	2003	DBLP DOI BibTeX RDF
18	Alan Mishchenko, Robert K. Brayton	A Theory of Non-Deterministic Networks.	ICCAD	2003	DBLP DOI BibTeX RDF
18	Jean-Marc Andreoli, Laurent Mazaré	Concurrent Construction of Proof-Nets.	CSL	2003	DBLP DOI BibTeX RDF
18	Sias Mostert, Nathalie Cossement, Rudy Lauwereins, Jef L. van Meerbergen	DF*: Modeling Dynamic Process Creation and Events for Interactive Multimedia Applications.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
18	Cliff B. Jones	Editorial.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF
18	Simone Veglioni, Rocco De Nicola	Possible Worlds for Process Algebras.	CONCUR	1998	DBLP DOI BibTeX RDF
18	Florence Maraninchi, Nicolas Halbwachs	Compositional Semantics of Non-Deterministic Synchronous Languages.	ESOP	1996	DBLP DOI BibTeX RDF
18	Alberto García-Martínez, Jesús Fernández-Conde, Ángel Viña	A Comprehensive Approach in Performance Evaluation for Modern Real-Time Operating Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	performance evaluation, software performance evaluation, performance metrics, real-time operating systems
18	Wanqing Wu, Rajiv Gupta 0001, Madalene Spezialetti	Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications.	ICECCS	1996	DBLP DOI BibTeX RDF
18	Stéphane Grumbach, Zoé Lacroix, Steven Lindell	Generalized Implicit Definitions on Finite Structures.	CSL	1995	DBLP DOI BibTeX RDF
18	Yiannis N. Moschovakis, Glen T. Whitney	Powerdomains, Powerstructures and Fairness.	CSL	1994	DBLP DOI BibTeX RDF
18	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
18	Gail E. Kaiser	Concurrent meld.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	MELD
18	Wen-Kai Chung, William B. Day	The process allocation in parallel interpretation of logic programs (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
16	Vincent Barichard	CHR++: An efficient CHR system in C++ with don't know non-determinism.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
16	Ardra P. Kumar, S. Rukmini	Technology, the latent conqueror: an experimental study on the perception and awareness of technological determinism featuring select sci-fi films and AI literature.	AI Soc.	2024	DBLP DOI BibTeX RDF
16	Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani	Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency.	IEEE Trans. Software Eng.	2024	DBLP DOI BibTeX RDF
16	Sisi Duan, Yue Huang	Byzantine Fault Tolerance with Non-Determinism, Revisited.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
16	Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani	Actors Upgraded for Variability, Adaptability, and Determinism.	Active Object Languages: Current Research Trends	2024	DBLP DOI BibTeX RDF
16	Aditya Prakash 0002	Checking History-Determinism is NP-hard for Parity Automata.	FoSSaCS (1)	2024	DBLP DOI BibTeX RDF
16	Udi Boker, Karoliina Lehtinen	When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism.	ACM SIGLOG News	2023	DBLP DOI BibTeX RDF
16	Lucas Aimaretto, Diego Dujovne	Enhancing end-to-end determinism and reliability in 6TiSCH networks with disjoint leaf-based MPLS-like tunnels.	Internet Things	2023	DBLP DOI BibTeX RDF
16	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
16	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
16	Michaela Mihoková	Correlation Sum and Recurrence Determinism of Interval Maps.	Int. J. Bifurc. Chaos	2023	DBLP DOI BibTeX RDF
16	Dmytro Gavinsky	Patterned non-determinism in communication complexity.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
16	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
16	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
16	Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen	From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism.	CoRR	2023	DBLP DOI BibTeX RDF
16	Lucas Aimaretto, Diego Dujovne	Enhancing End-to-End Determinism and Reliability in 6TiSCH networks with disjoint leaf-based MPLS-like tunnels.	CoRR	2023	DBLP DOI BibTeX RDF
16	Dmytro Gavinsky	Patterned non-determinism in communication complexity.	CoRR	2023	DBLP DOI BibTeX RDF
16	Sen Wang, Dong Li, Ashrarul H. Sifat, Shaoyu Huang, Xuanliang Deng, Changhee Jung, Ryan K. Williams, Haibo Zeng 0001	Optimizing Logical Execution Time Model for Both Determinism and Low Latency.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hitoshi Furusawa, Walter Guttmann, Georg Struth	Determinism of Multirelations.	CoRR	2023	DBLP DOI BibTeX RDF
16	Alejandro Díaz-Caro, Octavio Malherbe	Non-determinism in a linear logic type discipline: A concrete categorical perspective.	CoRR	2023	DBLP DOI BibTeX RDF
16	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
16	Aditya Prakash 0002	Checking History-Determinism is NP-hard for Parity Automata.	CoRR	2023	DBLP DOI BibTeX RDF
16	Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne	A Survey on Parallelism and Determinism.	ACM Comput. Surv.	2023	DBLP DOI BibTeX RDF
16	Miryeong Kwon, Seungjun Lee, Hyunkyu Choi, Jooyoung Hwang, Myoungsoo Jung	Realizing Strong Determinism Contract on Log-Structured Merge Key-Value Stores.	ACM Trans. Storage	2023	DBLP DOI BibTeX RDF
16	Huaicheng Li, Martin L. Putra, Ronald Shi, Fadhil I. Kurnia, Xing Lin, Jaeyoung Do, Achmad Imam Kistijantoro, Gregory R. Ganger, Haryadi S. Gunawi	Extending and Programming the NVMe I/O Determinism Interface for Flash Arrays.	ACM Trans. Storage	2023	DBLP DOI BibTeX RDF
16	Jing Liu, Huibin Lu, Yuanyuan Guo, Guanghua Gu, Xiaoli Li, Dong Cui	A new EEG determinism analysis method based on multiscale dispersion recurrence plot.	Biomed. Signal Process. Control.	2023	DBLP DOI BibTeX RDF
16	Marius Krumm, Markus P. Müller	Free Agency and Determinism: Is There a Sensible Definition of Computational Sourcehood?	Entropy	2023	DBLP DOI BibTeX RDF
16	Walter Guttmann, Georg Struth	Inner Structure, Determinism and Modal Algebra of Multirelations.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
16	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
16	Muyeed Ahmed, Iulian Neamtiu	DeAnomalyzer: Improving Determinism and Consistency in Anomaly Detection Implementations.	AITest	2023	DBLP DOI BibTeX RDF
16	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
16	Phuong (Phoebe) Dinh, David Danks	Expectations of Determinism Underlie Domain Effects on Adult Causal Learning.	CogSci	2023	DBLP BibTeX RDF
16	Arnaud Carayol, Philippe Duchon, Florent Koechlin, Cyril Nicaud	One Drop of Non-Determinism in a Random Deterministic Automaton.	STACS	2023	DBLP DOI BibTeX RDF
16	Karoliina Lehtinen	A Brief History of History-Determinism (Invited Talk).	STACS	2023	DBLP DOI BibTeX RDF
16	Pierre Cabanis, Julie Magat, Girish Ramlugun, Nestor Pallares-Lupon, Fanny Vaillant, Emma Abell, Laura Bear, Cindy Michel, Philippe Pasdois, Pierre Dos Santos, Marion Constantin, David Benoist, Line Pourtau, Virginie Dubes, Julien Rogier, Louis Labrousse, Mathieu Pernot, Oliver Busuttil, Michel Haïssaguerre, Olivier Bernus, Bruno Quesson, Edward J. Vigmond, Richard D. Walton, Josselin Duchateau, Valéry Ozenne	Characterization of the Septal Discontinuity in Ex-Vivo Human Hearts Using Diffusion Tensor Imaging: The Potential Structural Determinism Played by Fiber Orientation in Clinical Phenotype of Laminopathy Patients.	FIMH	2023	DBLP DOI BibTeX RDF
16	Masatoshi Uehara, Ayush Sekhari, Jason D. Lee, Nathan Kallus, Wen Sun 0002	Computationally Efficient PAC RL in POMDPs with Latent Determinism and Conditional Embeddings.	ICML	2023	DBLP BibTeX RDF
16	Ted H. Szymanski	The "Cyber Security via Determinism" Paradigm for a Quantum Safe Zero Trust Deterministic Internet of Things (IoT).	IEEE Access	2022	DBLP DOI BibTeX RDF
16	Fawad Riasat Raja, David Chen 0002, René Hexel	A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems.	IEEE Access	2022	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.	IEEE Trans. Intell. Transp. Syst.	2022	DBLP DOI BibTeX RDF
16	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
16	Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne	A Survey on Parallelism and Determinism.	CoRR	2022	DBLP DOI BibTeX RDF
16	Masatoshi Uehara, Ayush Sekhari, Jason D. Lee, Nathan Kallus, Wen Sun 0002	Computationally Efficient PAC RL in POMDPs with Latent Determinism and Conditional Embeddings.	CoRR	2022	DBLP DOI BibTeX RDF
16	A. Feder Cooper, Jonathan Frankle, Christopher De Sa	Non-Determinism and the Lawlessness of ML Code.	CoRR	2022	DBLP DOI BibTeX RDF
16	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
16	Qi Zhao 0003, Zhengyi Qiu, Shudi Shao, Xinning Hui, Hassan Ali Khan, Guoliang Jin	Understanding and Reaching the Performance Limit of Schedule Tuning on Stable Synchronization Determinism.	PACT	2022	DBLP DOI BibTeX RDF
16	Satnam Singh	The Virtuous Cycles of Determinism: Programming Groq's Tensor Streaming Processor.	FPGA	2022	DBLP DOI BibTeX RDF
16	A. Feder Cooper, Jonathan Frankle, Christopher De Sa	Non-Determinism and the Lawlessness of Machine Learning Code.	CSLAW	2022	DBLP DOI BibTeX RDF
16	Stanislav Lange, Marija Gajic, Thomas Zinner, Jane Frances Pajo, Håkon Lønsethagen, Min Xie 0006, Ricard Vilalta	Towards assessing effects of isolation on determinism in multi-application scenarios.	FIRA@SIGCOMM	2022	DBLP DOI BibTeX RDF
16	Alexandre Fernandez, Luidnel Maignan, Antoine Spicher	Non-Determinism in Lindenmayer Systems and Global Transformations.	MFCS	2022	DBLP DOI BibTeX RDF
16	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
16	Phuong (Phoebe) Dinh, David Danks	Expectations of Causal Determinism in Causal Learning.	CogSci	2022	DBLP BibTeX RDF
16	Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara 0001, Fausto Spoto, Enrico Talin	Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.	SOAP@PLDI	2022	DBLP DOI BibTeX RDF
16	Miryeong Kwon, Seungjun Lee, Hyunkyu Choi, Jooyoung Hwang, Myoungsoo Jung	Vigil-KV: Hardware-Software Co-Design to Integrate Strong Latency Determinism into Log-Structured Merge Key-Value Stores.	USENIX Annual Technical Conference	2022	DBLP BibTeX RDF
16	Niklas Ambrosy, Thomas Kampa, Ulrich Jumar, Daniel Großmann	5G and DetNet: Towards holistic determinism in industrial networks.	ICIT	2022	DBLP DOI BibTeX RDF
16	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
16	Emile Hazard	Non-determinism, explorable automata and cyclic proofs. (Non-déterminisme, automates explorables et preuves cycliques).		2022	RDF
16	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