3281 search results - page 117 / 657 » An Approach to use Executable Models for Testing |
115
Voted
PTS
2008
15 years 4 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
100
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. In this paper, we present a methodology for mapping an Embedded Signal Processing ESP application onto HPC platforms such that the throughput performance is maximized. Pr...
116
click to vote
ICIP
2000
IEEE
15 years 7 months ago
2000
IEEE
We show that traditional waveform-coding and 3-D modelbased coding are not competing alternatives but should be combined to support and complement each other. Both approaches are ...
129
Voted
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
115
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Haplotype-based approaches have been extensively studied for case-control association mapping in recent years. It has been shown that haplotype methods can provide mor...