11022 search results - page 133 / 2205 » Programming Systems for Autonomy |
155
click to vote
ENTCS
2008
15 years 4 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
174
click to vote
ICPADS
1996
IEEE
15 years 9 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
130
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes how genetic programming was used as an invention machine to automatically synthesize complete designs for six optical lens systems that duplicated the functio...
154
click to vote
MBEES
2010
15 years 6 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
131
click to vote
WEBI
2004
Springer
15 years 10 months ago
2004
Springer
Web Intelligence is a direction for scientific research that explores practical applications of Artificial Intelligence to the next generation of Web-empowered systems. In this ...