1830 search results - page 76 / 366 » Functional Programs as Linked Data |
148
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
151
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—Network power consumption can be reduced considerably by adapting link data rates to their offered traffic loads. In this paper, we exploit how to leverage rate adaptat...
134
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
We investigate flow rate optimization on a wireless link with randomly varying channel gain using techniques from adaptive modulation and network utility maximization. We consider ...
140
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Gene clustering has been widely used to group genes with similar expression pattern in microarray data analysis. Subsequent enrichment analysis using predefined gene s...
153
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...