1594 search results - page 173 / 319 » Visualizing Program Executions on Large Data Sets |
111
Voted
ERLANG
2006
ACM
15 years 9 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
124
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— We discuss a software environment for multirobot, multi-platform mobile robot control and simulation. Like others, we have observed that mobile robotics research is gre...
123
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The social and economic importance of large bodies of programs and data that are potentially long-lived has attracted much attention in the commercial and research communities. Her...
111
Voted
COLING
1990
15 years 4 months ago
1990
This paper describes a new program, correct, which takes words rejected by the Unix spell program, proposes a list of candidate corrections, and sorts them by probability. The pro...
159
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Profiling can effectively analyze program behavior and provide critical information for feedback-directed or dynamic optimizations. Based on memory profiling, reuse dista...