1119 search results - page 13 / 224 » A Flexible Framework for SharedPlans |
TAICPART
2006
IEEE
14 years 2 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
HPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
In the present paper, we examine the problem of supporting application-specific computation within a network file server. Our objectives are (i) to introduce an easy to use yet ...
EGH
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly con...
DBSEC
2006
13 years 10 months ago
2006
Access control is a crucial concern to build secure IT systems and, more specifically, to protect the confidentiality of information. However, access control is necessary, but not ...
ESAW
2009
Springer
14 years 3 months ago
2009
Springer