1585 search results - page 114 / 317 » A framework for computer-aided validation |
117
click to vote
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper deals with the optimization of noisy fitness functions, where the noise level can be reduced by increasing the computational effort. We theoretically investigate th...
128
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract: DRAMs play an important role in the semiconductor industry, due to their highly dense layout and their low price per bit. This paper presents the first framework of faul...
110
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— Telepresence systems are often deployed in scenarios where communication bandwidth is limited. Consequently, data exchanged between operator and teleoperator has to be reduced....
134
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
137
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...