693 search results - page 117 / 139 » A Basic Unit of Computation in Distributed Systems |
144
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
125
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
101
click to vote
HPCS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...
123
click to vote
CSREASAM
2006
15 years 3 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
We study the performance of three parallel algorithms and their hybrid variants for solving tridiagonal linear systems on a GPU: cyclic reduction (CR), parallel cyclic reduction (...