1446 search results - page 18 / 290 » Formal analysis of hardware requirements |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
CGA
2005
13 years 7 months ago
2005
Procedural encoding of scattered and unstructured scalar datasets using Radial Basis Functions (RBF) is an active area of research with great potential for compactly representing ...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
CEE
2004
13 years 7 months ago
2004
A performance comparison for the 64-bit block cipher (Triple-DES, IDEA, CAST-128, MISTY1, and KHAZAD) FPGA hardware implementations is given in this paper. All these ciphers are u...
EUROCRYPT
1999
Springer
14 years 5 days ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...