1399 search results - page 99 / 280 » Verification of Test Suites |
133
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Today’s mobile communication systems use sophisticated signal processing to achieve high transmission rates. Therefore a high complexity in the digital system part as well as ve...
160
Voted
DBPL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
155
click to vote
ASYNC
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
142
click to vote
PSTV
1993
15 years 5 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
129
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...