177 search results - page 1 / 36 » Fair Cooperative Multithreading |
CONCUR
2007
Springer
14 years 13 days 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
14 years 17 days 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 8 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
14 years 26 days 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
14 years 18 days 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...