916 search results - page 126 / 184 » Using redundancies to find errors |
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
ICDM
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract—Despite the considerable amount of research work on the application of Gabor filters in pattern classification, their design and selection have been mostly done on a t...
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
– Determining the position of mobile users in GSM networks has become more and more important. Such services as emergency calls and other location dependent services have been of...
105
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
CT An efficient statistical timing analysis algorithm that can handle arbitrary (spatial and structural) causes of delay correlation is described. The algorithm derives the entire ...
VLSID
2008
IEEE
15 years 10 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...