10899 search results - page 645 / 2180 » The GP Programming System |
225
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
175
click to vote
SIGADA
2005
Springer
16 years 22 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
171
click to vote
SOCO
2005
Springer
16 years 22 days ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
204
click to vote
VMCAI
2004
Springer
16 years 18 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
221
click to vote
WORDS
2003
IEEE
16 years 15 days ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...