8917 search results - page 204 / 1784 » Abstraction in Algorithm Animation |
158
click to vote
SIAMCOMP
2010
15 years 1 months ago
2010
Abstract. In this paper we study variants of the non-preemptive parallel job scheduling problem where the number of machines is polynomially bounded in the number of jobs. For this...
192
click to vote
ALGOSENSORS
2007
Springer
16 years 20 days ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...
181
click to vote
VMCAI
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
139
click to vote
APPROX
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We consider the problem of approximating the average distance between pairs of points in a high-dimensional Euclidean space, and more generally in any metric space. We co...
158
click to vote
ISAAC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we explore some novel aspects of visibility for stationary and moving points inside a simple polygon