204 search results - page 20 / 41 » Experimental Evaluation of Time-redundant Execution for a Br... |
ICPADS
2006
IEEE
14 years 1 months ago
2006
IEEE
Symmetric Multiprocessors (SMPs), combined with modern interconnection technologies are commonly used to build cost-effective compute clusters. However, contention among processor...
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
We present a performance analysis of an agent-based middleware system we have developed based on "reAgents," remotely executing agents that enhance the performance of cl...
DPD
2006
13 years 7 months ago
2006
Contemporary long-term storage devices feature powerful embedded processors and sizeable memory buffers. Active Storage Devices (ASD) is the hard disk technology that makes use of ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...