295 search results - page 27 / 59 » Simultaneous Quantifier Elimination |
113
click to vote
SENSYS
2003
ACM
15 years 5 months ago
2003
ACM
In the absence of location errors, geographic routing - using a combination of greedy forwarding and face routing - has been shown to work correctly and efficiently. The effects o...
MICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
Register promotion is an optimization that allocates a value to a register for a region of its lifetime where it is provably not aliased. Conventional compiler analysis cannot alw...
ICDCS
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper, we quantify the adverse effect of file sharing on the performance of reliable distributed applications. We demonstrate that file sharing incurs significant overhead...
BROADNETS
2004
IEEE
15 years 3 months ago
2004
IEEE
We consider the maximization of network throughput in buffer-constrained optical networks using aggregate bandwidth allocation and reservation-based transmission control. Assuming...
CDB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...