29 search results - page 2 / 6 » An Automatic Mechanism for Adjusting Validation Function |
FPL
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
CBSE
2008
Springer
13 years 6 months ago
2008
Springer
Component-based software engineering proposes building complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. Therefore, the main development e...
ER
2010
Springer
13 years 3 months ago
2010
Springer
Multidimensional models are at the core of data warehouse systems, since they allow decision makers to early define the relevant information and queries that are required to satis...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
The extensive research and development of micromechanical resonators is trying to allow the use of these devices for highly sensitive applications. Microcantilevers are some of th...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
Designing agents whose behavior challenges human players adequately is a key issue in computer games development. This work presents a novel technique, based on reinforcement lear...