Sciweavers

6939 search results - page 409 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
CAV
2009
Springer
132views Hardware» more  CAV 2009»
16 years 4 months ago
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
Thao Dang, David Salinas
CAD
2005
Springer
15 years 3 months ago
Euclidean Voronoi diagram of 3D balls and its computation via tracing edges
Despite its important applications in various disciplines in science and engineering, the Euclidean Voronoi diagram for spheres, also known as an additively weighted Voronoi diagr...
Deok-Soo Kim, Youngsong Cho, Donguk Kim
CAV
2009
Springer
139views Hardware» more  CAV 2009»
16 years 4 months ago
A Concurrent Portfolio Approach to SMT Solving
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
Christoph M. Wintersteiger, Leonardo Mendonç...
IPPS
2000
IEEE
15 years 8 months ago
On Sorting an Intransitive Total Ordered Set Using Semi-Heap
1 The problem of sorting an intransitive total ordered set, a generalization of regular sorting, is considered. This generalized sorting is based on the fact that there exists a s...
Jie Wu
IPPS
1999
IEEE
15 years 8 months ago
The Performance of Coordinated and Independent Checkpointing
Checkpointing is a very effective technique to tolerate the occurrence of failures in distributed and parallel applications. The existing algorithms in the literature are basicall...
Luís Moura Silva, João Gabriel Silva