1492 search results - page 61 / 299 » Testing Properties of Constraint-Graphs |
104
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, the basic running performance of the cylindrical tracked vehicle with sideways mobility is presented. The crawler mechanism is of circular cross-section and has ...
122
click to vote
HYBRID
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
153
Voted
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
111
Voted
TVLSI
2008
15 years 3 months ago
2008
Lifetime concerns for complex systems-on-a-chip (SoC) designs due to decreasing levels in reliability motivate the development of solutions to ensure reliable operation. A precurso...
102
click to vote
COCO
2010
Springer
15 years 7 months ago
2010
Springer
—We prove new lower bounds in the area of property testing of boolean functions. Specifically, we study the problem of testing whether a boolean function f is isomorphic to a ...