3281 search results - page 127 / 657 » An Approach to use Executable Models for Testing |
140
Voted
ECCV
2006
Springer
16 years 4 months ago
2006
Springer
Image restoration is a keen problem of low level vision. In this paper, we propose a novel - assumption-free on the noise model - technique based on random walks for image enhancem...
110
Voted
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
Configurable process models integrate different variants of a business process into a single model. Through configuration users of such models can then combine the variants to deri...
110
Voted
MICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
147
Voted
ICTAC
2009
Springer
15 years 11 days ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
177
Voted
HPCA
2002
IEEE
16 years 3 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...