2661 search results - page 362 / 533 » A Semantics for Abstraction |
207
Voted
PVM
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. The ability to offload functionality to a programmable network interface is appealing, both for increasing message passing performance and for reducing the overhead on t...
204
Voted
RTA
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
196
click to vote
SAS
2004
Springer
16 years 14 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...
162
Voted
SBIA
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. The aim of this paper is to study a family of logics that approximates classical inference, in which every step in the approximation can be decided in polynomial time. Fo...
162
click to vote
SEMWEB
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. This talk explores aspects relevant for peer-to-peer search infrastructures, which we think are better suited to semantic web search than centralized approaches. It does ...