190 search results - page 37 / 38 » Resources, Concurrency and Local Reasoning |
SASP
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper describes a multi-threaded parallel design and implementation of the Smith-Waterman (SM) algorithm on compute unified device architecture (CUDA)-compatible graphic pr...
SACMAT
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
ATAL
2005
Springer
14 years 28 days ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
CLUSTER
2002
IEEE
14 years 10 days ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
GIS
2009
ACM
13 years 12 months ago
2009
ACM
More and more users are contributing and sharing more and more contents on the Web via the use of content hosting sites and social media services. These user–generated contents ...