12257 search results - page 323 / 2452 » Analysis of Algorithms |
153
click to vote
SAS
2009
Springer
16 years 4 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
133
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
127
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
Line detection algorithms constitute the basis for technical document analysis and recognition. The performance of these algorithms decreases as the quality of the documents degra...
160
Voted
ICCAD
2003
IEEE
16 years 28 days ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
134
click to vote
LCN
1994
IEEE
15 years 8 months ago
1994
IEEE
We analyze the behavior of the Ethernet in networks with a small number of active stations, and describe what is known as the Ethernet capture effect, where a station transmits co...