2836 search results - page 291 / 568 » Parsing Algorithms and Metrics |
103
click to vote
EUC
2004
Springer
15 years 9 months ago
2004
Springer
Communication optimization plays an important role in building networked distributed applications. In this paper, we systematically evaluate four bandwidth reduction algorithms, n...
159
click to vote
SWAT
2010
Springer
15 years 9 months ago
2010
Springer
Unit Clustering is the problem of dividing a set of points from a metric space into a minimal number of subsets such that the points in each subset are enclosable by a unit ball. W...
168
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
We investigate the average-case speed and scalability of parallel algorithms executing on multiprocessors. Our performance metrics are average-speed and isospeed scalability. By m...
134
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
177
click to vote
COMPGEOM
2005
ACM
15 years 6 months ago
2005
ACM
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the p...