330 search results - page 31 / 66 » Analyzing Large Spreadsheet Programs |
IISWC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
124
click to vote
ICST
2010
IEEE
15 years 12 days ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
116
Voted
SAS
2010
Springer
15 years 8 days ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
115
click to vote
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
117
click to vote
IFIP
1993
Springer
15 years 6 months ago
1993
Springer
In this paper we examine the current computer science curriculum in elementary schools and identify its shortcomings. We then presents a new approach to teaching computer science ...