748 search results - page 119 / 150 » concurrency 2008 |
174
click to vote
HPDC
2008
IEEE
15 years 7 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
106
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which the...
81
Voted
CHI
2008
ACM
16 years 25 days ago
2008
ACM
Being mobile influences not only the types of information people seek but also the ways they attempt to access it. Mobile contexts present challenges of changing location and soci...
95
Voted
VLSID
2008
IEEE
16 years 25 days ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...