Search results for "halting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan	Partial Halting in P Systems Using Membrane Rules with Permitting Contexts.	MCU	2007	DBLP DOI BibTeX RDF	computational completeness, halting, minimal parallelism, permitting context, P systems
84	Kristofer Johannisson	Formalizing the Halting Problem in a Constructive Type Theory.	TYPES	2000	DBLP DOI BibTeX RDF
84	Kohtaro Tadaki	Chaitin Omega Numbers and Halting Problems.	CiE	2009	DBLP DOI BibTeX RDF	algorithmic information theory, Chaitin ? number, program-size complexity, algorithmic randomness, Turing reduction, halting problem
84	Christine Gaßner	A Hierarchy below the Halting Problem for Additive Machines.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	BSS model, Additive machines, Post’s problem, Turing degrees, Halting problem
71	Jerzy Mycka, Francisco Coelho, José Félix Costa	The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem.	UC	2006	DBLP DOI BibTeX RDF
63	Verónica Becher, Santiago Figueira	Kolmogorov Complexity for Possibly Infinite Computations.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	infinite computations, monotone machines, non-effective computations, program-size complexity, Kolmogorov complexity, Turing machines
58	Masanao Ozawa	Halting of Quantum Turing Machines.	UMC	2002	DBLP DOI BibTeX RDF
51	James D. Balfour, R. C. Halting, William J. Dally	Operand Registers and Explicit Operand Forwarding.	IEEE Comput. Archit. Lett.	2009	DBLP DOI BibTeX RDF
51	Philip K. Hooper	Monogenic Post Normal Systems of Arbitrary Degree.	J. ACM	1966	DBLP DOI BibTeX RDF
51	William B. Langdon, Riccardo Poli	Mapping non-conventional extensions of genetic programming.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Markov analysis of program search spaces, Any time computation, Entropy and irreversible loss of information, Program convergence, Halting probability genetic algorithms, Genetic programming, Turing complete, Program termination
51	Alexey V. Chernov, Jürgen Schmidhuber	Prefix-Like Complexities and Computability in the Limit.	CiE	2006	DBLP DOI BibTeX RDF	limit computability, generalized Turing machine, non-halting computation, Kolmogorov complexity
46	Klaus Meer, Martin Ziegler 0001	Uncomputability Below the Real Halting Problem.	CiE	2006	DBLP DOI BibTeX RDF
46	Chuanjun Zhang, Frank Vahid, Jun Yang 0002, Walid A. Najjar	A way-halting cache for low-energy high-performance systems.	ACM Trans. Archit. Code Optim.	2005	DBLP DOI BibTeX RDF	embedded systems, low power, Cache, dynamic optimization, low energy
46	Sven Köhler 0001, Christian Schindelhauer, Martin Ziegler 0001	On Approximating Real-World Halting Problems.	FCT	2005	DBLP DOI BibTeX RDF
46	Chuanjun Zhang, Frank Vahid, Jun Yang 0002, Walid A. Najjar	A way-halting cache for low-energy high-performance systems.	ISLPED	2004	DBLP DOI BibTeX RDF	low power techniques, cache design
46	Nikil Mehta, Brian Singer, R. Iris Bahar, Michael Leuchtenburg, Richard S. Weiss	Fetch Halting on Critical Load Misses.	ICCD	2004	DBLP DOI BibTeX RDF
46	Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier	Halting Problem of One Binary Horn Clause is Undecidable.	STACS	1993	DBLP DOI BibTeX RDF
41	Katarzyna Krzyzanska	Exploring Halting Times for Unconventional Halting Schemes.	Complex Syst.	2018	DBLP DOI BibTeX RDF
41	George Barmpalias, Andrew Lewis-Pye	Computing halting probabilities from other halting probabilities.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
41	George Barmpalias, Andrew Lewis-Pye	Computing halting probabilities from other halting probabilities.	CoRR	2016	DBLP BibTeX RDF
41	Maurice Margenstern	Universality and the Halting Problem for Cellular Automata in Hyperbolic Spaces: The Side of the Halting Problem.	UCNC	2012	DBLP DOI BibTeX RDF
41	Kohtaro Tadaki	A Generalization of Chaitin's Halting Probability \Omega and Halting Self-Similar Sets	CoRR	2002	DBLP BibTeX RDF
38	Sanjay Jain 0001, Frank Stephan 0001, Jason Teutsch	Index Sets and Universal Numberings.	CiE	2009	DBLP DOI BibTeX RDF
38	Riccardo Poli	Genetic programming theory.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	halting probability, program search spaces, genetic programming, theory
38	Liesbeth De Mol	Study of Limits of Solvability in Tag Systems.	MCU	2007	DBLP DOI BibTeX RDF	Limits of solvability, Reachability problem, Tag Systems, Halting Problem
38	Naél Hirzalla, Benjamin Falchuk, Ahmed Karmouch	A Temporal Model for Interactive Multimedia Scenarios.	IEEE Multim.	1995	DBLP DOI BibTeX RDF	active multimedia, scenario representation, non-halting options, scenario, user interaction, multimedia document, temporal relationships
33	Yijia Chen, Jörg Flum	A Logic for PTIME and a Parameterized Halting Problem.	LICS	2009	DBLP DOI BibTeX RDF
33	Markus Beyreder, Rudolf Freund	Membrane Systems Using Noncooperative Rules with Unconditional Halting.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
33	Olivier Teytaud	Conditioning, Halting Criteria and Choosing lambda.	Artificial Evolution	2007	DBLP DOI BibTeX RDF
33	Philip D. Welch	Non-deterministic Halting Times for Hamkins-Kidder Turing Machines.	CiE	2006	DBLP DOI BibTeX RDF
33	Torkel Franzén	What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem?	CiE	2006	DBLP DOI BibTeX RDF
33	William B. Langdon, Riccardo Poli	The Halting Probability in Von Neumann Architectures.	EuroGP	2006	DBLP DOI BibTeX RDF
33	Antti Ylikoski	The halting problem on finite and infinite computers.	SIGACT News	2005	DBLP DOI BibTeX RDF
33	Yu-Kwong Kwok, Rohit Tripathi 0002, Yu Chen 0002, Kai Hwang 0001	HAWK: Halting Anomalies with Weighted Choking to Rescue Well-Behaved TCP Sessions from Shrew DDoS Attacks.	ICCNMC	2005	DBLP DOI BibTeX RDF
33	Thierry Joly	Encoding of the Halting Problem into the Monster Type & Applications.	TLCA	2003	DBLP DOI BibTeX RDF
33	Stål Aanderaa, Patrick C. Fischer	The Solvability of the Halting Problem for 2-State Post Machines.	J. ACM	1967	DBLP DOI BibTeX RDF
25	Markus Mueller	Strongly Universal Quantum Turing Machines and Invariance of Kolmogorov Complexity.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
25	Wolfgang Merkle, Frank Stephan 0001	On C-Degrees, H-Degrees and T-Degrees.	CCC	2007	DBLP DOI BibTeX RDF
25	William B. Langdon	Mapping Non-conventional Extensions of Genetic Programming.	UC	2006	DBLP DOI BibTeX RDF
25	Marc Bezem	On the Undecidability of Coherent Logic.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
25	Klaus Meer, Martin Ziegler 0001	An Explicit Solution to Post's Problem over the Reals.	FCT	2005	DBLP DOI BibTeX RDF
25	Artiom Alhazov, Rudolf Freund, Yurii Rogozhin	Computational Power of Symport/Antiport: History, Advances, and Open Problems.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
25	Artiom Alhazov, Dragos Sburlan	Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
25	Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang	Recursively Enumerable Reals and Chaitin Omega Numbers.	STACS	1998	DBLP DOI BibTeX RDF
25	Edmund M. Clarke, Steven M. German, Joseph Y. Halpern	On Effective Axiomatizations of Hoare Logics.	POPL	1982	DBLP DOI BibTeX RDF
25	Neil D. Jones, Steven S. Muchnick	Even Simple Programs are Hard to Analyze.	POPL	1975	DBLP DOI BibTeX RDF
25	John E. Hopcroft, Jeffrey D. Ullman	Some Results on Tape-Bounded Turing Machines.	J. ACM	1969	DBLP DOI BibTeX RDF
25	Arthur Charlesworth	Comprehending software correctness implies comprehending an intelligence-related limitation.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Peano arithmetic, Zermelo-Fraenkel set theory, infallibility, partial correctness, Agent, consistency, soundness, Hoare logic, Turing machine, limitation, formal proof, halting problem
25	Ulisses Ferreira	The sets of real and complex numbers are denumerable.	SIGACT News	2005	DBLP DOI BibTeX RDF	cantor, foundation of mathematics, foundations of computer science, numbers and sets, real, transfinite, computability, enumerability, mathematics, number theory, philosophy, halting problem
20	Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop	Unboxed Data Constructors: Or, How cpp Decides a Halting Problem.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
20	Rahul Mishra 0001, Hari Prabhat Gupta	Designing and Training of Lightweight Neural Networks on Edge Devices Using Early Halting in Knowledge Distillation.	IEEE Trans. Mob. Comput.	2024	DBLP DOI BibTeX RDF
20	Qian Wu, Ruoxuan Cui, Yuke Li, Haoqi Zhu	HaltingVT: Adaptive Token Halting Transformer for Efficient Video Recognition.	CoRR	2024	DBLP DOI BibTeX RDF
20	Jakub Sliwinski, Quentin Kniep, Roger Wattenhofer, Fabian Schaich	Halting the Solana Blockchain with Epsilon Stake.	ICDCN	2024	DBLP DOI BibTeX RDF
20	Courtney Paquette, Bart van Merriënboer, Elliot Paquette, Fabian Pedregosa	Halting Time is Predictable for Large Models: A Universality Property and Average-Case Analysis.	Found. Comput. Math.	2023	DBLP DOI BibTeX RDF
20	Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop	Unboxed data constructors - or, how cpp decides a halting problem.	CoRR	2023	DBLP DOI BibTeX RDF
20	Wesley Cowan, Michael N. Katehakis, Sheldon M. Ross	Optimal Activation of Halting Multi-Armed Bandit Models.	CoRR	2023	DBLP DOI BibTeX RDF
20	Mao Ye 0006, Gregory P. Meyer, Yuning Chai, Qiang Liu 0001	Efficient Transformer-based 3D Object Detection with Dynamic Token Halting.	CoRR	2023	DBLP DOI BibTeX RDF
20	Lusanda M. Mtetwa, Elliasu Y. Salifu, Calvin A. Omolo, Mahmoud E. S. Soliman, Mbuso Faya	Halting aberrant DNA methylation via in silico Identification of potent inhibitors of DNMT3B enzyme: Atomistic insights.	Comput. Biol. Chem.	2023	DBLP DOI BibTeX RDF
20	Andrej Dudenhefner	Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
20	Mike Stannett	The Halting Problem is Soluble in Malament-Hogarth Spacetimes.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
20	Olga Martynova 0001, Alexander Okhotin	State complexity of transforming graph-walking automata to halting, returning and reversible.	Inf. Comput.	2023	DBLP DOI BibTeX RDF
20	Mao Ye 0006, Gregory P. Meyer, Yuning Chai, Qiang Liu 0001	Efficient Transformer-based 3D Object Detection with Dynamic Token Halting.	ICCV	2023	DBLP DOI BibTeX RDF
20	Jack P. K. Ma, Sherman S. M. Chow	SMART Credentials in the Multi-queue of Slackness (or Secure Management of Anonymous Reputation Traits without Global Halting).	EuroS&P	2023	DBLP DOI BibTeX RDF
20	Barry Brown 0001, Mathias Broth, Erik Vinkhuyzen	The Halting problem: Video analysis of self-driving cars in traffic.	CHI	2023	DBLP DOI BibTeX RDF
20	Yijia Chen, Moritz Müller, Keita Yokoyama	A parameterized halting problem, Δ0 truth and the MRDP theorem.	CoRR	2022	DBLP DOI BibTeX RDF
20	Andrej Dudenhefner	Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).	CoRR	2022	DBLP DOI BibTeX RDF
20	Q. Tyrell Davis, Josh C. Bongard	Selecting Continuous Life-Like Cellular Automata for Halting Unpredictability: Evolving for Abiogenesis.	CoRR	2022	DBLP DOI BibTeX RDF
20	Rahul Mishra 0001, Hari Prabhat Gupta	Designing and Training of Lightweight Neural Networks on Edge Devices using Early Halting in Knowledge Distillation.	CoRR	2022	DBLP DOI BibTeX RDF
20	Q. Tyrell Davis, Josh C. Bongard	Selecting continuous life-like cellular automata for halting unpredictability: evolving for abiogenesis.	GECCO Companion	2022	DBLP DOI BibTeX RDF
20	Andrej Dudenhefner	Constructive Many-One Reduction from the Halting Problem to Semi-Unification.	CSL	2022	DBLP DOI BibTeX RDF
20	M. Vijayakumar, T. S. Shiny Angel	Performing Attack Halting Process with Digital Pattern and Proactive Model Resolving the Security Issues in IoT Based Models.	Pattern Recognit. Lett.	2021	DBLP DOI BibTeX RDF
20	Cristian S. Calude	Incompleteness and the Halting Problem.	Stud Logica	2021	DBLP DOI BibTeX RDF
20	Edgar G. Daylight	The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian.	Comput.	2021	DBLP DOI BibTeX RDF
20	Salvador Lucas	The origins of the halting problem.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
20	Lampros Karavidas, Thrasyvoulos Tsiatsos, Stella Douka, Monica Shiakou, Andreas Avgerinos	Evaluating a Serious Game for Halting Harassment and Abuse in Sports.	IMCL	2021	DBLP DOI BibTeX RDF
20	Yibin Xu, Yangyu Huang, Jianhua Shao 0001, George Theodorakopoulos 0001	A flexible n/2 adversary node resistant and halting recoverable blockchain sharding protocol.	Concurr. Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
20	Rudolf Freund	How derivation modes and halting conditions may influence the computational power of P systems.	J. Membr. Comput.	2020	DBLP DOI BibTeX RDF
20	Gianluca Manzo, Arnout van de Rijt	Halting SARS-CoV-2 by Targeting High-Contact Individuals.	CoRR	2020	DBLP BibTeX RDF
20	Olga Martynova 0001, Alexander Okhotin	State complexity of halting, returning and reversible graph-walking automata.	CoRR	2020	DBLP BibTeX RDF
20	Yibin Xu, Yangyu Huang, Jianhua Shao, George Theodorakopoulos 0001	A Flexible n/2 Adversary Node Resistant and Halting Recoverable Blockchain Sharding Protocol.	CoRR	2020	DBLP BibTeX RDF
20	Gianluca Manzo, Arnout van de Rijt	Halting SARS-CoV-2 by Targeting High-Contact Individuals.	J. Artif. Soc. Soc. Simul.	2020	DBLP DOI BibTeX RDF
20	Yibin Xu, Yangyu Huang, Jianhua Shao, George Theodorakopoulos 0001	A Flexible n/2 Adversary Node Resistant and Halting Recoverable Blockchain Sharding Protocol.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
20	Cristian S. Calude, Monica Dumitrescu	A statistical anytime algorithm for the Halting Problem.	Comput.	2020	DBLP DOI BibTeX RDF
20	Eric Dietrich, Chris Fields 0001	Equivalence of the Frame and Halting Problems.	Algorithms	2020	DBLP DOI BibTeX RDF
20	Matthieu Journault, Pascal Lafourcade 0001, Malika More, Rémy Poulain, Léo Robert	How to Teach the Undecidability of Malware Detection Problem and Halting Problem.	WISE	2020	DBLP DOI BibTeX RDF
20	Thomas Hartvigsen, Cansu Sen, Xiangnan Kong, Elke A. Rundensteiner	Recurrent Halting Chain for Early Multi-label Classification.	KDD	2020	DBLP DOI BibTeX RDF
20	Andrew O. Martin	Local halting criteria for stochastic diffusion search using nature-inspired quorum sensing		2020	DOI RDF
20	Maurice Margenstern	A Decidability Result for the Halting of Cellular Automata on the Pentagrid.	Complex Syst.	2019	DBLP DOI BibTeX RDF
20	Samuel J. Hansen, Katie L. McMahon, Greig I. de Zubicaray	Neural Mechanisms for Monitoring and Halting of Spoken Word Production.	J. Cogn. Neurosci.	2019	DBLP DOI BibTeX RDF
20	Bill Stoddart	The Halting Paradox.	CoRR	2019	DBLP BibTeX RDF
20	Tamer F. Abdelmaguid, Waleed Elrashidy	Halting decisions for gas pipeline construction projects using AHP: a case study.	Oper. Res.	2019	DBLP DOI BibTeX RDF
20	Eli M. Rabani, Lesley A. Perg	Demonstrably Safe Self-replicating Manufacturing Systems - Banishing the Halting Problem - Organizational and Finite State Machine Control Paradigms.	HCI (15)	2019	DBLP DOI BibTeX RDF
20	Thomas Hartvigsen, Cansu Sen, Xiangnan Kong, Elke A. Rundensteiner	Adaptive-Halting Policy Network for Early Classification.	KDD	2019	DBLP DOI BibTeX RDF
20	Sebastien Mambou, Ondrej Krejcar, Ali Selamat	Approximate Outputs of Accelerated Turing Machines Closest to Their Halting Point.	ACIIDS (1)	2019	DBLP DOI BibTeX RDF
20	Hannah Cairns	Some Halting Problems for Abelian Sandpiles Are Undecidable in Dimension Three.	SIAM J. Discret. Math.	2018	DBLP DOI BibTeX RDF
20	Maurice Margenstern	A decidability result for the halting problem of cellular automata in the pentagrid.	CoRR	2018	DBLP BibTeX RDF
20	King Cheong Fung, Ben Kane	On sign changes of cusp forms and the halting of an algorithm to construct a supersingular elliptic curve with a given endomorphism ring.	Math. Comput.	2018	DBLP DOI BibTeX RDF
20	Cristian S. Calude, Monica Dumitrescu	A probabilistic anytime algorithm for the halting problem.	Comput.	2018	DBLP DOI BibTeX RDF
20	Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz	Formalization of the Undecidability of the Halting Problem for a Functional Language.	WoLLIC	2018	DBLP DOI BibTeX RDF
20	Yijia Chen, Moritz Müller, Keita Yokoyama	A parameterized halting problem, the linear time hierarchy, and the MRDP theorem.	LICS	2018	DBLP DOI BibTeX RDF