3025 search results - page 130 / 605 » Automatic Programming of Robots Using Genetic Programming |
109
click to vote
AC
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
146
click to vote
MAM
2007
15 years 2 months ago
2007
This paper describes a new method of executing a software program on an FPGA for embedded systems. Rather than combine reconfigurable logic with a microprocessor core, this method...
103
click to vote
ICRA
1994
IEEE
15 years 7 months ago
1994
IEEE
Previous work by Mattikalli et al.[1] considered the stability of assemblies of frictionless contacting bodies with uniform gravity. A linear programming-based technique was descr...
106
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...
105
click to vote
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...