339 search results - page 29 / 68 » An Experimental Framework for the Analysis and Validation of... |
EMSOFT
2010
Springer
13 years 5 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a new technique for noise removal in images. It benefits both from the recent advances in waveletbased and variational denoising. Whereas wavelet-based analys...
CAIP
2009
Springer
13 years 11 months ago
2009
Springer
Bottom-up segmentation methods merge similar neighboring regions according to a decision rule and a merging order. In this paper, we propose a contribution for each of these two po...
PLDI
2004
ACM
14 years 1 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
ENTCS
2010
13 years 7 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...