7380 search results - page 1106 / 1476 » Engineering Software Intensive Systems |
138
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
142
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
132
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
119
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...
142
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...