Sciweavers

180 search results - page 15 / 36
» New Point Addition Formulae for ECC Applications
Sort
View
WADS
2009
Springer
243views Algorithms» more  WADS 2009»
15 years 6 months ago
Resolving Loads with Positive Interior Stresses
We consider the pair (pi, fi) as a force with two-dimensional direction vector fi applied at the point pi in the plane. For a given set of forces we ask for a non-crossing geometri...
Günter Rote, André Schulz
RSS
2007
146views Robotics» more  RSS 2007»
15 years 1 months ago
Context and Feature Sensitive Re-sampling from Discrete Surface Measurements
— This paper concerns context and feature-sensitive re-sampling of workspace surfaces represented by 3D point clouds. We interpret a point cloud as the outcome of repetitive and ...
Dave Cole, Paul Newman
ECRTS
2009
IEEE
14 years 9 months ago
On-Line Scheduling Algorithm for the Gravitational Task Model
Some applications for real-time scheduling have target demands in addition to the commonly used starttime and deadline constraints: a task should be executed at a target point in ...
Raphael Guerra, Gerhard Fohler
ACISP
2005
Springer
15 years 5 months ago
A Complete Divisor Class Halving Algorithm for Hyperelliptic Curve Cryptosystems of Genus Two
We deal with a divisor class halving algorithm on hyperelliptic curve cryptosystems (HECC), which can be used for scalar multiplication, instead of a doubling algorithm. It is not ...
Izuru Kitamura, Masanobu Katagi, Tsuyoshi Takagi
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
15 years 3 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi