5831 search results - page 247 / 1167 » Distributed Dynamic Backtracking |
107
click to vote
JGS
2010
15 years 1 months ago
2010
Qualitative spatial variables are important in many fields of research. However, unlike the decades-worth of research devoted to the spatial association of quantitative variables, ...
147
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
The computational power provided by many-core graphics processing units (GPUs) has been exploited in many applications. The programming techniques currently employed on these GPUs...
175
click to vote
GRID
2010
Springer
15 years 15 days ago
2010
Springer
Abstract The EGEE grid offers the necessary infrastructure and resources for reducing the running time of particle tracking Monte-Carlo applications like GATE. However, efforts are...
135
click to vote
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
210
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...