1528 search results - page 177 / 306 » Performance Assertion Checking |
106
click to vote
SIPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Stochastic decoding is a new alternative method for low complexity decoding of error-correcting codes. This paper presents the first hardware architecture for stochastic decoding...
139
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
98
Voted
TSD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper deals with the problem of speech waveform polarity. As the polarity of speech waveform can influence the performance of pitch marking algorithms (see Sec. 4),...
132
Voted
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
106
Voted
IOLTS
2006
IEEE
15 years 8 months ago
2006
IEEE
A significant fraction of soft errors in modern microprocessors has been reported to never lead to a system failure. Any concurrent error detection scheme that raises alarm every ...