13618 search results - page 210 / 2724 » The Newton Operating System |
192
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
152
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
We give an overview of the algorithms and implementations in the high-performance MPI libraries MPI/SX and MPI/ES of some of the most important collective operations of MPI (the M...
144
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
187
click to vote
SERVICES
2008
15 years 8 months ago
2008
Distributed stream query services must simultaneously process a large number of complex, continuous queries with stringent performance requirements while utilizing distributed pro...
186
click to vote
IAT
2005
IEEE
16 years 6 days ago
2005
IEEE
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...