5015 search results - page 625 / 1003 » Model Checking a Path |
171
click to vote
SPIRE
2001
Springer
15 years 11 months ago
2001
Springer
We consider methods for compressing parse trees, especially techniques based on statistical modeling. We regard a sequence of productions corresponding to a suffix of the path fr...
169
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Capacitance coupling can have a significant impact on gate delay in today's deep submicron circuits. In this paper we present a static timing analysis tool that calculates th...
179
Voted
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
We consider how to allocate bandwidth in a multicast tree so as to optimize some global measure of performance. In our model each receiver has a budget to be used for bandwidth res...
176
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
We consider the throughput/delay tradeoffs for scheduling data transmissions in a mobile ad hoc network. To reduce delays in the network, each user sends redundant packets along mu...
213
click to vote
BIOADIT
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we propose a resilient scheme for multi-path routing using a biologically-inspired attractor selection method. The main advantage of this approach is that it is highl...