2036 search results - page 390 / 408 » A generic type-and-effect system |
PPOPP
2006
ACM
14 years 2 months ago
2006
ACM
We investigate a transactional memory runtime system providing scaling and strong consistency for generic C++ and SQL applications on commodity clusters. We introduce a novel page...
VISUALIZATION
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we present two novel texture-based techniques to visualize uncertainty in time-dependent 2D flow fields. Both methods use semi-Lagrangian texture advection to sho...
WS
2005
ACM
14 years 2 months ago
2005
ACM
Mobile ad hoc networks (MANETs) offer communication over a shared wireless channel without any pre-existing infrastructure. Forming peer-to-peer security associations in MANETs i...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
We present a technique for automatic placement of authorization hooks, and apply it to the Linux security modules (LSM) framework. LSM is a generic framework which allows diverse ...
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
Documents formatted in eXtensible Markup Language (XML) are becoming increasingly available in collections of various document types. In this paper, we present an approach for the...