Sciweavers

1598 search results - page 31 / 320
» A Unified Computation Model for Functional and Logic Program...
Sort
View
PPOPP
2012
ACM
14 years 1 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 9 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 12 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 11 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
16 years 2 days 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