1104 search results - page 141 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
115
Voted
STTT
2008
15 years 3 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
168
Voted
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
187
Voted
CAL
2011
14 years 3 months ago
2011
—In this paper we present DRAMSim2, a cycle accurate memory system simulator. The goal of DRAMSim2 is to be an accurate and publicly available DDR2/3 memory system model which ca...
161
Voted
JMLR
2012
13 years 6 months ago
2012
Grid search and manual search are the most widely used strategies for hyper-parameter optimization. This paper shows empirically and theoretically that randomly chosen trials are ...
133
Voted
ICCAD
2008
IEEE
16 years 25 days ago
2008
IEEE
Statistical static timing analysis (SSTA) has emerged as an essential tool for nanoscale designs. Monte Carlo methods are universally employed to validate the accuracy of the appr...