8582 search results - page 1399 / 1717 » Here or There |
165
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
The Distributed Shared Memory (DSM) model is designed to leverage the ease of programming of the shared memory paradigm, while enabling the highperformance by expressing locality ...
213
click to vote
SP
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
162
click to vote
SYNASC
2005
IEEE
16 years 9 days ago
2005
IEEE
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursivel...
191
click to vote
TPHOL
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
179
click to vote
VISUALIZATION
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, we describe a methodology and implementation for interactive dataset traversal using motion-controlled transfer functions. Dataset traversal here refers to the proc...