2935 search results - page 398 / 587 » An Integrated Approach to High Integrity Software Verificati... |
159
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
Design closure becomes hard to achieve at physical layout stage due to the emergence of long global interconnects. Consequently, interconnect planning needs to be integrated in hi...
132
click to vote
IFIP
2007
Springer
16 years 16 days ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
169
click to vote
MICAI
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In this paper we utilize information theory to study the impact in learning performance of various motivation and environmental configurations. This study is done within...
150
click to vote
RTA
2007
Springer
16 years 15 days ago
2007
Springer
We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom furnishes a bridge between a general purp...
132
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper deals with optimizing the task cycle time of industrial robots integrated in complex robot cells. Trajectory optimizers are usually based on models and can’t properly...