295 search results - page 27 / 59 » Simultaneous Quantifier Elimination |
SENSYS
2003
ACM
14 years 1 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
14 years 1 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
14 years 28 days 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
14 years 12 days 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
14 years 12 days 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...