2776 search results - page 381 / 556 » System-Level Abstraction Semantics |
198
click to vote
PVM
2004
Springer
16 years 9 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...
201
click to vote
RTA
2004
Springer
16 years 9 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...
187
Voted
SAS
2004
Springer
16 years 9 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...
161
click to vote
SBIA
2004
Springer
16 years 9 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...
154
click to vote
SEMWEB
2004
Springer
16 years 9 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 ...