Sciweavers

3179 search results - page 255 / 636
» Applications of PCF Theory
Sort
View
QSIC
2009
IEEE
16 years 21 days ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
ATVA
2009
Springer
173views Hardware» more  ATVA 2009»
16 years 17 days ago
Solving Parity Games in Practice
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...
Oliver Friedmann, Martin Lange
CCGRID
2008
IEEE
16 years 14 days ago
Overlapping Communication and Computation with High Level Communication Routines
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...
Torsten Hoefler, Andrew Lumsdaine
ICASSP
2008
IEEE
16 years 13 days ago
Signal masking in Gaussian channels
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...
John A. Quinn, Christopher K. I. Williams
IJCNN
2008
IEEE
16 years 12 days ago
A quantum calculus formulation of dynamic programming and ordered derivatives
— 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 ...
John Seiffertt, Donald C. Wunsch