1716 search results - page 103 / 344 » Proving Conditional Termination |
ICC
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, we model the hierarchical structures inherent in cognitive radio networks as the priority queueing system in which primary users interact with the highest priority a...
PPOPP
2011
ACM
12 years 11 months ago
2011
ACM
We describe two novel constructs for programming parallel machines with multi-level memory hierarchies: call-up, which allows a child task to invoke computation on its parent, and...
LICS
2012
IEEE
11 years 11 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
In this paper, we describe an unsupervised segmentation method for contours which proves quite adapted for the images obtained by electronic acquisition. We present two statistica...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...