4418 search results - page 404 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
193
click to vote
CASES
2004
ACM
16 years 8 days ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
148
click to vote
SERSCISA
2009
Springer
16 years 1 months ago
2009
Springer
Node lookup mechanisms constitute an integral part of any overlay network, and hence also of anonymous communication networks. Today, most anonymizers use centralized directories, ...
154
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
Modern FPGAs, such as the Xilinx Virtex-II Series, offer the feature of partial and dynamic reconfiguration, allowing to load various hardware configurations (i.e., HW modules) du...
156
click to vote
ISSAC
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
182
click to vote
NOSSDAV
1993
Springer
15 years 11 months ago
1993
Springer
–A video-on-demand server must satisfy a large customer base and a diverse archive of movies under changing movie popularity and daily load peaks. These requirements must be sati...