2673 search results - page 366 / 535 » Guided Static Analysis |
117
Voted
CONCURRENCY
2008
15 years 5 months ago
2008
Abstract. Database systems have been vital for all forms of data processing for a long time. In recent years, the amount of processed data has been growing dramatically, even in sm...
145
Voted
ENDM
2010
15 years 5 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
AUTOMATICA
2006
15 years 5 months ago
2006
In this note the stability of a second-order quasi-polynomial with a single delay is studied. Although there is a vast literature on this problem, most available solutions are lim...
175
click to vote
ISCI
2008
15 years 4 months ago
2008
The capabilities of XSLT processing are widely used to transform XML documents into target XML documents. These target XML documents conform to output schemas of the used XSLT styl...
149
click to vote
JCP
2008
15 years 4 months ago
2008
In this paper, a model free uncalibrated visual servoing algorithm based on recursive least squares is proposed and discussed in depth. No robot kinetics or dynamics, camera calibr...