4962 search results - page 312 / 993 » Stochastic Model Checking |
126
click to vote
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
135
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
127
click to vote
CHES
2006
Springer
15 years 7 months ago
2006
Springer
Template Attacks and the Stochastic Model provide advanced methods for side channel cryptanalysis that make use of `a-priori' knowledge gained from a profiling step. For a sys...
127
Voted
WSC
2000
15 years 4 months ago
2000
Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables ...
120
click to vote
IVC
2007
15 years 3 months ago
2007
Recently, an optimization approach for fast visual tracking of articulated structures based on Stochastic Meta-Descent (SMD) [7] has been presented. SMD is a gradient descent with...