1716 search results - page 103 / 344 » Proving Conditional Termination |
127
Voted
ICC
2009
IEEE
14 years 10 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...
142
click to vote
PPOPP
2011
ACM
14 years 3 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...
334
Voted
LICS
2012
IEEE
13 years 3 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...
105
Voted
ICIP
2002
IEEE
16 years 2 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...
121
Voted
ICSE
2005
IEEE-ACM
16 years 27 days 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...