1301 search results - page 59 / 261 » Specifications via Realizability |
ICDCS
2008
IEEE
14 years 4 months ago
2008
IEEE
—Many large-scale distributed systems can benefit from a service that allows them to select among alternative nodes based on their relative network positions. A variety of appro...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
Address correlation is a technique that links the addresses that reference the same data values. Using a detailed source-code level analysis, a recent study [1] revealed that diffe...
COOPIS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper addresses several problems associated with the specification of Web searches, and the retrieval, filtering, and rating of Web pages in order to improve the relevance, pr...
KBSE
1999
IEEE
14 years 2 months ago
1999
IEEE
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...
FM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...