62 search results - page 10 / 13 » Are Fibonacci Heaps Optimal |
208
Voted
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
We present a method to visit all nodes in a forest of data structures while taking into account object placement. We call the technique a Localized Tracing Scheme as it improves lo...
135
Voted
PODS
2005
ACM
16 years 3 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
202
Voted
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
128
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
136
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...