3025 search results - page 130 / 605 » Automatic Programming of Robots Using Genetic Programming |
123
Voted
AC
2002
Springer
15 years 4 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...
165
click to vote
MAM
2007
15 years 4 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...
121
Voted
ICRA
1994
IEEE
15 years 8 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...
124
Voted
ISSTA
2009
ACM
15 years 11 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 ...
121
click to vote
FLOPS
2010
Springer
15 years 11 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...