2673 search results - page 207 / 535 » Guided Static Analysis |
124
click to vote
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
An efficient training method for block-diagonal recurrent neural networks is proposed. The method modifies the RPROP algorithm, originally developed for static models, in order to...
163
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
128
click to vote
MICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
Branch prediction is the predominant approach for minimizing the pipeline breaks caused by branch instructions. Traditionally, branch prediction is accomplished in one of two ways...
124
click to vote
ENTCS
2006
15 years 4 months ago
2006
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...
114
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...