748 search results - page 94 / 150 » concurrency 2008 |
108
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
218
Voted
POPL
2008
ACM
16 years 26 days ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
94
Voted
CASES
2008
ACM
15 years 2 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
113
Voted
ISCA
2008
IEEE
15 years 16 days ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...
101
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, the multiple trajectory search (MTS) is presented for large scale global optimization. The MTS uses multiple agents to search the solution space concurrently. Eac...