3742 search results - page 92 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
PATMOS
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we present a low power high temperature 80C51 microcontroller. The low power optimizations are applied at gate and architectural level, by using extensive clock and ...
134
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniq...
151
click to vote
TEC
2008
15 years 6 months ago
2008
Abstract--In previous research, we have designed and successfully tested a Traffic Light Cycles Evolutionary Optimization Architecture. In this paper, we attempt to validate those ...
148
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
129
click to vote
TEC
2002
15 years 6 months ago
2002
Abstract--This paper presents a technique inspired by the negative selection mechanism of the immune system that can detect foreign patterns in the complement (nonself) space. In p...