797 search results - page 75 / 160 » Eliminating Proofs from Programs |
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
102
Voted
APSEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
90
Voted
ERLANG
2009
ACM
15 years 7 months ago
2009
ACM
This paper describes opportunities for automatically modernizing Erlang applications, cleaning them up, eliminating certain bad smells from their code and occasionally also improv...
104
Voted
NIPS
1993
15 years 2 months ago
1993
Recent developments in the area of reinforcement learning have yielded a number of new algorithms for the prediction and control of Markovian environments. These algorithms,includ...
117
Voted
TVLSI
2008
15 years 16 days ago
2008
This paper describes Glitchless, a circuit-level technique for reducing power in FPGAs by eliminating unnecessary logic transitions called glitches. This is done by adding program...