Sciweavers

1598 search results - page 31 / 320
» A Unified Computation Model for Functional and Logic Program...
Sort
View
PPOPP
2012
ACM
13 years 12 months ago
PARRAY: a unifying array representation for heterogeneous parallelism
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...
Yifeng Chen, Xiang Cui, Hong Mei
GECCO
2000
Springer
123views Optimization» more  GECCO 2000»
15 years 8 months ago
Genomic computing: explanatory modelling for functional genomics
Many newly discovered genes are of unknown function. DNA microarrays are a method for determining the expression levels of all genes in an organism for which a complete genome seq...
Richard J. Gilbert, Jem J. Rowland, Douglas B. Kel...
ISBI
2006
IEEE
15 years 10 months ago
Shape analysis using the Fisher-Rao Riemannian metric: unifying shape representation and deformation
— We show that the Fisher-Rao Riemannian metric is a natural, intrinsic tool for computing shape geodesics. When a parameterized probability density function is used to represent...
Adrian Peter, Anand Rangarajan
CEFP
2005
Springer
15 years 9 months ago
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
Kevin Hammond
ICLP
2007
Springer
15 years 10 months ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens