7892 search results - page 127 / 1579 » Programming with Models |
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
110
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
In this work genetic programming is used to express and evolve trading strategies for a foreign exchange currency market simulator.
AC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
121
click to vote
CASCON
2001
15 years 2 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
124
click to vote
GCC
2007
Springer
15 years 3 months ago
2007
Springer
Executing the legacy program over grid is very important and necessary. To reuse the legacy program, we developed a method based on Component for executing the legacy code. We can...