741 search results - page 54 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
TCAD
2008
14 years 9 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
Tiling is a widely used loop transformation for exposing/exploiting parallelism and data locality. Effective use of tiling requires selection and tuning of the tile sizes. This is...
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...