7393 search results - page 1351 / 1479 » Synthesis-for-testability using transformations |
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
In the paper an approach to analysis of the structure of repositories based on network analysis is proposed. The repository metadata can be transformed into several (one-mode or tw...
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The aggregation of objectives in multiple criteria programming is one of the simplest and widely used approach. But it is well known that these techniques sometimes fail ...
109
click to vote
SCALESPACE
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a statistical model for textures that uses a non-negative decomposition on a set of local atoms learned from an exemplar. This model is described by the varianc...
127
click to vote
SMALLTALK
2007
Springer
15 years 4 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
INFOCOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— Internet paths sharing the same bottleneck can be identified using several shared congestion detection techniques. However, all of these techniques have been designed to detec...