3575 search results - page 584 / 715 » Modeling Concurrency with Geometry |
115
Voted
LAWEB
2005
IEEE
15 years 10 months ago
2005
IEEE
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
119
click to vote
PODC
2005
ACM
15 years 10 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
112
click to vote
ASIAN
2005
Springer
15 years 10 months ago
2005
Springer
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
140
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
176
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...