245 search results - page 1 / 49 » State Complexity of Testing Divisibility |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
WSCG
2001
13 years 6 months ago
2001
In this article we present an algorithm to determine the intersection between rays and triangles based on the idea of the study of signs with respect to triangles. One of the adva...
TIT
2008
13 years 5 months ago
2008
We investigate resource allocation policies for time-division multiple access (TDMA) over fading channels in the power-limited regime. For frequency-flat block-fading channels and ...
ISOLA
2004
Springer
13 years 10 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
QSIC
2003
IEEE
13 years 10 months ago
2003
IEEE
The use of components in development of complex software systems can surely have various benefits. Their testing, however, is still one of the open issues in software engineering...