26602 search results - page 5223 / 5321 » A New Imaging Model |
146
click to vote
PLDI
2003
ACM
15 years 9 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...
145
click to vote
SACMAT
2003
ACM
15 years 9 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...
137
click to vote
SC
2003
ACM
15 years 9 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...
178
click to vote
SI3D
2003
ACM
15 years 9 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...
149
click to vote
SIGUCCS
2003
ACM
15 years 9 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...