Sciweavers

3238 search results - page 23 / 648
» Multi-return function call
Sort
View
IPPS
2006
IEEE
14 years 1 months ago
A calculus of functional BSP programs with projection
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
Frédéric Loulergue
CP
2005
Springer
14 years 1 months ago
Tree Decomposition with Function Filtering
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
Martí Sánchez, Javier Larrosa, Pedro...
ISMVL
2003
IEEE
125views Hardware» more  ISMVL 2003»
14 years 28 days ago
Compact Representations of Logic Functions using Heterogeneous MDDs
In this paper, we propose a compact representation of logic functions using Multi-valued Decision Diagrams (MDDs) called heterogeneous MDDs. In a heterogeneous MDD, each variable ...
Shinobu Nagayama, Tsutomu Sasao
ISBI
2006
IEEE
14 years 8 months ago
Functional brain mapping with high-temporal resolution: introducing "evolutionary activation cells"
Functional image sequences obtained from image reconstruction techniques applied to Magneto and Electroencephalography (M/EEG) data convey a large amount of information in the spa...
Florence Gombert, Sylvain Baillet
DATE
2009
IEEE
123views Hardware» more  DATE 2009»
14 years 2 months ago
On decomposing Boolean functions via extended cofactoring
—We investigate restructuring techniques based on decomposition/factorization, with the objective to move critical signals toward the output while minimizing area. A specific ap...
Anna Bernasconi, Valentina Ciriani, Gabriella Truc...