14244 search results - page 306 / 2849 » Modeling Program Predictability |
172
click to vote
JAIR
2006
15 years 6 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
157
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
186
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
159
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
This paper concerns the design of physical languages for controlling and programming robotic consumer products. For this purpose we explore basic theories of semiotics represented...
189
click to vote
ARCS
2005
Springer
16 years 1 days ago
2005
Springer
All known life forms process information on a molecular level. This kind of chemical information processing is known to be robust, self-organizing, adaptive, decentralized, asynch...