3660 search results - page 582 / 732 » Parallel Program Archetypes |
170
click to vote
CONCUR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
166
click to vote
CONCUR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
145
click to vote
EUROPAR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Transactional memory systems trade ease of programming with runtime performance losses in handling transactions. This paper focuses on starvation effects that show up in ...
135
click to vote
GI
2007
Springer
16 years 15 days ago
2007
Springer
: Currently, user interfaces are defined by single applications but workflows may span multiple ones. In the result, users have to work with separated programs in parallel and de...
137
click to vote
JSSPP
2007
Springer
16 years 14 days ago
2007
Springer
Current resource managers do not have adequate node allocation and distribution strategies to efficiently schedule jobs on multi-core multi-threaded systems. Clusters composed of ...