1663 search results - page 161 / 333 » Compositional Service Trees |
135
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
An optimizing compiler has a hard time to generate a code which will perform at top speed for an arbitrary data set size. In general, the low level optimization process must take i...
150
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
150
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
132
click to vote
ICPP
2005
IEEE
15 years 9 months ago
2005
IEEE
Leveraging DHTs (distributed hash table), we propose Ferry, an architecture for content-based publish/subscribe services. With its novel design in subscription installation, subsc...
132
click to vote
MM
1996
ACM
15 years 7 months ago
1996
ACM
Such interactive, distributed multimedia applications as shared whiteboards, group editors, and simulations require reliable concurrent multicast services, i.e., the reliable diss...