3025 search results - page 436 / 605 » Automatic Programming of Robots Using Genetic Programming |
151
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
130
click to vote
TSE
2010
15 years 1 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
142
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
139
click to vote
UML
2000
Springer
15 years 6 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
129
click to vote
SOFSEM
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...