728 articles – 294 Notices  [english version]
.:. Consultation > Liste par année > 2002 .:.
11 documents classés par :

fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]