3742 search results - page 47 / 749 » On the Use of Formal Techniques for Validation |
CAV
1998
Springer
15 years 4 months ago
1998
Springer
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
DATE
1998
IEEE
15 years 4 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
135
click to vote
PKC
2000
Springer
15 years 3 months ago
2000
Springer
A number of signature schemes and standards have been recently designed, based on the Discrete Logarithm problem. In this paper we conduct design validation of such schemes while t...
102
click to vote
METRICS
2005
IEEE
15 years 5 months ago
2005
IEEE
Using OTS (Off-The-Shelf) components in software development has become increasingly popular in the IT industry. OTS components can be either COTS (Commercial-Off-The-Shelf), or O...