8874 search results - page 207 / 1775 » A New Implementation of Automath |
134
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
—This paper deals with the design of a controller and its implementation in a mini-rotorcraft toy with 3 rotors. A new original low-cost tilt angle sensor is introduced and kinem...
129
click to vote
PKC
1999
Springer
15 years 8 months ago
1999
Springer
Public-key implementers often face strong hardware-related constraints. In particular, modular operations required in most cryptosystems generally constitute a computational bottle...
122
click to vote
ISSAC
1997
Springer
15 years 8 months ago
1997
Springer
We give a new numerical absolute primality criterion for bivariate polynomials. This test is based on a simple property of the monomials appearing after a generic linear change of...
127
click to vote
WADS
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. As a contribution to the recent debate on simple implementations of dictionaries, we present new maintenancealgorithms for balanced trees. In terms of code simplicity, ou...
112
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
A lot of software infrastructures for distributed device ensembles with quite different approaches have been developed in the past. This article describes the need of a reference a...