3384 search results - page 490 / 677 » More Testable Properties |
GG
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
The next generation of advanced self-protection jammers is expected to deliver effective and energy efficient jamming against modern air tracking radars. However, optimizing such ...
GG
2008
Springer
13 years 11 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
GLOBECOM
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract—Hash tables are used in many networking applications, such as lookup and packet classification. But the issue of collisions resolution makes their use slow and not suit...
CEC
2010
IEEE
13 years 10 months ago
2010
IEEE
— The scaling properties of multimodal optimization methods have seldom been studied, and existing studies often concentrated on the idea that all local optima of a multimodal fu...