1598 search results - page 216 / 320 » A Unified Computation Model for Functional and Logic Program... |
174
click to vote
IFL
2004
Springer
15 years 11 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
156
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
149
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Computational steering is a valuable mechanism for scientific investigation in which the parameters of a running program can be altered and the results visualized immediately. In ...
205
click to vote
FOSSACS
2011
Springer
14 years 9 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
163
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...