Program Verification and Performance Tuning
Not what you're looking for?
How do you envision the ways program verification and performance tuning will be accomplished in the future? Will it still be a work of art? Will it always be the result of one's experience? Or do you forecast more and more automatic ways (algorithms?) to accomplish these tasks?
Purchase this Solution
Solution Summary
This solution basically deals with the program verification and performance tuning process and they way it is likely to be attained in the future. It answers the following question:
How do you envision the ways program verification and performance tuning will be accomplished in the future?
Solution Preview
The solution is attached below.
Program Verification and Performance Tuning
Program verification is the process of checking that a computer program does exactly as descibed in the specification of the program. Performance tuning of a program deals with optimizing the performance of a program.
There has been a lot of debate on whether the existing program verification techniques can guarantee the performance of a program. As James Fetzer stated in his well written article, "The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility."(1988) Although this article was written twenty years back, it is still a subject of debate about the techniques of program verification and their ability to guarantee performance of a program.
In the context of performance tuning, it would be worth while to describe the comments made by Diego Novillo,"The very first goal in performance tuning is to determine what to fix. So, you need tools to analyze the execution of the program. This will ...
Purchase this Solution
Free BrainMass Quizzes
Javscript Basics
Quiz on basics of javascript programming language.
Basic Computer Terms
We use many basic terms like bit, pixel in our usual conversations about computers. Are we aware of what these mean? This little quiz is an attempt towards discovering that.
Excel Introductory Quiz
This quiz tests your knowledge of basics of MS-Excel.
C# variables and classes
This quiz contains questions about C# classes and variables.
Basic UNIX commands
Use this quiz to check your knowledge of a few common UNIX commands. The quiz covers some of the most essential UNIX commands and their basic usage. If you can pass this quiz then you are clearly on your way to becoming an effective UNIX command line user.