.:. Browse > By year > 1992 .:.

365 documents ordered by : Date Title first author name document type Submit date

... 29 - 30 - 31 - 32 - 33 - 34 - 35 ...

Efficient linear systolic array for the knapsack problem Andonov R., Quinton P. N° RR-1661 (1992) [inria-00074896 - version 1]

A Note on Cherniakova's algorithm Le Verge H. N° RR-1662 (1992) [inria-00074895 - version 1]

Automated mathematical induction Bouhoula A., Kounalis E., Rusinowitch M. N° RR-1663 (1992) [inria-00074894 - version 1]

Generation de maillages par une methode de type Voronoi : partie 2 : le cas tridimensionnel George P. L. N° RR-1664 (1992) [inria-00074893 - version 1]

Set-theoretic graph rewriting Raoult J.-C., Voisin F. N° RR-1665 (1992) [inria-00074892 - version 1]

Characterizing the behavior of sparse algorithms on caches Temam O., Jalby W. N° RR-1666 (1992) [inria-00074891 - version 1]

Compiling sequential programs for distributed memory parallel computers with PANDORE II André F., Chéron O., Pazat J.-L. N° RR-1667 (1992) [inria-00074890 - version 1]

ELIOS-OBJ theorem proving in a specification language Gnaedig I. N° RR-1668 (1992) [inria-00074889 - version 1]

Using pseudo Kalman-filters in the presence of constraints application to sensing behaviors Viéville T., Sander P. N° RR-1669 (1992) [inria-00074888 - version 1]

MADMACS : a tool for the layout of regular arrays Gautrin E., Perraudeau L. N° RR-1670 (1992) [inria-00074887 - version 1]