Sciweavers

511 search results - page 78 / 103
» Synchronous Structures
Sort
View
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
14 years 6 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...
CVPR
2010
IEEE
14 years 6 months ago
High-Resolution Modeling of Moving and Deforming Objects Using Sparse Geometric and Dense Photometric Measurements
Modeling moving and deforming objects requires capturing as much information as possible during a very short time. When using off-the-shelf hardware, this often hinders the resolu...
Yi Xu, Daniel Aliaga
CGO
2009
IEEE
14 years 4 months ago
Software Pipelined Execution of Stream Programs on GPUs
—The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. This model allows programmers to sp...
Abhishek Udupa, R. Govindarajan, Matthew J. Thazhu...
DAGM
2009
Springer
14 years 4 months ago
A Stereo Depth Recovery Method Using Layered Representation of the Scene
Recent progresses in stereo research imply that performance of the disparity estimation depends on the discontinuity localization in the disparity space which is generally predicat...
Tarkan Aydin, Yusuf Sinan Akgul
GROUP
2009
ACM
14 years 4 months ago
Supporting group decisions by mediating deliberation to improve information pooling
Group decision support systems (GDSS) hold significant potential for improving decision making, but they have not been broadly adopted. One reason for this is that these platforms...
Joshua Introne