107 search results - page 18 / 22 » Static Detection of Dynamic Memory Errors |
PPOPP
2009
ACM
14 years 11 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
GLOBECOM
2009
IEEE
14 years 5 months ago
2009
IEEE
— There is an ever increasing need for storing data in smaller and smaller form factors driven by the ubiquitous use and increased demands of consumer electronics. A new approach...
ISPASS
2008
IEEE
14 years 4 months ago
2008
IEEE
Many programs go through phases as they execute. Knowing where these phases begin and end can be beneficial. For example, adaptive architectures can exploit such information to lo...
ECBS
2010
IEEE
14 years 2 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
NOMS
2002
IEEE
14 years 3 months ago
2002
IEEE
We propose a new connection management architecture for clustered Internet services called Active Connection Management (ACM) to improve the availability, quality of service, and ...