7099 search results - page 300 / 1420 » Context for models of concurrency |
194
Voted
SPAA
2003
ACM
16 years 20 days ago
2003
ACM
In this paper we consider the following scenario. A set of n jobs with different threads is being run concurrently. Each job has an associated weight, which gives the proportion ...
224
click to vote
ENTCS
2006
15 years 7 months 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...
199
Voted
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Modern Web servers need to process multiple requests concurrently in order to fulfill the workload demands expected of them. Concurrency can be implemented in a Web server using ...
155
click to vote
BC
2004
15 years 7 months ago
2004
As humans increase walking speed, there are concurrent transitions in the frequency ratio between arm and leg movements from 2:1 to 1:1 and in the phase relationship between the mo...
194
Voted
JKM
2008
15 years 7 months ago
2008
Purpose