1023 search results - page 180 / 205 » A Formal Method for Program Slicing |
128
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
109
click to vote
RSP
2003
IEEE
15 years 6 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
149
click to vote
ISPD
1997
ACM
15 years 5 months ago
1997
ACM
The wire sizing problem under inequality Elmore delay constraints is known to be posynomial, hence convex under an exponential variable-transformation. There are formal methods fo...
122
click to vote
ICML
1996
IEEE
15 years 5 months ago
1996
IEEE
This paper presents a direct reinforcement learning algorithm, called Finite-Element Reinforcement Learning, in the continuous case, i.e. continuous state-space and time. The eval...
128
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...