3381 search results - page 563 / 677 » adaptive 2007 |
111
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
114
click to vote
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
84
Voted
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
Online application performance monitoring allows tracking performance characteristics during execution as opposed to doing so post-mortem. This opens up several possibilities other...
96
Voted
EUROSSC
2007
Springer
15 years 6 months ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...
EVOW
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Addressing dynamic optimization problems has been a challenging task for the genetic algorithm community. Over the years, several approaches have been developed into gene...