481 search results - page 84 / 97 » Differential symbolic execution |
PADS
2003
ACM
15 years 3 months ago
2003
ACM
This paper presents Maya, a multi-paradigm, scalable and extensible network modeling framework for emulating distributed applications. A novel three-tier architecture is proposed ...
ICRA
2002
IEEE
15 years 3 months ago
2002
IEEE
Abstract— Tracked mobile robots in the 20 kg size class are under development for applications in urban reconnaissance. For efficient deployment, it is desirable for teams of ro...
SC
2000
ACM
15 years 2 months ago
2000
ACM
Parallel programmers typically assume that all resources required for a program’s execution are dedicated to that purpose. However, in local and wide area networks, contention f...
MOBICOM
1999
ACM
15 years 2 months ago
1999
ACM
Broadcasting is a common operation in a network to resolve many issues. In a mobile ad hoc network (MANET) in particular, due to host mobility, such operations are expected to be e...
103
click to vote
IDA
1999
Springer
15 years 2 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...