4889 search results - page 363 / 978 » A Refactoring Approach to Parallelism |
135
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
129
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
121
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Total Exchange is one of the most important collective communication patterns for scientific applications. In this paper we propose an algorithm called LG for the total e...
121
click to vote
GPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper describes a new approach to implement Web Services in embedded devices connected to Wireless Sensor Networks. The sensor/actuator node is able to process stand...
160
Voted
CW
2004
IEEE
15 years 8 months ago
2004
IEEE
For effective cooperation, sharing of resources, a good social climate and therefore better learning, students need to maintain awareness of the social situation in a group or a c...