Sciweavers

5263 search results - page 469 / 1053
» Open Constraint Optimization
Sort
View
PVLDB
2008
110views more  PVLDB 2008»
15 years 6 months ago
DObjects: enabling distributed data services for metacomputing platforms
Many applications rely heavily on large amounts of data in the distributed storages collected over time or produced by large scale scientific experiments or simulations. The key co...
Pawel Jurczyk, Li Xiong
SAC
2008
ACM
15 years 6 months ago
Configuring features with stakeholder goals
Goal models are effective in capturing stakeholder needs at the time when features of the system-to-be have not yet been conceptualized. Relating goals to solution-oriented featur...
Yijun Yu, Julio Cesar Sampaio do Prado Leite, Alex...
LICS
2010
IEEE
15 years 5 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin
INFOCOM
2011
IEEE
14 years 10 months ago
A distributed triangulation algorithm for wireless sensor networks on 2D and 3D surface
Abstract—Triangulation serves as the basis for many geometrybased algorithms in wireless sensor networks. In this paper we propose a distributed algorithm that produces a triangu...
Hongyu Zhou, Hongyi Wu, Su Xia, Miao Jin, Ning Din...
EGH
2011
Springer
14 years 6 months ago
High-Performance Software Rasterization on GPUs
In this paper, we implement an efficient, completely software-based graphics pipeline on a GPU. Unlike previous approaches, we obey ordering constraints imposed by current graphi...
Samuli Laine, Tero Karras