2645 search results - page 256 / 529 » time 2003 |
163
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
175
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
205
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
139
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a method for evaluating functions in hardware based on polynomial approximation with non-uniform segments. The novel use of nonuniform segments enables us to ap...
182
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
The use of FPGAs for cryptographic applications is highly attractive for a variety of reasons but at the same time there are many open issues related to the general security of FPG...