2509 search results - page 239 / 502 » Abstract Geometrical Computation and Computable Analysis |
191
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...
180
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
143
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Abstract. We present algorithmic, complexity and implementation results concerning real root isolation of a polynomial of degree d, with integer coefficients of bit size , using S...
180
click to vote
RSS
2007
15 years 8 months ago
2007
Abstract—In this paper, we present the analysis and experimental validation of a vision-aided inertial navigation algorithm for planetary landing applications. The system employs...
172
click to vote
ICISC
2003
15 years 8 months ago
2003
Abstract. A proxy signature scheme allows an entity to delegate his/her signing capability to another entity in such a way that the latter can sign messages on behalf of the former...