3575 search results - page 137 / 715 » Modeling Concurrency with Geometry |
204
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
106
click to vote
SNPD
2008
15 years 3 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
104
click to vote
IANDC
2006
15 years 1 months ago
2006
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
106
click to vote
NETCOOP
2009
Springer
15 years 8 months ago
2009
Springer
The fundamental limits on channel capacity form a barrier to the sustained growth on the use of wireless networks. To cope with this, multi-path communication solutions provide a p...
134
Voted
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...