12257 search results - page 426 / 2452 » Analysis of Algorithms |
126
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
144
click to vote
SCALESPACE
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we develop partial differential equations (PDEs) that model the generation of a large class of morphological filters, the levelings and the openings/closings by rec...
143
click to vote
SIGCOMM
1996
ACM
15 years 9 months ago
1996
ACM
Abstract-- We present a Start-time Fair Queueing (SFQ) algorithm that is computationally efficient and achieves fairness regardless of variation in a server capacity. We analyze it...
136
click to vote
EGH
2004
Springer
15 years 8 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 ...
197
click to vote
EMNLP
2008
15 years 6 months ago
2008
This paper explores the challenge of scaling up language processing algorithms to increasingly large datasets. While cluster computing has been available in commercial environment...