6800 search results - page 969 / 1360 » Testing with Functions as Specifications |
163
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
Modern internet and telephone switches consist of numerous VLSI-circuits operating at high frequencies to handle high bandwidths. It is beyond question that such systems must cont...
190
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
158
click to vote
ADAEUROPE
2005
Springer
16 years 9 days ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
174
click to vote
DSOM
2005
Springer
16 years 8 days ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
166
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes how genetic programming was used as an invention machine to automatically synthesize complete designs for six optical lens systems that duplicated the functio...