Search results for "determinism"

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