2673 search results - page 130 / 535 » Guided Static Analysis |
105
click to vote
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
We show that linear value-function approximation is equivalent to a form of linear model approximation. We then derive a relationship between the model-approximation error and the...
119
click to vote
EVOW
2005
Springer
15 years 9 months ago
2005
Springer
We show how an evolutionary algorithm can successfully be used to evolve a set of difficult to solve symmetric travelling salesman problem instances for two variants of the Lin-Ker...
181
Voted
ICCBSS
2005
Springer
15 years 9 months ago
2005
Springer
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...
147
Voted
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
The HW/SW partitioning problem addressed in this paper is one of the key steps in the co-design flow of heterogeneous embedded systems. Generally the aim is to provide solutions t...
140
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...