Sciweavers

1554 search results - page 205 / 311
» Testing Polymorphic Behavior
Sort
View
106
Voted
JCP
2008
114views more  JCP 2008»
15 years 22 days ago
Statistical Analysis and Data Analysis of Stock Market by Interacting Particle Models
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...
Jun Wang, Bingli Fan, Tiansong Wang
TVLSI
2008
151views more  TVLSI 2008»
15 years 19 days ago
Guest Editorial Special Section on Design Verification and Validation
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...
I. Harris, D. Pradhan
77
Voted
MJ
2007
132views more  MJ 2007»
15 years 8 days ago
Mechanism and thermal effect of delamination in light-emitting diode packages
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 ...
Jianzheng Hu, Lianqiao Yang, Moo Whan Shin
137
Voted
TVLSI
2008
152views more  TVLSI 2008»
15 years 6 days ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...
139
Voted
KBSE
2010
IEEE
14 years 11 months ago
Automated program repair through the evolution of assembly code
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...
Eric Schulte, Stephanie Forrest, Westley Weimer