3025 search results - page 470 / 605 » Automatic Programming of Robots Using Genetic Programming |
150
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
131
Voted
JOT
2010
15 years 1 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
219
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
109
Voted
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
110
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...