7785 search results - page 404 / 1557 » The Concept of Dynamic Analysis |
179
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We present an investigation of dynamic team formation strategies for robot ensembles performing a collection of nd two-robot tasks. Specifically, we consider the abstr...
206
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
160
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
181
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
191
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— To support dynamic traffic-asymmetry property in future wireless communication systems, we propose a hybridTDD scheme, combination of static-TDD and dynamic-TDD. By using adap...