3179 search results - page 255 / 636 » Applications of PCF Theory |
QSIC
2009
IEEE
14 years 5 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
ATVA
2009
Springer
14 years 5 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
CCGRID
2008
IEEE
14 years 5 months ago
2008
IEEE
Collective operations and non-blocking point-to-point operations are two important parts of MPI that each provide important performance and programmability benefits. Although non...
ICASSP
2008
IEEE
14 years 5 months ago
2008
IEEE
We consider the problem of modifying the noise properties of a channel in order to make the source as indecipherable as possible given the output. Applications include jamming com...
IJCNN
2008
IEEE
14 years 5 months ago
2008
IEEE
— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...