714 search results - page 80 / 143 » Dynamic Component Program Visualization |
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
103
click to vote
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a finding and a technique on program behavior prediction. The finding is that surprisingly strong statistical correlations exist among the behaviors of diffe...
116
click to vote
ICPP
1995
IEEE
15 years 3 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
107
click to vote
SIGARCH
2008
14 years 11 months ago
2008
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...
ENTCS
2002
14 years 11 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...