10666 search results - page 1423 / 2134 » Quantum programming languages |
220
click to vote
IFL
2004
Springer
16 years 19 days 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...
189
click to vote
COOPIS
2003
IEEE
16 years 17 days ago
2003
IEEE
Dynamic loading of code is needed when rarely used code should be loaded on demand or when the code to be loaded is not known in advance. In distributed systems it can also be used...
222
Voted
SAC
2003
ACM
16 years 16 days ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
178
click to vote
ESOP
2003
Springer
16 years 15 days ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
214
click to vote
ICVS
2003
Springer
16 years 14 days ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...