41472 search results - page 7914 / 8295 » it 2006 |
188
click to vote
ISPD
2006
ACM
16 years 24 days ago
2006
ACM
Linear programming (LP) based methods are attractive for solving the placement problem because of their ability to model Half-Perimeter Wirelength (HPWL) and timing. However, it h...
169
click to vote
ISSTA
2006
ACM
16 years 24 days 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...
162
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
205
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
187
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...