Search results for "determinacy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
126	Takako Nemoto	Complete Determinacy and Subsystems of Second Order Arithmetic.	CiE	2008	DBLP DOI BibTeX RDF	complete determinacy, Wadge class, second order arithmetic, reverse mathematics, infinite game, determinacy
79	Mingdong Feng, Charles E. Leiserson	Efficient Detection of Determinacy Races in Cilk Programs.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
73	Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo	Determinacy Analysis for Logic Programs Using Mode and Type Information.	LOPSTR	2004	DBLP DOI BibTeX RDF	Determinacy Inference, Program Analysis, Types, Modes
64	Andy King, Lunjin Lu, Samir Genaim	Detecting Determinacy in Prolog Programs.	ICLP	2006	DBLP DOI BibTeX RDF
64	Lunjin Lu, Andy King	Determinacy Inference for Logic Programs.	ESOP	2005	DBLP DOI BibTeX RDF
64	Luc Segoufin, Victor Vianu	Views and queries: determinacy and rewriting.	PODS	2005	DBLP DOI BibTeX RDF
59	Phillip B. Gibbons, Yossi Matias, Vijaya Ramachandran	Can a Shared-Memory Model Serve as a Bridging Model for Parallel Computation?	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
58	Victor Khomenko, Mark Schäfer, Walter Vogler	Output-Determinacy and Asynchronous Circuit Synthesis.	ACSD	2007	DBLP DOI BibTeX RDF	output-determinacy, OR-causality, decomposition, asynchronous circuits, STG
53	Paul R. Kosinki	A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs.	POPL	1978	DBLP DOI BibTeX RDF	data flow programming, non-determinacy, denotational semantics
49	Yurii Khomskii	A General Setting for the Pointwise Investigation of Determinacy.	ICLA	2009	DBLP DOI BibTeX RDF
49	Nathalie Bertrand 0001, Blaise Genest, Hugo Gimbert	Qualitative Determinacy and Decidability of Stochastic Games with Signals.	LICS	2009	DBLP DOI BibTeX RDF
49	Erich Grädel	Positional Determinacy of Infinite Games.	STACS	2004	DBLP DOI BibTeX RDF
49	Anna Philippou, David Walker 0008	On Sharing and Determinacy in Concurrent Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
49	Evan Tick, Mark Korsloot	Determinacy Testing for Nondeterminate Logic Programming Languages.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Andorra model, Pandora, decision graphs
43	E. Allen Emerson, Charanjit S. Jutla	Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	infinite trees, online algorithms, decidability, finite automata, equivalence, complementation, mu-calculus, infinite games, determinacy
39	Patricia M. Hill, Andy King	Determinacy and determinacy analysis.	J. Program. Lang.	1997	DBLP BibTeX RDF
39	Derrick Albert DuBose	Determinacy and Extended Sharp Functions on the Reals, Part II: Obtaining Sharps from Determinacy.	Ann. Pure Appl. Log.	1992	DBLP DOI BibTeX RDF
39	Bruno Marnette, Floris Geerts	Static analysis of schema-mappings ensuring oblivious termination.	ICDT	2010	DBLP DOI BibTeX RDF	relative completeness, data integration, data exchange, schema mapping, determinacy
39	Josyula R. Rao	Eventual determinism: using probabilistic means to achieve deterministic ends.	HICSS (2)	1995	DBLP DOI BibTeX RDF	eventual determinism, eventually-determining algorithms, worst case complexity bound, parallel algorithms, computational complexity, self-stabilization, conflict resolution, deterministic algorithms, deterministic algorithms, probabilistic algorithms, randomised algorithms, symmetry breaking, determinacy, parallel algorithm design
34	Alan Nash, Luc Segoufin, Victor Vianu	Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report.	ICDT	2007	DBLP DOI BibTeX RDF
34	Eryk Kopczynski	Half-Positional Determinacy of Infinite Games.	ICALP (2)	2006	DBLP DOI BibTeX RDF
34	Dietmar Berwanger, Erich Grädel, Stephan Kreutzer	Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games.	LPAR	2003	DBLP DOI BibTeX RDF
34	Mark B. Josephs	An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits.	ASYNC	2003	DBLP DOI BibTeX RDF
34	Torben Æ. Mogensen	A Semantics-Based Determinacy Analysis for Prolog with Cut.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
30	Elizabeth Barnes	Indeterminacy, identity and counterparts: Evans reconsidered.	Synth.	2009	DBLP DOI BibTeX RDF	Vague identity, Ontic vagueness, Counterpart theory, Indeterminacy
30	Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede	Design with race-free hardware semantics.	DATE	2006	DBLP DOI BibTeX RDF
30	Celine Vens, Jan Ramon, Hendrik Blockeel	ReMauve: A Relational Model Tree Learner.	ILP	2006	DBLP DOI BibTeX RDF
30	Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede	Extended abstract: a race-free hardware modeling language.	MEMOCODE	2005	DBLP DOI BibTeX RDF
30	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson	On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs.	SPAA	2004	DBLP DOI BibTeX RDF	SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set
30	Arno J. Knobbe, Arno Siebes, Bart Marseille	Involving Aggregate Functions in Multi-relational Search.	PKDD	2002	DBLP DOI BibTeX RDF
30	Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger	Trading Probability for Fairness.	CSL	2002	DBLP DOI BibTeX RDF
30	Rong Yang, Steve Gregory	Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search.	LPAR	2001	DBLP DOI BibTeX RDF
30	Ryo Sato	Toward a unified theory of discrete event systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
30	Mark Willems	Pragmatic Semantics by Conceptual Graphs.	ICCS	1994	DBLP DOI BibTeX RDF
30	Huajun Quin	Efficient Verification of Determinate Processes.	CONCUR	1991	DBLP DOI BibTeX RDF
30	Prakash Panangaden	McCarthy's Amb Cannot Implement Fair Merge.	FSTTCS	1988	DBLP DOI BibTeX RDF
30	Gary Lindstrom	Functional Programming and the Logical Variable.	POPL	1985	DBLP DOI BibTeX RDF
24	John Strassner, Barry J. Menich, Walter Johnson	Providing Seamless Mobility in Wireless Networks Using Autonomic Mechanisms. (PDF / PS)	AIMS	2007	DBLP DOI BibTeX RDF	causal determinacy, key quality indicator, data model, autonomic computing, information model, seamless mobility, key performance indicator
24	John Strassner, Barry J. Menich	Philosophy and Methodology for Knowledge Discovery in Autonomic Computing Systems.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Causal and Developmental Morphology, Causal Determinacy, Superficial Causality, Ontology, Machine Learning, Autonomic Computing, Information Model
24	Tim Poston, Ankur Dhanik, Etienne Burdet, Chee Leong Teo	Haptics of Buckling.	WHC	2005	DBLP DOI BibTeX RDF	buckling, catastrophe, Zeeman machine, haptic, bifurcation, determinacy
24	John Thornley, K. Mani Chandy	Monotonic Counters: A New Mechanism for Thread Synchronization.	IPDPS	2000	DBLP DOI BibTeX RDF	monotonic counter, deterministic synchronization, sequential equivalence, ragged barriers, sequential ordering, single-writer multiple-reader, mutual exclusion, thread, monotonicity, multithreaded programming, determinacy, thread synchronization
24	Abhik Roychoudhury, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. Sekar 0001	A Conservative Technique to Improve Deterministic Evaluation of Logic Programs.	ICCL	1998	DBLP DOI BibTeX RDF	Optimization of Logic Programs, Program Specialization, Determinacy
24	Mikael Pettersson	A Compiler for Natural Semantics.	CC	1996	DBLP DOI BibTeX RDF	tailcalls, continuations, natural semantics, determinacy
20	Luigi Liquori, Michael Mendler	Strong Priority and Determinacy in Timed CCS.	CoRR	2024	DBLP DOI BibTeX RDF
20	Logan Crone, Lior Fishman, Stephen Jackson	Determinacy of Schmidt's Game and Other Intersection Games.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
20	Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero 0001	On Monotonic Determinacy and Rewritability for Recursive Queries and Views.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
20	Feiyang Jin, Lechen Yu	Determinacy Race Detector for Promises (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Martin Fischer, Matteo Zicchetti	Internal Categoricity, Truth and Determinacy.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
20	Hongda Sun, Weikai Xu, Wei Liu, Jian Luan, Bin Wang, Shuo Shang, Ji-Rong Wen, Rui Yan 0001	From Indeterminacy to Determinacy: Augmenting Logical Reasoning Capabilities with Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
20	Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove	Arena-Independent Finite-Memory Determinacy in Stochastic Games.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
20	William Chan 0002	A Lipschitz determinacy principle equivalent to weak König lemma.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
20	Yi-Han Xu, Qi-Ming Sun, Xiao-Ren Xu, Wen Zhou, Gang Yu	Energy efficiency and delay determinacy tradeoff in energy harvesting-powered zero-touch deterministic industrial M2M communications.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
20	Patricia Bouyer, Mickael Randour, Pierre Vandenhove	Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs.	TheoretiCS	2023	DBLP DOI BibTeX RDF
20	Sandra Müller	Determinacy Axioms and Large Cardinals.	ICLA	2023	DBLP DOI BibTeX RDF
20	Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar	Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises.	ECOOP	2023	DBLP DOI BibTeX RDF
20	Alexander Gorokhovsky, Anna Rubinchik	Necessary and sufficient conditions for determinacy of asymptotically stationary equilibria in OLG models.	J. Econ. Theory	2022	DBLP DOI BibTeX RDF
20	Ramez L. Sami	Variations on Determinacy and ℵω1.	J. Symb. Log.	2022	DBLP DOI BibTeX RDF
20	Daisuke Ikegami	Determinacy and regularity properties for idealized forcings.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
20	Karen Bakke Haga, David Schrittesser, Asger Törnquist	Maximal almost disjoint families, determinacy, and forcing.	J. Math. Log.	2022	DBLP DOI BibTeX RDF
20	Logan Crone, Lior Fishman, Stephen Jackson	Equivalence relations and determinacy.	J. Math. Log.	2022	DBLP DOI BibTeX RDF
20	Jaroslaw Kwiecien, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja	Determinacy of Real Conjunctive Queries. The Boolean Case.	PODS	2022	DBLP DOI BibTeX RDF
20	Patricia Bouyer, Mickael Randour, Pierre Vandenhove	Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs.	STACS	2022	DBLP DOI BibTeX RDF
20	S. Webber, Mike R. Jeffrey	Loss of Determinacy at Small Scales, with Application to Multiple Timescale and Nonsmooth Dynamics.	Int. J. Bifurc. Chaos	2021	DBLP DOI BibTeX RDF
20	Thilo Weinert	William Chan, An introduction to combinatorics of determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, editors), Contemporary Mathematics, vol. 752, Providence, RI, American Mathematical Society, 2020, pp. 21-75.	Bull. Symb. Log.	2021	DBLP DOI BibTeX RDF
20	Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001	From local to global determinacy in concurrent graph games.	CoRR	2021	DBLP BibTeX RDF
20	Jaroslaw Kwiecien, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja	Determinacy of Real Conjunctive Queries. The Boolean Case.	CoRR	2021	DBLP BibTeX RDF
20	Patricia Bouyer, Mickael Randour, Pierre Vandenhove	Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs.	CoRR	2021	DBLP BibTeX RDF
20	Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove	Arena-Independent Finite-Memory Determinacy in Stochastic Games.	CoRR	2021	DBLP BibTeX RDF
20	Tingting Zhang, Dong Chen, Yazhou Han, Manjun Ma	Linear determinacy of the minimal wave speed of a model describing tissue degradation by bacteria.	Appl. Math. Lett.	2021	DBLP DOI BibTeX RDF
20	Milad Aghajohari, Guy Avni, Thomas A. Henzinger	Determinacy in Discrete-Bidding Infinite-Duration Games.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
20	Nam Trang, Trevor M. Wilson	Determinacy from strong compactness of ω1.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
20	Fabiana Castiblanco, Philipp Schlicht	Preserving levels of projective determinacy by tree forcings.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
20	Fangfang Dong, Xiaomin Zhao, Ye-Hwa Chen	Optimal Longitudinal Control for Vehicular Platoon Systems: Adaptiveness, Determinacy, and Fuzzy.	IEEE Trans. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
20	Shuang Li 0008, Fangrui Lv, Binhui Xie, Chi Harold Liu, Jian Liang, Chen Qin	Bi-Classifier Determinacy Maximization for Unsupervised Domain Adaptation.	AAAI	2021	DBLP DOI BibTeX RDF
20	Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove	Arena-Independent Finite-Memory Determinacy in Stochastic Games.	CONCUR	2021	DBLP DOI BibTeX RDF
20	Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001	From Local to Global Determinacy in Concurrent Graph Games.	FSTTCS	2021	DBLP DOI BibTeX RDF
20	Yifan Xu 0007, Kunal Agrawal, I-Ting Angelina Lee	Efficient Parallel Determinacy Race Detection for Structured Futures.	SPAA	2021	DBLP DOI BibTeX RDF
20	Jared Warren, Daniel Waxman 0001	A metasemantic challenge for mathematical determinacy.	Synth.	2020	DBLP DOI BibTeX RDF
20	Juan P. Aguilera 0001, Sandra Müller	The Consistency strength of Long Projective Determinacy.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
20	Jun Lu, Huagang Xiong, Feng He, Rongwei Wang	Enhancing Real-Time and Determinacy for Network-Level Schedule in Distributed Mixed-Critical System.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Raphaël Carroy, Andrea Medini, Sandra Müller	Every zero-dimensional homogeneous space is strongly homogeneous under determinacy.	J. Math. Log.	2020	DBLP DOI BibTeX RDF
20	Sandra Müller, Ralf Schindler, W. Hugh Woodin	Mice with finitely many Woodin cardinals from optimal determinacy hypotheses.	J. Math. Log.	2020	DBLP DOI BibTeX RDF
20	Shuang Li 0008, Fangrui Lv, Binhui Xie, Chi Harold Liu, Jian Liang, Chen Qin	Bi-Classifier Determinacy Maximization for Unsupervised Domain Adaptation.	CoRR	2020	DBLP BibTeX RDF
20	Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero 0001	On monotonic determinacy and rewritability for recursive queries and views.	CoRR	2020	DBLP BibTeX RDF
20	Zhe Huang, Chunhua Ou	Speed Determinacy of Traveling Waves to a Stream-Population Model with Allee Effect.	SIAM J. Appl. Math.	2020	DBLP DOI BibTeX RDF
20	Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero 0001	On Monotonic Determinacy and Rewritability for Recursive Queries and Views.	PODS	2020	DBLP DOI BibTeX RDF
20	Jerzy Marcinkowski	What Makes a Variant of Query Determinacy (Un)Decidable? (Invited Talk).	ICDT	2020	DBLP DOI BibTeX RDF
20	Roy Overbeek	Formalizing determinacy of concurrent revisions.	CPP	2020	DBLP DOI BibTeX RDF
20	Yifan Xu 0007, Kyle Singer, I-Ting Angelina Lee	Parallel determinacy race detection for futures.	PPoPP	2020	DBLP DOI BibTeX RDF
20	Stéphane Le Roux 0001	Memoryless determinacy of infinite parity games: Another simple proof.	Inf. Process. Lett.	2019	DBLP DOI BibTeX RDF
20	S. Webber, Mike R. Jeffrey	Micro-Slip as a Loss of Determinacy in Dry-Friction Oscillators.	Int. J. Bifurc. Chaos	2019	DBLP DOI BibTeX RDF
20	Sandra Müller	The axiom of determinacy implies dependent choice in mice.	Math. Log. Q.	2019	DBLP DOI BibTeX RDF
20	Roy Overbeek	Formalizing Determinacy of Concurrent Revisions.	CoRR	2019	DBLP BibTeX RDF
20	Milad Aghajohari, Guy Avni, Thomas A. Henzinger	Determinacy in Discrete-Bidding Infinite-Duration Games.	CoRR	2019	DBLP BibTeX RDF
20	Sherwood Hachtman	Determinacy separations for class games.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
20	Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja	The First Order Truth Behind Undecidability of Regular Path Queries Determinacy.	ICDT	2019	DBLP DOI BibTeX RDF
20	Milad Aghajohari, Guy Avni, Thomas A. Henzinger	Determinacy in Discrete-Bidding Infinite-Duration Games.	CONCUR	2019	DBLP DOI BibTeX RDF
20	Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis	Mechanically Proving Determinacy of Hierarchical Block Diagram Translations.	VMCAI	2019	DBLP DOI BibTeX RDF
20	Serge Haddad	Memoryless determinacy of finite parity games: Another simple proof.	Inf. Process. Lett.	2018	DBLP DOI BibTeX RDF
20	Sandra Müller	Pure and Hybrid Mice with Finitely Many Woodin Cardinals from Levels of Determinacy Westfälische Wilhelms-Universität Münster, Germany, 2016. Supervised by Ralf-Dieter Schindler.	Bull. Symb. Log.	2018	DBLP DOI BibTeX RDF