245 search results - page 12 / 49 » State Complexity of Testing Divisibility |
104
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
—In this paper, the capacity of multiple input multiple output-orthogonal frequency division multiplexing (MIMOOFDM) systems is analyzed under doubly correlated fading channels. ...
113
click to vote
KBSE
2002
IEEE
15 years 5 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
101
click to vote
CIE
2008
Springer
15 years 2 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
110
click to vote
TC
1998
15 years 2 days ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...