285 search results - page 9 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
107
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
98
Voted
DAIS
1997
15 years 1 months ago
1997
An increasing number of distributed applications are being constructed by composing them out of existing applications. The resulting applications can be very complex in structure,...
98
Voted
PODC
1999
ACM
15 years 4 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
PPOPP
2009
ACM
16 years 6 days ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
100
Voted
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— Executing plans by mobile robots, in real world environments, faces the challenging issues of uncertainty and environment dynamics. Thus, execution monitoring is needed to veri...