4636 search results - page 511 / 928 » Modelling and Validation with VipTool |
181
click to vote
ISNN
2005
Springer
16 years 20 days ago
2005
Springer
In least squares support vector (LS-SVM), the key challenge lies in the selection of free parameters such as kernel parameters and tradeoff parameter. However, when a large number ...
199
click to vote
PATMOS
2005
Springer
16 years 20 days ago
2005
Springer
In this paper, we present a low power high temperature 80C51 microcontroller. The low power optimizations are applied at gate and architectural level, by using extensive clock and ...
201
click to vote
VSTTE
2005
Springer
16 years 19 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
182
click to vote
FSTTCS
2004
Springer
16 years 17 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
189
click to vote
GCC
2003
Springer
16 years 12 days ago
2003
Springer
An instance-oriented security mechanism is proposed to deal with security threats in building a general-purpose mobile agent middleware in Grid environment. The proposed solution i...