1724 search results - page 238 / 345 » Abstract Interpreters for Free |
158
click to vote
CASSIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
129
click to vote
CHES
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Several types of logic gates suitable for leakage-proof computations have been put forward [1,2,3,4]. This paper describes a method, called “backend duplication” to a...
155
click to vote
COCOON
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We investigate the online exploration problem of a shortsighted mobile robot moving in an unknown cellular room without obstacles. The robot has a very limited sensor; it...
179
click to vote
DAGM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper presents the integration of 3D shape knowledge into a variational model for level set based image segmentation and tracking. Having a 3D surface model of an ob...
178
click to vote
DAWAK
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...