1552 search results - page 166 / 311 » On the Complexity of Constant Propagation |
166
click to vote
ISAAC
2007
Springer
16 years 19 days ago
2007
Springer
The problem of maintaining a representation of a dynamic graph as long as a certain property is satisfied has recently been considered for a number of properties. This paper prese...
188
click to vote
LFCS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
148
click to vote
AINA
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper points out the privacy issue in the OCSP (Online Certificate Status Protocol), namely, the OCSP responder learns confidential information – who sends a message to w...
144
click to vote
DDECS
2006
IEEE
16 years 17 days ago
2006
IEEE
—Parallel memory modules can be used to increase memory bandwidth and feed a processor with only necessary data. Arbitrary stride access capability with interleaved memories is d...
147
click to vote
CSMR
2005
IEEE
16 years 4 days ago
2005
IEEE
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...