1154 search results - page 207 / 231 » Mathematizing C concurrency |
134
Voted
CCR
2008
15 years 18 days ago
2008
An aggregate congestion control mechanism, namely ProbeAided MulTCP (PA-MulTCP), is proposed in this paper. It is based on MulTCP, a proposal for enabling an aggregate to emulate ...
134
click to vote
ENTCS
2006
15 years 15 days ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
105
click to vote
JAPLL
2008
15 years 15 days ago
2008
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...
122
Voted
BMCBI
2005
15 years 12 days ago
2005
Background: With microarray technology the expression of thousands of genes can be measured simultaneously. It is well known that the expression levels of genes of interacting pro...
114
click to vote
CORR
2004
Springer
15 years 10 days ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...