2227 search results - page 18 / 446 » Reversibility and Models for Concurrency |
PADS
2005
ACM
14 years 3 months ago
2005
ACM
Efficient computer simulation of complex physical phenomena has long been challenging due to their multiphysics and multi-scale nature. In contrast to traditional time-stepped exe...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
We study a generalized version of reversal bounded Turing machines where, apart from several tapes on which the number of head reversals is bounded by r(n), there are several furth...
JCB
2002
13 years 9 months ago
2002
One possible model to study genome evolution is to represent genomes as permutations of genes and compute distances based on the minimum number of certain operations (rearrangemen...
ECOOP
2008
Springer
13 years 11 months ago
2008
Springer
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...
ASPLOS
2008
ACM
13 years 12 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...