4762 search results - page 653 / 953 » About the use of protein models |
102
Voted
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
The following study shows a direct comparison of memory write policies in Shared Memory Multicore Systems. Although there are much work and many studies about this issue, our work...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Fast radio wave propagation prediction is of tremendous interest for planning and optimization of cellular radio networks. We propose a cube oriented 3D ray launching a...
119
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper is about the autonomous control of an autonomous underwater vehicle (AUV), and the particular considerations required to allow proper control while towing a 100-mete...
ROBOCOMM
2007
IEEE
15 years 8 months ago
2007
IEEE
—Coalescence is the problem of isolated mobile robots independently searching for peers with the goal of forming a single connected network. This paper analyzes coalescence time ...
133
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...