Sciweavers

434 search results - page 16 / 87
» A Distributed and Probabilistic Concurrent Constraint Progra...
Sort
View
FROCOS
2000
Springer
15 years 1 months ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
FSTTCS
2005
Springer
15 years 3 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
ASAP
1997
IEEE
144views Hardware» more  ASAP 1997»
15 years 2 months ago
Automatic data mapping of signal processing applications
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...
Corinne Ancourt, Denis Barthou, Christophe Guettie...
ICASSP
2011
IEEE
14 years 1 months ago
Concurrent estimation of singing voice F0 and phonemes by using spectral envelopes estimated from polyphonic music
The scarcity of available multi-track recordings constitutes a severe constraint on the training of probabilistic models for voice extraction from polyphonic music. We propose a n...
Hiromasa Fujihara, Masataka Goto
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
15 years 3 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat