Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Across the world, ‘green grabbing’ – the appropriation of land and resources for environmental ends – is an emerging process of… Expand
Highly Cited
2009
Highly Cited
2009
This paper investigates the long-term stock price effects and equity risk effects of supply chain disruptions based on a sample… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Highly Cited
2004
Highly Cited
2004
Acid soils occupy approximately 30% or 3950 m ha of the world's ice free land area and occur mainly in two global belts where… Expand
  • table 1
  • table 2
  • table 4
  • table 3
  • figure 1
Highly Cited
2004
Highly Cited
2004
Today's Internet intrusion detection systems (IDSes) monitor edge networks' DMZs to identify and/or filter malicious flows. While… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Highly Cited
2002
Highly Cited
2002
To constrain the nature of the very first stars, we investigate the collapse and fragmentation of primordial, metal-free gas… Expand
  • figure 1
  • figure 3
  • table 1
  • table 2
  • figure 4
Highly Cited
2000
Highly Cited
2000
  • G. Paun
  • J. Comput. Syst. Sci.
  • 2000
  • Corpus ID: 15761839
We introduce a new computability model, of a distributed parallel type, based on the notion of a membrane structure. Such a… Expand
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2000
Highly Cited
2000
IP multicast offers the scalable point-to-multipoint delivery necessary for using group communication applications on the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Highly Cited
1999
Highly Cited
1999
I was quietly lurking in the background of a CHI-Web discussion, when I lost all reason: I just couldn't take it anymore. " I put… Expand
Highly Cited
1999
Highly Cited
1999
 
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
  • figure 2.2
Highly Cited
1980
Highly Cited
1980
Modern microprocessor technology and display systems make it entirely feasible to automate many of the flight-deck functions… Expand