16190 search results - page 69 / 3238 » Applicative programming with effects |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We address the task of separation of music and effects from dialogs in film or television soundtracks. This is of interest for film studios wanting to release films in new, pre...
ICPP
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we present a solution for efficient porting of sequential C++ applications on the Cell B.E. processor. We present our step-by-step approach, focusing on its general...
APLAS
2004
ACM
13 years 11 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
HPCN
1998
Springer
14 years 1 days ago
1998
Springer
The paper presents and evaluates a set of local dynamic load balancing strategies inspired to diffusion and characterised by different scopes of locality. The paper shows that poli...
GCC
2005
Springer
14 years 1 months ago
2005
Springer
In the current Web, e-document has been the most common vehicle for delivering and exchanging information. As the amount of e-documents has grown enormously, effective classificati...