3025 search results - page 215 / 605 » Automatic Programming of Robots Using Genetic Programming |
132
Voted
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...
124
Voted
CONCURRENCY
2007
15 years 3 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
161
Voted
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
115
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
121
Voted
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...