6800 search results - page 559 / 1360 » Testing with Functions as Specifications |
223
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
163
click to vote
NPC
2007
Springer
16 years 1 months ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
115
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we present an overview of an on-chip noise detection circuit. Mainly, this work is different form the previous works concerning on-chip noise measurement in one or m...
190
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Information technologies (IT) have spread throughout all areas of modern society. However, the evolution of ethics that guide their use lags behind technological advances [2]. A p...
163
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
This study develops a novel model, GA-SVR, for parameters optimization in support vector regression and implements this new model in a problem forecasting maximum electrical daily...