Sciweavers

1511 search results - page 185 / 303
» Relational Parametricity for Computational Effects
Sort
View
CCGRID
2007
IEEE
16 years 22 days ago
MAPGrid: A New Architecture for Empowering Mobile Data Placement in Grid Environments
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...
Yun Huang, Nalini Venkatasubramanian, Yang Wang 00...
DSN
2007
IEEE
16 years 22 days ago
Protecting Cryptographic Keys from Memory Disclosure Attacks
Cryptography has become an indispensable mechanism for securing systems, communications and applications. While offering strong protection, cryptography makes the assumption that ...
Keith Harrison, Shouhuai Xu
ICCV
2007
IEEE
16 years 22 days ago
Scale-Dependent 3D Geometric Features
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...
John Novatnack, Ko Nishino
IPPS
2007
IEEE
16 years 21 days ago
OS Mechanism for Continuation-based Fine-grained Threads on Dedicated and Commodity Processors
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...
Shigeru Kusakabe, Satoshi Yamada, Mitsuhiro Aono, ...
GRAPHITE
2006
ACM
16 years 11 days ago
Interactive landscape visualization using GPU ray casting
—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...
Stephan Mantler, Stefan Jeschke