2943 search results - page 226 / 589 » Software Implementation of Synchronous Programs |
150
Voted
SPIN
2009
Springer
15 years 10 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 ...
120
Voted
ERLANG
2004
ACM
15 years 9 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...
125
click to vote
SIGSOFT
1994
ACM
15 years 7 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...
114
Voted
LCPC
2000
Springer
15 years 7 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...
143
Voted
IIE
2007
15 years 3 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...