1324 search results - page 64 / 265 » Process Coordination with Fetch-and-Increment |
156
click to vote
SGP
2003
15 years 7 months ago
2003
Any quantization introduces errors. An important question is how to suppress their visual effect. In this paper we present a new quantization method for the geometry of 3D meshes,...
170
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
188
click to vote
JSS
2010
15 years 1 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
163
click to vote
JSS
2011
14 years 9 months ago
2011
Location-based services have attracted the attention of important research in the field of mobile computing. Specifically, different mechanisms have been proposed to process loc...
158
click to vote
TSP
2012
14 years 1 months ago
2012
—Base station (BS) coordination is a key technique to handle intercell interference (ICI) in cellular networks. Nevertheless, recent work on scheduling indicates that the value o...