101 search results - page 18 / 21 » Logical and Stochastic Modeling with SMART |
100
Voted
EDCC
2010
Springer
15 years 2 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
69
Voted
EDCC
2008
Springer
14 years 11 months ago
2008
Springer
Faults attacks are a powerful tool to break some implementations of robust cryptographic algorithms such as AES [8] and DES [3]. Various methods of faults attack on cryptographic ...
FPGA
2007
ACM
15 years 3 months ago
2007
ACM
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
RVRL (Rule Value Reinforcement Learning) is a new algorithm which extends an existing learning framework that models the environment of a situated agent using a probabilistic rule...