797 search results - page 143 / 160 » Eliminating Proofs from Programs |
110
click to vote
CGO
2007
IEEE
15 years 6 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
105
Voted
ICDCS
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...
110
Voted
ISCA
2007
IEEE
15 years 6 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
109
click to vote
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
110
click to vote
ASPLOS
2006
ACM
15 years 2 months ago
2006
ACM
Different uses of memory protection schemes have different needs in terms of granularity. For example, heap security can benefit from chunk separation (by using protected "pa...