2119 search results - page 249 / 424 » Structure-Preserving Model Reduction |
147
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
112
click to vote
PADS
2004
ACM
15 years 8 months ago
2004
ACM
Parallel discrete event simulation techniques have enabled the realization of large-scale models of communication networks containing millions of end hosts and routers. However, t...
116
click to vote
CHES
2003
Springer
15 years 8 months ago
2003
Springer
We introduce multi-channel attacks, i.e., side-channel attacks which utilize multiple side-channels such as power and EM simultaneously. We propose an adversarial model which combi...
119
click to vote
DDECS
2009
IEEE
15 years 6 months ago
2009
IEEE
Although the Neighborhood Pattern Sensitive Fault (NPSF) model is recognized as a high quality fault model for memory arrays, the excessive test application time cost associated wi...
132
click to vote
SDM
2008
SIAM
15 years 4 months ago
2008
SIAM
Cross validation allows models to be tested using the full training set by means of repeated resampling; thus, maximizing the total number of points used for testing and potential...