1492 search results - page 29 / 299 » Testing Properties of Constraint-Graphs |
160
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
157
click to vote
WISES
2003
15 years 4 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
184
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
118
Voted
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Having in mind the large-scale analysis of gene regulatory networks, we review a graph decimation algorithm, called "leaf-removal", which can be used to evaluate the feed...
128
Voted
FLAIRS
2010
15 years 5 months ago
2010
In this paper, we propose the application of standard decomposition approaches to find local correlations in multimodal data. In a test scenario, we apply these methods to correla...