241 search results - page 33 / 49 » Implicit Parallelism |
129
Voted
GBRPR
2007
Springer
15 years 11 months ago
2007
Springer
Segmentation algorithms based on an energy minimisation framework often depend on a scale parameter which balances a fit to data and a regularising term. Irregular pyramids are de...
152
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
132
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
We have identified a fundamental operator in wireless networks that we named the local leader election in which the goal is to select a node in a spatially close neighborhood. We ...
145
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Scalability refers to the extent of configuration modifications over which a system continues to be economically deployable. Until now, scalability of resource management system...
127
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...