2056 search results - page 44 / 412 » Detecting Errors in Spreadsheets |
CHARME
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, we explore a parallelization of BMC based on state space partitioning. The parallelization is accomplished by executing multiple instances of BMC independently from ...
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
HYBRID
2004
Springer
14 years 4 months ago
2004
Springer
DFT
2003
IEEE
14 years 4 months ago
2003
IEEE
Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical
CISIS
2009
IEEE
14 years 3 months ago
2009
IEEE