5525 search results - page 92 / 1105 » Verification of Model Transformations |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper we investigate the use of formant and antiformant measurements of nasal consonants for speaker verification. The features are obtained using a pole-zero vocal tract...
CAV
1990
Springer
15 years 1 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
ECOWS
2006
Springer
15 years 1 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
CAV
1998
Springer
15 years 2 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
CAV
2001
Springer
15 years 1 months ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...