1511 search results - page 185 / 303 » Relational Parametricity for Computational Effects |
158
click to vote
CCGRID
2007
IEEE
16 years 22 days ago
2007
IEEE
The rising popularity of mobile applications and devices has brought about an enhanced interest in infrastructure support for mobile computing. Our work focuses on the development...
151
click to vote
DSN
2007
IEEE
16 years 22 days ago
2007
IEEE
Cryptography has become an indispensable mechanism for securing systems, communications and applications. While offering strong protection, cryptography makes the assumption that ...
171
click to vote
ICCV
2007
IEEE
16 years 22 days ago
2007
IEEE
Three-dimensional geometric data play fundamental roles in many computer vision applications. However, their scale-dependent nature, i.e. the relative variation in the spatial ext...
147
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Fine-grained multithreading based on a natural model, such as dataflow model, is promising in achieving high efficiency and high programming productivity. In this paper, we disc...
173
click to vote
GRAPHITE
2006
ACM
16 years 11 days ago
2006
ACM
—This paper demonstrates the simple yet effective usage of height fields for interactive landscape visualizations using a ray casting approach implemented in the pixel shader of...