476 search results - page 15 / 96 » A Speculation-based Approach for Performance and Dependabili... |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...
CRITICAL
2005
13 years 10 months ago
2005
This paper considers multiple meanings of dependability as part of a project investigating home based assistive and smart home technology for older people. It argues that because ...
IJSEKE
2006
13 years 8 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
RTAS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...