7921 search results - page 403 / 1585 » LSH-preserving functions and their applications |
200
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
185
Voted
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
197
click to vote
PRDC
2005
IEEE
16 years 12 days ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
181
Voted
SAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
157
click to vote
CIKM
2003
Springer
16 years 1 days ago
2003
Springer
In recent work we have developed a novel approach to the design and implementation of an online portal (ePortal) to help application engineers find replacements for electronic par...