Accueil
Consultation
Liste des articles
Liste par année
Liste par domaine
Liste par type de document
Rechercher
728 articles – 294 Notices
[english version]
.:.
Consultation
>
Liste par année
> 2002 .:.
11 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
Résultats de complexité et programmation par contraintes pour l'ordonnancement
Baptiste P.
Université de Technologie de Compiègne (2002-07-01), Bernard Dubuisson (Pr.) [tel-00124998 - version 1]
Maxima
Valibouze A., Giusti M.
In
Workshop "on Open Source Computer Algebra"
-
Workshop "on Open Source Computer Algebra"
, France (2002) [hal-00556949 - version 1]
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
Blanchet B., Cousot P., Cousot R., Feret J., Mauborgne L., Miné A., Monniaux D., Rival X.
In
The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
(2002) 85-108 [inria-00528442 - version 1]
A comparison and a combination of SST and AGM algorithms for counting points of elliptic curves in characteristic 2
Gaudry P.
Asiacrypt
, New Zealand (2002) [inria-00514137 - version 1]
Constructive and destructive facets of Weil descent on elliptic curves
Gaudry P., Hess F., Smart N.
Journal of Cryptology
15
(2002) 19-46 [inria-00512763 - version 1]
A general framework for subexponential discrete logarithm algorithms
Enge A., Gaudry P.
Acta Arithmetica
102
(2002) 83-103 [inria-00512717 - version 1]
MINLP Interface Specification
Pantelides C.C., Liberti L., Tsiakis P., Crombie T.
CAPE-OPEN Update
2
(2002) 10-13 [hal-00163564 - version 1]
Subquadratic computation of vector generating polynomials and improvement of the block Wiedemann algorithm
Thomé E.
Journal of Symbolic Computation
33
, 5 (2002) 757-775 [inria-00103417 - version 1]
A bijection for triangulations of a polygon with interior points and multiple edges
Poulalhon D., Schaeffer G.
Research report (2002) 21 p [inria-00101067 - version 1]
A note on Bipartite Eulerian Planar Maps
Poulalhon D., Schaeffer G.
Research report (2002) 5 p [inria-00101066 - version 1]
A bijection for loopless triangulations of a polygon with interior points
Poulalhon D., Schaeffer G.
International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02
, (2002) [inria-00100860 - version 1]