801 search results - page 89 / 161 » Minimal Locked Trees |
ACSD
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
CONEXT
2007
ACM
15 years 1 months ago
2007
ACM
Protocol extensions for a mobile Internet have been developed within the IETF, but a standard design of mobile multicast is still awaited. Multicast routing, when adapting its dis...
ESA
2006
Springer
15 years 1 months ago
2006
Springer
Consider a rooted tree T of arbitrary maximum degree d representing a collection of n web pages connected via a set of links, all reachable from a source home page represented by ...
IWAN
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We present a framework for heterogeneous video multicasting, considering an active network in which active nodes can filter the video stream to satisfy different quality ...
ISCAS
1995
IEEE
15 years 1 months ago
1995
IEEE
In this paper, we present a new clock routing algorithm which minimizes total wirelength under any given path-length skew bound. The algorithm constructs a bounded-skew tree (BST)...