1379 search results - page 164 / 276 » codes 2009 |
143
click to vote
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
The problem of capturing provenance for computational tasks has recently received significant attention, due to the new set of beneficial uses (for optimization, debugging, etc.)...
141
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
115
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
162
click to vote
ISVC
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose an inherent parallel scheme for 3D image segmentation of large volume data on a GPU cluster. This method originates from an extended Lattice Boltzmann Mod...
108
click to vote
IWANN
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents SYLPH, a novel distributed architecture which integrates a service-oriented approach into Wireless Sensor Networks. One of the characteristics of SYLPH is that ...