Sciweavers

331 search results - page 56 / 67
» Fragments of order
Sort
View
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 7 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
CONCURRENCY
2006
148views more  CONCURRENCY 2006»
13 years 7 months ago
An adaptive parallel query processing middleware for the Grid
vices provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. In this scenario, applications, like sc...
Vinícius F. V. da Silva, Márcio L. D...
PUC
2008
137views more  PUC 2008»
13 years 7 months ago
Middleware support for the deployment of ubiquitous software components
A number of emerging distributed platforms include xed and robust workstations but, like dynamic and pervasive networks, are often built from mobile and resource-constrained device...
Didier Hoareau, Yves Mahéo
EGH
2010
Springer
13 years 5 months ago
A lazy object-space shading architecture with decoupled sampling
We modify the Reyes object-space shading approach to address two inefficiencies that result from performing shading calculations at micropolygon grid vertices prior to rasterizati...
Christopher A. Burns, Kayvon Fatahalian, William R...
ICDE
2010
IEEE
174views Database» more  ICDE 2010»
13 years 5 months ago
Semantic flooding: Search over semantic links
Abstract-- Classification hierarchies are trees where links codify the fact that a node lower in the hierarchy contains documents whose contents are more specific than those one le...
Fausto Giunchiglia, Uladzimir Kharkevich, Alethia ...