5015 search results - page 894 / 1003 » Model Checking a Path |
182
Voted
COMPGEOM
2010
ACM
16 years 14 days ago
2010
ACM
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...
238
Voted
HPDC
2002
IEEE
16 years 10 days ago
2002
IEEE
The increasingly common practice of replicating datasets and using resources as distributed data stores in Grid environments has led to the problem of determining which replica ca...
225
click to vote
ICDCS
2002
IEEE
16 years 10 days ago
2002
IEEE
Internet streaming applications are affected by adverse network conditions such as high packet loss rates and long delays. This paper aims at mitigating such effects by leveraging...
195
click to vote
ICNP
2002
IEEE
16 years 10 days ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...
225
Voted
ICPP
2002
IEEE
16 years 10 days ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...