2114 search results - page 128 / 423 » A model of cooperative threads |
AOSD
2012
ACM
12 years 5 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
This paper analyzes the performance of concurrent (index) scan operations in both record (NSM/PAX) and column (DSM) disk storage models and shows that existing scheduling policies...
ADMI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We study the problem of predictive data mining in the competitive multi-agent setting, in which each agent is assumed to have some partial knowledge needed for correctly ...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In a distributed space-time coding scheme, based on the relay channel model, the relay nodes co-operate to linearly process the transmitted signal from the source and forward t...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— There is a need for new spectrum access protocols that are opportunistic, flexible and efficient, yet fair. Game theory provides a framework for analyzing spectrum access, a ...