440 search results - page 46 / 88 » Partial Matching by Structural Descriptors |
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
ANCS
2005
ACM
14 years 1 months ago
2005
ACM
IP address lookup is one of the most challenging problems of Internet routers. In this paper, an IP lookup rate of 263 Mlps (Million lookups per second) is achieved using a novel ...
HPDC
2012
IEEE
11 years 10 months ago
2012
IEEE
Interest has been growing in powering data centers (at least partially) with renewable or “green” sources of energy, such as solar or wind. However, it is challenging to use t...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Dataspaces are collections of heterogeneous and partially unstructured data. Unlike data-integration systems that also offer uniform access to heterogeneous data sources, dataspac...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...