2261 search results - page 196 / 453 » The problem with scalability |
180
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
146
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
190
click to vote
GEM
2009
15 years 4 months ago
2009
Self-organizing systems could serve as a solution for many technical problems where properties like robustness, scalability, and adaptability are required. However, despite all the...
190
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
There have been several recent advancements in Machine Learning community on the Entity Matching (EM) problem. However, their lack of scalability has prevented them from being app...
204
click to vote
CEE
2011
14 years 10 months ago
2011
Performance of ad hoc networks dramatically declines as network grows. Cluster formation in which the network hosts are hierarchically part...