Sciweavers

4323 search results - page 399 / 865
» Callback Implementations in C
Sort
View
CCS
2010
ACM
15 years 4 months ago
Developing security protocols by refinement
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
Christoph Sprenger, David A. Basin
EGH
2010
Springer
15 years 4 months ago
Analytical motion blur rasterization with compression
We present a rasterizer, based on time-dependent edge equations, that computes analytical visibility in order to render accurate motion blur. The theory for doing the computations...
Carl Johan Gribel, Michael C. Doggett, Tomas Akeni...
ICASSP
2010
IEEE
15 years 4 months ago
A short-time objective intelligibility measure for time-frequency weighted noisy speech
Existing objective speech-intelligibility measures are suitable for several types of degradation, however, it turns out that they are less appropriate for methods where noisy spee...
Cees H. Taal, Richard C. Hendriks, Richard Heusden...
ICIP
2010
IEEE
15 years 4 months ago
Stationary foreground detection using background subtraction and temporal difference in video surveillance
In this paper we describe a new algorithm focused on obtaining stationary foreground regions, which is useful for applications like the detection of abandoned/stolen objects and p...
Álvaro Bayona, Juan C. SanMiguel, Jos&eacut...
179
Voted
IPPS
2010
IEEE
15 years 4 months ago
An auto-tuning framework for parallel multicore stencil computations
Although stencil auto-tuning has shown tremendous potential in effectively utilizing architectural resources, it has hitherto been limited to single kernel instantiations; in addi...
Shoaib Kamil, Cy Chan, Leonid Oliker, John Shalf, ...