1116 search results - page 72 / 224 » Applying Predicate Abstraction to Abstract State Machines |
147
click to vote
PRDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
127
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
121
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...
123
click to vote
ML
2002
ACM
15 years 3 months ago
2002
ACM
Abstract. The problemof state abstractionis of centralimportancein optimalcontrol,reinforcement learning and Markov decision processes. This paper studies the case of variable reso...
147
click to vote
SAMOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Memory access latency can limit microcontroller system performance. SDRAM access control policies impact latency through SDRAM device state. It is shown that execution ti...