2645 search results - page 222 / 529 » time 2003 |
167
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
The recent past has seen a tremendous increase in the size of design circuits that can be implemented in a single FPGA. These large design sizes significantly impact cycle time du...
165
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
157
click to vote
ICW
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper we first present a complete survey on available bandwidth estimation tools. More precisely, according to the classification proposed on IEEE Network by Prasad et a...
156
click to vote
INEX
2004
Springer
15 years 12 months ago
2004
Springer
NEXI was introduced in INEX 2004 as a query language for specifying structured and unstructured queries on XML documents. A language expressive enough for INEX yet simple enough f...
183
click to vote
AINA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose an asynchronous cluster video server architecture, which is quite different from synchronous video server architecture in various aspects such as stripin...