4814 search results - page 575 / 963 » Combining abstract interpreters |
174
click to vote
APLAS
2004
ACM
16 years 7 days ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
176
click to vote
ASPDAC
2004
ACM
16 years 7 days ago
2004
ACM
Abstract— This paper presents a power grid analyzer that combines a divide-and-conquer strategy with a random-walk engine. A single-level hierarchical method is first described ...
175
click to vote
SIGIR
2004
ACM
16 years 6 days ago
2004
ACM
Abstract. Peer-to-peer architectures are a potentially powerful model for developing large-scale networks of text-based digital libraries, but peer-to-peer networks have so far pro...
212
click to vote
AES
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. While it is known previously that the cycle lengths of individual components of the AES round function are very small, we demonstrate here that the cycle length of the S-...
190
click to vote
AI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...