10602 search results - page 1863 / 2121 » Weakly Useful Sequences |
186
click to vote
EUROPAR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
172
click to vote
FINTAL
2006
15 years 11 months ago
2006
This paper addresses a problem of natural language text alignment, from a humanities discipline called textual genetic criticism where different text versions must be compared. The...
151
click to vote
FMCAD
2006
Springer
15 years 11 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
193
click to vote
FSE
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we present new and more accurate estimates of the biases of the linear approximation of the FSM of the stream cipher SNOW 2.0. Based on improved bias estimates we als...
215
click to vote
APLAS
2003
ACM
15 years 11 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...