Sciweavers

705 search results - page 35 / 141
» New Compilation Languages Based on Structured Decomposabilit...
Sort
View
ICCV
2011
IEEE
13 years 9 months ago
Automated Articulated Structure and 3D Shape Recovery from Point Correspondences
In this paper we propose a new method for the simultaneous segmentation and 3D reconstruction of interest point based articulated motion. We decompose a set of point tracks into r...
Joao Fayad, Chris Russell, Lourdes Agapito
ML
2007
ACM
134views Machine Learning» more  ML 2007»
14 years 9 months ago
Status report: the manticore project
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
Matthew Fluet, Nic Ford, Mike Rainey, John H. Repp...
VEE
2010
ACM
229views Virtualization» more  VEE 2010»
15 years 4 months ago
VMKit: a substrate for managed runtime environments
Managed Runtime Environments (MREs), such as the JVM and the CLI, form an attractive environment for program execution, by providing portability and safety, via the use of a bytec...
Nicolas Geoffray, Gaël Thomas, Julia L. Lawal...
CC
2007
Springer
157views System Software» more  CC 2007»
15 years 4 months ago
New Algorithms for SIMD Alignment
Optimizing programs for modern multiprocessor or vector platforms is a major important challenge for compilers today. In this work, we focus on one challenging aspect: the SIMD ALI...
Liza Fireman, Erez Petrank, Ayal Zaks
HASKELL
2009
ACM
15 years 4 months ago
Alloy: fast generic transformations for Haskell
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
Neil C. C. Brown, Adam T. Sampson