5159 search results - page 70 / 1032 » Structural Testing of Executables |
108
click to vote
SRDS
2006
IEEE
15 years 8 months ago
2006
IEEE
Web services and service oriented architectures are becoming the de facto standard for Internet computing. A main problem faced by users of such services is how to ensure that the...
134
Voted
SC
1990
ACM
15 years 6 months ago
1990
ACM
Important insights into program operation can be gained by observing dynamic execution behavior. Unfortunately, many high-performance machines provide execution profile summaries ...
112
Voted
CASES
2008
ACM
15 years 4 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
CPE
1997
Springer
15 years 6 months ago
1997
Springer
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...
129
click to vote
IROS
2007
IEEE
15 years 8 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...