669 search results - page 35 / 134 » Development and evaluation of a model of programming errors |
101
click to vote
TAP
2010
Springer
14 years 7 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
LREC
2008
14 years 11 months ago
2008
Large speech and text corpora are crucial to the development of a state-of-the-art speech recognition system. This paper reports on the construction and evaluation of the first Th...
117
click to vote
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
CISIS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...