13752 search results - page 2529 / 2751 » Parallel and Distributed Haskells |
134
click to vote
RTCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
MB++ is a system that caters to the dynamic needs of applications in a distributed, pervasive computing environment that has a wide variety of devices that act as producers and co...
121
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In general, the performance and radio resource utilization of Ad Hoc networks are limited by half-duplex operation and possible collisions. In this paper, we propose a ...
141
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
155
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
146
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...