283 search results - page 41 / 57 » Effective Program Verification for Relaxed Memory Models |
111
click to vote
BIRTHDAY
2003
Springer
15 years 3 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
192
click to vote
ECOOP
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
WORM
2003
15 years 1 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
177
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
214
click to vote
POPL
2006
ACM
16 years 2 hour ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...