16190 search results - page 406 / 3238 » Applicative programming with effects |
138
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
Analog video digitized from noisy sources can suffer of line registration problems due to bad synchronization pulses. The effect is that the image lines are randomly shiftedwith r...
138
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
This paper introduces a new unobtrusive and cost-effective method for the capture and compression of program execution traces in real-time, which is based on a double move-to-fron...
151
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
121
Voted
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
The results produced by five different MPI benchmark programs on an SGI Altix 3700 are analyzed and compared. There are significant differences in the results for some MPI operati...
131
click to vote
IWPC
2006
IEEE
15 years 11 months ago
2006
IEEE
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...