2520 search results - page 195 / 504 » Model-checking behavioral programs |
176
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
230
click to vote
DB
2008
15 years 6 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
190
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
145
Voted
FM
2008
Springer
15 years 8 months ago
2008
Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
266
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...