141 search results - page 11 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
PLDI
1999
ACM
15 years 5 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
101
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
106
click to vote
HPCC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
105
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
130
click to vote
DBSEC
2006
15 years 2 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...