2466 search results - page 236 / 494 » Concurrent Clustered Programming |
145
Voted
AMAST
1991
Springer
15 years 6 months ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
140
click to vote
AUTONOMICS
2008
ACM
15 years 4 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
113
Voted
CONCURRENCY
2008
15 years 2 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...
137
Voted
CACM
2011
14 years 9 months ago
2011
Software Transactional Memory (STM) promises to simplify concurrent programming without requiring specific hardware support. Yet, STM’s credibility lies on the extent to which ...
116
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...