2297 search results - page 201 / 460 » Production of Large Computer Programs |
126
click to vote
IEEEPACT
2007
IEEE
16 years 16 days ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...
152
click to vote
CCS
2007
ACM
16 years 13 days ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
180
click to vote
ICCS
2007
Springer
16 years 12 days ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
164
Voted
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is...
139
click to vote
SIGCSE
2000
ACM
15 years 10 months ago
2000
ACM
Scientific programmers have traditionally programmed in entirely sequential languages such as Fortran, C or Pascal and it could be argued that object-orientation is not a concept ...