491 search results - page 42 / 99 » Linear Quantifier Elimination |
ISCA
2005
IEEE
14 years 2 months ago
2005
IEEE
Performance asymmetry in multicore architectures arises when individual cores have different performance. Building such multicore processors is desirable because many simple cores...
VTS
2005
IEEE
14 years 2 months ago
2005
IEEE
† In digital radio applications, error-vector-magnitude (EVM) is the primary specification which quantifies the performance of digital modulation implemented in silicon. Producti...
SENSYS
2003
ACM
14 years 2 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 1 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...