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.
Review
2017
Review
2017
The remarkable processes that characterize living organisms, such as motility, self-healing and reproduction, are fuelled by a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2017
Review
2017
Climate change is a complex, multi-scale issue that needs to be discussed in the context of its social, ethical, environmental… Expand
Is this relevant?
Review
2016
Review
2016
  • Olaf Zimmermann
  • Computer Science - Research and Development
  • 2016
  • Corpus ID: 25654771
Some microservices proponents claim that microservices form a new architectural style; in contrast, advocates of service-oriented… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We generalize the concept of randomness in an infinite binary sequence in order to characterize the degree of randomness by a… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
1999
Highly Cited
1999
 
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
  • figure 2.2
Is this relevant?
Highly Cited
1958
Highly Cited
1958
Much as Rachel Carson's "Silent Spring" was a call to action against the pesticides that were devastating bird populations… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?