1914 search results - page 222 / 383 » Abstract lambda-Calculus Machines |
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
GI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract: Some surfaces, like metallic and varnished ones, can only be properly controlled, if they are inspected under different illumination directions. This requires a three-dim...
GW
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In automatic sign language translation, one of the main problems is the usage of spatial information in sign language and its proper representation and translation, e.g. ...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
LCPC
2007
Springer
14 years 2 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...