266 search results - page 8 / 54 » Combining Software and Hardware Verification Techniques |
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
80
Voted
AICCSA
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper discusses an approach for solving combinatorial problems by combining software and dynamically reconfigurable hardware (configware). The suggested technique avoids inst...
71
Voted
HPCA
1998
IEEE
15 years 1 months ago
1998
IEEE
A key challenge in achieving high performance on software DSM systems is overcoming their relatively large communication latencies. In this paper, we consider two techniques which...
79
Voted
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
CASES
2005
ACM
14 years 11 months ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...