Skip to search formSkip to main contentSkip to account menu

Halting problem

Known as: Determining whether a program is going to run forever, Halting predicate, The halting problem 
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Advice (complexity)Arithmetical setChaitin's constantCode coverage

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
FORMATION OF MASSIVE PRIMORDIAL STARS: INTERMITTENT UV FEEDBACK WITH EPISODIC MASS ACCRETION
We present coupled stellar evolution (SE) and 3D radiation-hydrodynamic (RHD) simulations of the evolution of primordial… 
Highly Cited
2011
Highly Cited
2011
The role of impaired de novo Coenzyme A biosynthesis in pantothenate kinase-associated neurodegeneration
Coenzyme A (CoA) is an essential cofactor required for cellular metabolism. CoA is synthesized de novo from pantothenate (vitamin… 
Highly Cited
2011
Highly Cited
2011
IMPACT OF SELFISH NODE CONCENTRATION IN MANET S
The communication in Mobile Ad hoc Network (MANET) is multi-hop in nature wherein each node relays data packets of other nodes… 
Highly Cited
2010
Highly Cited
2010
EXQUISITE NOVA LIGHT CURVES FROM THE SOLAR MASS EJECTION IMAGER (SMEI)
We present light curves of three classical novae (CNe; KT Eridani, V598 Puppis, V1280 Scorpii) and one recurrent nova (RS… 
Highly Cited
2005
Highly Cited
2005
Self-stopping worms
Modern network worms spread with tremendous speed-potentially covering the planet in mere seconds. However, for most worms, this… 
Highly Cited
2005
Highly Cited
2005
HAWK: Halting Anomalies with Weighted Choking to Rescue Well-Behaved TCP Sessions from Shrew DDoS Attacks
High availability in network services is crucial for effective large-scale distributed computing. While distributed denial-of… 
Highly Cited
2004
Highly Cited
2004
Controlled Growth of Y-Junction Nanotubes Using Ti-Doped Vapor Catalyst
We demonstrate a bulk process for the synthesis of Y-junction carbon nanotubes using Ti-doped Fe catalysts. It is shown that the… 
Highly Cited
1999
Highly Cited
1999
Ecosystems emerging: 2. Dissipation
Highly Cited
1998
Highly Cited
1998
Estimating the costs of diarrhoea and epidemic dysentery in KwaZulu-Natal and South Africa
Inadequate water supply and sanitation are largely responsible for the high levels of diarrhoeal disease in developing countrie s… 
Highly Cited
1984
Highly Cited
1984
Spring accumulation of fat by greater snow geese in two staging habitats
-The influence of habitat on fat storage by Greater Snow Geese (Chen caerulescens atlanticus) on their St. Lawrence River estuary… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)