15073 search results - page 2673 / 3015 » Probabilistic algorithms for computing resultants |
127
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
133
click to vote
ICPP
2003
IEEE
15 years 9 months ago
2003
IEEE
In reservation-based packet scheduling algorithms for single-hop WDM networks, one of the wavelengths is used as a control channel which is shared by all of the nodes for transmit...
134
click to vote
ICPP
2003
IEEE
15 years 9 months ago
2003
IEEE
A hardware-assisted design, dubbed cache-oriented multistage structure (COMS), is proposed for fast packet forwarding. COMS incorporates small on-chip cache memory in its constitu...
143
click to vote
ICPP
2003
IEEE
15 years 9 months ago
2003
IEEE
Aggressive hardware-based and software-based prefetch algorithms for hiding memory access latencies were proposed to bridge the gap of the expanding speed disparity between proces...
153
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— This paper studies the problem of designing survivable optical wavelength division multiplexed (WDM) networks. A wavelength-routed wide area backbone network supporting...