717 search results - page 83 / 144 » Kill-safe synchronization abstractions |
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
103
click to vote
IFL
2001
Springer
15 years 4 months ago
2001
Springer
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
134
click to vote
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract—Many researchers have observed that TCP’s congestion control mechanisms can lead to bursty traffic flows on modern high-speed networks, with a negative impact on ove...
DEXA
2000
Springer
15 years 4 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
FM
1999
Springer
15 years 4 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...