129 search results - page 4 / 26 » Design and Implementation of a Semantic Peer-to-Peer Network |
ICNP
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
TOPLAS
2010
14 years 7 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
PSLS
1995
15 years 1 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Scalable Source Routing (SSR) is a self-organizing routing protocol designed for supporting peer-to-peer applications. It is especially suited for networks that do not have a well...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...