2509 search results - page 127 / 502 » Abstract Geometrical Computation and Computable Analysis |
120
Voted
EAGC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...
101
click to vote
WSC
1998
15 years 2 months ago
1998
In this paper, we propose two speculation-based methods for fast and accurate simulation-based performance and dependability analysis of complex systems, incorporating detailed si...
103
Voted
COMPGEOM
2009
ACM
15 years 7 months ago
2009
ACM
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
MICS
2010
14 years 11 months ago
2010
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
114
click to vote
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...