2943 search results - page 226 / 589 » Software Implementation of Synchronous Programs |
166
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
134
click to vote
ERLANG
2004
ACM
15 years 10 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
140
Voted
SIGSOFT
1994
ACM
15 years 9 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
126
Voted
LCPC
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents recursion unrolling, a technique for improving the performance of recursive computations. Conceptually, recursion unrolling inlines recursive calls to reduce c...
157
click to vote
IIE
2007
15 years 4 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...