1615 search results - page 114 / 323 » Distributed Forward Checking |
125
click to vote
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
IPPS
2010
IEEE
15 years 2 days ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Distributed Hash Tables (DHTs) are very efficient distributed systems for routing, but at the same time vulnerable to disruptive nodes. Designers of such systems want them used in ...
152
Voted
ICPPW
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper, we consider joint optimization of end-to-end data transmission and resource allocation for Wireless-Infrastructured Distributed Cellular Networks (WIDCNs), where ...
118
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
Recent discovery of the mixture (power-law and exponential) behavior of inter-meeting time distribution of mobile nodes presents new challenge to the problem of mobility modeling ...