Sciweavers

720 search results - page 103 / 144
» Uniform Memory Hierarchies
Sort
View
ASIAN
1998
Springer
118views Algorithms» more  ASIAN 1998»
15 years 8 months ago
Bisimulation Lattice of Chi Processes
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
Yuxi Fu
CORR
2006
Springer
137views Education» more  CORR 2006»
15 years 4 months ago
Lambda Types on the Lambda Calculus with Abbreviations
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
F. Guidi
PPOPP
2012
ACM
14 years 5 hour 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
TOG
2012
230views Communications» more  TOG 2012»
13 years 6 months ago
Decoupling algorithms from schedules for easy optimization of image processing pipelines
Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequenc...
Jonathan Ragan-Kelley, Andrew Adams, Sylvain Paris...
CVPR
2009
IEEE
16 years 12 months ago
A Streaming Framework for Seamless Building Reconstruction from Large-Scale Aerial LiDAR Data
We present a streaming framework for seamless building reconstruction from huge aerial LiDAR point sets. By storing data as stream files on hard disk and using main memory as only ...
Qian-Yi Zhou (University of Southern California), ...