2297 search results - page 201 / 460 » Production of Large Computer Programs |
89
Voted
IEEEPACT
2007
IEEE
15 years 9 months 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...
113
Voted
CCS
2007
ACM
15 years 8 months 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...
133
click to vote
ICCS
2007
Springer
15 years 8 months 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,...
126
click to vote
ICALP
2005
Springer
15 years 8 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...
103
Voted
SIGCSE
2000
ACM
15 years 7 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 ...