551 search results - page 59 / 111 » Reducing the cost of applying adaptive test cases |
119
click to vote
CF
2005
ACM
15 years 4 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
112
click to vote
ICCSA
2005
Springer
15 years 7 months ago
2005
Springer
Symmetries are not only fascinating, but they can also be exploited when designing numerical algorithms and data structures for scientific engineering problems in symmetrical doma...
138
click to vote
AH
2008
Springer
15 years 8 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
135
click to vote
DCC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper contains two contributions to very-low-bitrate video coding. First, we show that in contrast to common practice incremental techniques for rate-distortion optimization ...
116
click to vote
CASES
2005
ACM
15 years 4 months ago
2005
ACM
Modern embedded applications usually have real-time constraints and they have requirements for low energy consumption. At system level, intra-task dynamic voltage scaling (DVS) is...