4719 search results - page 800 / 944 » Newtonian program analysis |
130
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
156
click to vote
ISSRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...
131
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
147
click to vote
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
The problem of security against timing based traffic analysis in multihop networks is considered in this work. In particular, the relationship between the level of anonymity prov...
133
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...