5064 search results - page 56 / 1013 » Recent Developments in Gridsolve |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
EVOW
2009
Springer
14 years 2 months ago
2009
Springer
In continuous black-box optimization, various stochastic local search techniques are often employed, with various remedies for fighting the premature convergence. This paper surve...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
Our recent work is devoted to the development of an agent-based travel support system in which personalized information is delivered to the user. Thus far we have focused our atte...
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
CAISE
2007
Springer
14 years 2 months ago
2007
Springer
Various efforts recently aimed at the development of quality metrics for process models. In this paper, we propose a new notion of coupling, which has been used successfully in so...