Skip to Main Content
IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards,
eBooks, and eLearning courses.
Learn more about:
IEEE Xplore subscriptions
The proof of the unsolvability of the halting problem can be reformulated to show that, in general, the best one can do to estimate the run time of programs is to execute them.
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.© Copyright 2015 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.