.:. Browse > Document list .:.

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

... 822 - 823 - 824 - 825 - 826 - 827 - 828 ...

Solving Ordinary Differential Equations Postel F., Zimmermann P. Dans Computer Algebra Systems: A Practical Guide, John Wiley & Sons Ltd (Ed.) (1999) [inria-00098850 - version 1]

Conception et validation d'architectures distribuées temps réel Simonot-Lion F., Thomas L., Lambolais T., Déplanche A.-M., Trinquet Y., André C., Péraldi M.-A., Choukair C., Bayart M. N° 99-R-316 || simonot-lion99b (1999) [inria-00098849 - version 1]

Stabbing information of a simple polygon Everett H., Hurtado F., Noy M. Discrete Applied Mathematics 91, 1-3 (1999) 67-92 [inria-00098848 - version 1]

HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic Dowek G., Hardin T., Kirchner C. Dans Tenth International Conference on Rewriting Techniques & Applications - RTA'99 (1999) 14 p [inria-00098847 - version 1]

On a functional-differential equation related to Golomb's self-described sequence Pétermann Y.-F.-S., Rémy J.-L., Vardi I. Journal de Théorie des Nombres de Bordeaux 11 (1999) 211-230 [inria-00098846 - version 1]

Les communications multipoints dans les réseaux actifs Koubaa H. N° 99-R-305 || koubaa99a (1999) [inria-00098845 - version 1]

Towards safer aliasing with the Eiffel language Zendra O., Colnet D. Dans Intercontinental Workshop on Aliasing in Object-Oriented Systems , IWAOOS'99 - ECOOP'99 workshop reader 1743 (1999) 153 [inria-00098844 - version 1]

Mobile Robotics Planning using Abstract Markov Decision Processes Laroche P., Charpillet F., Schott R. Dans International Conference on Tools with Artificial Intelligence - ICTAI'99 (1999) 299-306 [inria-00098843 - version 1]

SLC : Symbolic Scheduling for Executing Parameterized Task Graphs on Multiprocessors Cosnard M., Jeannot E., Yang T. Dans International Conférence on Parallel Processing - ICPP'99 (1999) 25 p [inria-00098842 - version 1]

Compact DAG Representation and its Dynamic Scheduling Cosnard M., Jeannot E. Journal of Parallel and Distributed Computing 58, 3 (1999) 487-514 [inria-00098841 - version 1]