7961 search results - page 548 / 1593 » Input-Output Model Programs |
192
click to vote
FUIN
2007
15 years 7 months ago
2007
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
219
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
117
click to vote
ORL
2007
15 years 6 months ago
2007
We clarify a financial meaning of duality in the semi-infinite programming problem which emerges in the context of determining a derivative price range based only on the no-arbi...
234
click to vote
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
148
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...