741 search results - page 6 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
ISPASS
2006
IEEE
14 years 2 months ago
2006
IEEE
The latest high-performance IBM PowerPC microprocessor, the POWER5 chip, poses challenges for performance model validation. The current stateof-the-art is to use simple hand-coded...