4211 search results - page 689 / 843 » Types as Abstract Interpretations |
118
click to vote
WDAG
2007
Springer
15 years 10 months ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
168
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
133
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. This paper presents an algorithm to generate a smooth surface between two closed spatial spline curves. With the assumption that the two input curves can be projected to ...
136
click to vote
ICAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Interactive virtual characters are nowadays commonplace in games, animations, and Virtual Reality (VR) applications. However, relatively few work has so far considered the animatio...
118
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract - This paper introduces new analyses and algorithms which are essential for the practical implementation of continuous backbone continuum robots. Actuator length limits st...