1514 search results - page 196 / 303 » Best-Order Streaming Model |
126
click to vote
EGH
2004
Springer
15 years 7 months ago
2004
Springer
Utilizing graphics hardware for general purpose numerical computations has become a topic of considerable interest. The implementation of streaming algorithms, typified by highly ...
130
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
147
Voted
AIRWEB
2008
Springer
15 years 5 months ago
2008
Springer
As web search providers seek to improve both relevance and response times, they are challenged by the ever-increasing tax of automated search query traffic. Third party systems in...
132
click to vote
CIIT
2004
15 years 4 months ago
2004
This paper shows the design and performance of an AQM (Active Queue Management) enabled router. The design is based on a classical proportional control system. The application of ...
145
click to vote
JALC
2006
15 years 3 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...