1179 search results - page 139 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
170
click to vote
TSE
2010
14 years 11 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
142
click to vote
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this article, we describe the results from our survey in the ITdepartment of a large Oil and Gas company in Norway (Statoil ASA), in order to characterize developers’ views o...
148
click to vote
IEEEARES
2009
IEEE
15 years 2 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
127
click to vote
JOCN
2010
15 years 2 months ago
2010
■ The ability to stop ongoing motor responses in a splitsecond is a vital element of human cognitive control and flexibility that relies in large part on prefrontal cortex. We u...
117
click to vote
APNOMS
2007
Springer
15 years 8 months ago
2007
Springer
The mobile devices have gained much functionality and intelligence with the growth of network technologies, the abundance of network resources, and the increase of various services...