2713 search results - page 108 / 543 » Parameterized Tree Systems |
119
Voted
STOC
2005
ACM
16 years 3 months ago
2005
ACM
We show that every weighted connected graph G contains as a subgraph a spanning tree into which the edges of G can be embedded with average stretch O log2 n log log n . Moreover, w...
137
click to vote
NBIS
2007
Springer
15 years 9 months ago
2007
Springer
Range queries, retrieving all keys within a given range, is an important add-on for Distributed Hash Tables (DHTs), as they rely only on exact key matching lookup. In this paper we...
109
click to vote
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
Event trees are a popular technique for modelling accidents in system safety analyses. Bayesian networks are a probabilistic modelling technique representing influences between unc...
146
Voted
BROADNETS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
121
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type syst...