933 search results - page 101 / 187 » A Fully Automatic hp-Adaptivity |
84
Voted
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
We describe a scalable and general-purpose framework for auto-tuning compiler-generated code. We combine Active Harmony’s parallel search backend with the CHiLL compiler transfo...
106
Voted
ICWE
2009
Springer
15 years 7 months ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
81
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
DAGM
2005
Springer
15 years 6 months ago
2005
Springer
A fully automatic method to extract field boundaries from imagery is described in this paper. The fields are represented together with additional prior knowledge in the form of GIS...
83
Voted
ICIC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. An orthogonal forward selection (OFS) algorithm based on the leaveone-out (LOO) criterion is proposed for the construction of radial basis function (RBF) networks with tu...