4385 search results - page 757 / 877 » Abstraction for Concurrent Objects |
ANTSW
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We study through simulation the performance of two MANET routing algorithms in a realistic urban environment. The two algorithms, AODV and AntHocNet, are representative o...
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
APPROX
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We are interested in efficient algorithms for generating random samples from geometric objects such as Riemannian manifolds. As a step in this direction, we consider the ...
113
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
116
click to vote
CAMP
2005
IEEE
15 years 1 months ago
2005
IEEE
Abstract— This paper describes a work in progress on a multisensor system for 3D data acquisition. The system core structure is a 3D-range scan based on the well known active tri...