Sciweavers

608 search results - page 31 / 122
» The Expressive Power of Simple Parallelism
Sort
View
86
Voted
PROCEDIA
2010
138views more  PROCEDIA 2010»
14 years 4 months ago
Using the reconfigurable massively parallel architecture COPACOBANA 5000 for applications in bioinformatics
Currently several computational problems require high processing power to handle huge amounts of data, although underlying core algorithms appear to be rather simple. Especially i...
Lars Wienbrandt, Stefan Baumgart, Jost Bissel, Car...
70
Voted
DAGSTUHL
2003
14 years 11 months ago
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
Vincent Cremet, Martin Odersky
ICML
2007
IEEE
15 years 10 months ago
Hierarchical Gaussian process latent variable models
The Gaussian process latent variable model (GP-LVM) is a powerful approach for probabilistic modelling of high dimensional data through dimensional reduction. In this paper we ext...
Neil D. Lawrence, Andrew J. Moore
ECAI
2008
Springer
14 years 11 months ago
XTT+ Rule Design Using the ALSV(FD)
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
Grzegorz J. Nalepa, Antoni Ligeza
85
Voted
IPPS
1998
IEEE
15 years 1 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa