2292 search results - page 421 / 459 » Techniques and tools for dynamic optimization |
SIGPLAN
2002
13 years 7 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
XML delivers key advantages in interoperability due to its flexibility, expressiveness, and platform-neutrality. As XML has become a performance-critical aspect of the next genera...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
HPDC
2008
IEEE
14 years 2 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
IPCCC
2006
IEEE
14 years 2 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...