1620 search results - page 244 / 324 » Testing Polymorphic Properties |
146
click to vote
DSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
134
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we introduce the notion of ranking robustness, which refers to a property of a ranked list of documents that indicates how stable the ranking is in the presence of ...
132
click to vote
CIT
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we proposed some flexible methods, which are useful in the process of voice conversion. The proposed methods modify the shape of the vocal tract system and the chara...
140
click to vote
ECML
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...
156
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...