2814 search results - page 190 / 563 » Competitive Analysis of Distributed Algorithms |
96
Voted
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 7 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
The calculation of salient structures is one of the early and basic ideas of perceptual organization in Computer Vision. Saliency algorithms typically mark edge-points with some s...
122
click to vote
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
— With the expansion of cloud-based services, the question as to how to control usage of such large distributed systems has become increasingly important. Load balancing (LB), an...
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
We describe a novel simple and highly scalable semi-supervised method called Word-Class Distribution Learning (WCDL), and apply it the task of information extraction (IE) by utili...
112
Voted
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...