6105 search results - page 329 / 1221 » A Parallel Algorithm for Bound-Smoothing |
210
Voted
CG
2008
Springer
15 years 6 months ago
2008
Springer
As multi-core processor systems become more and more widespread, the demand for efficient parallel algorithms also propagates into the field of computer graphics. This is especial...
208
click to vote
CIKM
2007
Springer
16 years 27 days ago
2007
Springer
Spatial queries for extracting data from wireless sensor networks are important for many applications, such as environmental monitoring and military surveillance. One such query i...
159
click to vote
ISSAC
2007
Springer
16 years 26 days ago
2007
Springer
Through the use of a new disk-based method for enumerating very large orbits, condensation for orbits with tens of billions of elements can be performed. The algorithm is novel in...
167
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
174
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...