1642 search results - page 14 / 329 » SPINning Parallel Systems Software |
LCPC
2001
Springer
14 years 3 days ago
2001
Springer
CLUSTER
2007
IEEE
13 years 7 months ago
2007
IEEE
— In this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this in...
CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
CC
2001
Springer
14 years 5 days ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
VLDB
1992
ACM
13 years 11 months ago
1992
ACM
This paper evaluates the performance of the parallel, main-memory DBMS, PRISMA/DB. First, an architecture for parallel query execution is presented. A performance model for the ex...