1528 search results - page 87 / 306 » Performance Assertion Checking |
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— It has previously been shown that serially concatenated trellis coded modulation (SCTCM) with a non-recursive inner convolutional code can achieve convergence close to ...
HVC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
ASYNC
1997
IEEE
14 years 16 days 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...
SIGCOMM
1995
ACM
14 years 15 days ago
1995
ACM
Checksum and CRC algorithms have historically been studied under the assumption that the data fed to the algorithms was uniformly distributed. This paper examines the behavior of ...