Sciweavers

3718 search results - page 290 / 744
» Programming by Integration in Robotics
Sort
View
ISPAN
2008
IEEE
16 years 1 months ago
Task Parallelism for Object Oriented Programs
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
Nasser Giacaman, Oliver Sinnen
GECCO
2007
Springer
160views Optimization» more  GECCO 2007»
16 years 26 days ago
An analysis of constructive crossover and selection pressure in genetic programming
A common problem in genetic programming search algorithms is destructive crossover in which the offspring of good parents generally has worse performance than the parents. Design...
Huayang Xie, Mengjie Zhang, Peter Andreae
VL
2005
IEEE
108views Visual Languages» more  VL 2005»
16 years 8 days ago
Achieving Flexibility in Direct-Manipulation Programming Environments by Relaxing the Edit-Time Grammar
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
Benjamin E. Birnbaum, Kenneth J. Goldman
ICSE
1997
IEEE-ACM
15 years 11 months ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson
ICLP
2010
Springer
15 years 10 months ago
Circumscription and Projection as Primitives of Logic Programming
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
Christoph Wernhard