177 search results - page 1 / 36 » Fair Cooperative Multithreading |
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
IEEEPACT
2007
IEEE
13 years 11 months ago
2007
IEEE
Nowadays, multithreaded architectures are becoming more and more popular. In order to evaluate their behavior, several methodologies and metrics have been proposed. A methodology ...
CAV
2012
Springer
11 years 7 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
ADAEUROPE
2009
Springer
13 years 11 months ago
2009
Springer
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
GLOBECOM
2007
IEEE
13 years 11 months ago
2007
IEEE
— In this paper, we study how the cooperative relaying can improve both capacity and fairness in cellular network. The capacity and fairness have a trade-off relationship, so inc...