13752 search results - page 2287 / 2751 » Parallel and Distributed Haskells |
182
click to vote
PEWASUN
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we introduce a modified version of the IEEE 802.11a protocol and evaluate its performance. The new protocol is a combination of the standard Medium Access Control (...
175
click to vote
PPPJ
2004
ACM
15 years 12 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
145
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
143
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
175
click to vote
EGPGV
2004
Springer
15 years 12 months ago
2004
Springer
Data coming from complex simulation models reach easily dimensions much greater than available computational resources. Visualization of such data still represents the most intuit...