5350 search results - page 222 / 1070 » Space and time in eco-ontologies |
155
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
This paper focuses on the computation time of evolutionary algorithms. First, some exact expressions of the mean first hitting times of general evolutionary algorithms in finite...
175
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
219
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
178
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. ...
180
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...