1271 search results - page 209 / 255 » On Simulation-Checking with Sequential Systems |
117
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
123
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
Logic soft errors are radiation induced transient errors in sequential elements (flip-flops and latches) and combinational logic. Robust enterprise platforms in sub-65nm technolog...
132
Voted
DASFAA
2008
IEEE
15 years 4 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...
135
Voted
ECCV
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In the matching tasks which form an integral part of all types of tracking and geometrical vision, there are invariably priors available on the absolute and/or relative i...
142
Voted
EWCBR
2008
Springer
15 years 4 months ago
2008
Springer
To meet time constraints, a CBR system must control the time spent searching in the case base for a solution. In this paper, we presents the results of a case study comparing the p...