4276 search results - page 476 / 856 » Techniques for Empirical Validation |
169
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
188
Voted
CCECE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents a capacity analysis of a decode-and-forward (DF) cooperative network with adaptive source transmission. Three different adaptive techniques are considered: (...
165
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Recent computing-oriented FPGAs feature DSP blocks including small embedded multipliers. A large integer multiplier, for instance for a double-precision floating-point multiplier...
147
Voted
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...
155
click to vote
IBPRIA
2009
Springer
15 years 11 months ago
2009
Springer
Intravascular Ultrasound (IVUS) data validation is usually performed by comparing post-mortem (in-vitro) IVUS data and corresponding histological analysis of the tissue, obtaining ...