2796 search results - page 419 / 560 » A time structure based software reliability model |
194
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
162
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--This paper proposes spectral efficient relayassisted transmit diversity techniques, i.e., space-time and space-frequency block codes (STBC/SFBC), for single carrier frequ...
172
click to vote
IJCNN
2006
IEEE
16 years 12 days ago
2006
IEEE
— Neural networks are used in a wide number of fields including signal and image processing, modeling and control and pattern recognition. Some of the most common type of neural ...
151
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
For discrete-time linear time invariant systems with constraints on inputs and states, we develop an algorithm to determine explicitly, the state feedback control law which minimi...
187
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...