2520 search results - page 86 / 504 » Model-checking behavioral programs |
81
Voted
AROBOTS
2000
15 years 16 days ago
2000
In this paper, I describe a simple functional programming language, GRL, in which most of the characteristic features of the popular behavior-based robot architectures can be conc...
CHI
2004
ACM
16 years 1 months ago
2004
ACM
Debugging is still among the most common and costly of programming activities. One reason is that current debugging tools do not directly support the inquisitive nature of the act...
83
Voted
ANOR
2006
15 years 23 days ago
2006
Abstract. We investigate the quality of solutions obtained from sample-average approximations to two-stage stochastic linear programs with recourse. We use a recently developed sof...
106
click to vote
ENTCS
2006
15 years 22 days ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
119
Voted
CCGRID
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...