26602 search results - page 5223 / 5321 » A New Imaging Model |
114
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
118
Voted
SACMAT
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we describe the work devising a new technique for role-finding to implement Role-Based Security Administration. Our results stem from industrial projects, where larg...
104
click to vote
SC
2003
ACM
15 years 6 months ago
2003
ACM
Many applications of parallel I/O perform non-contiguous file accesses: instead of accessing a single (large) block of data in a file, a number of (smaller) blocks of data scatt...
136
click to vote
SI3D
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
119
Voted
SIGUCCS
2003
ACM
15 years 6 months ago
2003
ACM
It has been our effort at Ringling school to provide our campus community with the capability to uniformly access resources across multiple platforms. Empowering the user with a s...