1554 search results - page 205 / 311 » Testing Polymorphic Behavior |
JCP
2008
13 years 7 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
TVLSI
2008
13 years 7 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
MJ
2007
13 years 7 months ago
2007
In this paper we report on the mechanism of delamination in light-emitting diode (LED) packages and its effects on thermal characteristics of LEDs. The LED samples were subjected ...
TVLSI
2008
13 years 7 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...