68 search results - page 1 / 14 » Sequential optimisation without state space exploration |
ICCAD
1997
IEEE
13 years 9 months ago
1997
IEEE
We propose an algorithm for area optimisation of sequential circuits through redundancy removal. The algorithm finds compatible redundancies by implying values over nets in the c...
CASES
2008
ACM
13 years 6 months ago
2008
ACM
Embedded processor performance is dependent on both the underlying architecture and the compiler optimisations applied. However, designing both simultaneously is extremely difficu...
TSE
2008
13 years 4 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
ENTCS
2008
13 years 4 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
NN
2007
Springer
13 years 4 months ago
2007
Springer
Reinforcement learning is based on exploration of the environment and receiving reward that indicates which actions taken by the agent are good and which ones are bad. In many app...