2514 search results - page 124 / 503 » The use of industrial-strength formal methods |
148
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
147
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
145
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
152
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce a new method of a biped walking pattern generation by using a preview control of the zeromoment point (ZMP). First, the dynamics of a biped robot is modeled as a runn...
149
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we propose a novel technique to image completion that addresses image renaissance through a graph-based matching process. To this end, a number of candidate seeds wi...