Informática

1998

1. A grouping partitioning technique with automatic criterion selection for the Codesign process.

   24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2

2. A grouping partitioning technique with automatic criterion selection for the codesign process

   Proceedings - 24th EUROMICRO Conference, EURMIC 1998

3. A macroscopic time and cost estimation model allowing task parallelism and hardware sharing for the codesign partitioning process

   Proceedings -Design, Automation and Test in Europe, DATE

4. A set of pseudorandom sequences cryptographically equivalent

   Proceedings of the Joint Conference on Information Sciences

5. A set of pseudorandom sequences cryptographically equivalent

   Proceedings of the Joint Conference on Information Sciences

6. Correct high-level synthesis: A formal perspective

   Proceedings -Design, Automation and Test in Europe, DATE

7. DREAM: The distributed Eden abstract machine

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

8. Declarative mark-up languages as a tool for developing educational hypermedia

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

9. Embedding multiset constraints into a lazy functional logic language

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

10. Free variable tableaux for a logic with term declarations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

11. Frequency agile CO2-TEA laser based dial-lidar system for range-resolved urban pollution monitoring

    Conference on Lasers and Electro-Optics Europe - Technical Digest

12. Funciones 2k-distantes: filtros criptográficamente iguales

    XIII Simposium Nacional de la Unión Científica Internacional de Radio: Pamplona 16, 17 y 18 de septiembre de 1998. Libro de actas

13. Grupos operativos en la enseñanza

    Globalización y trabajo social

14. Improving control in functional logic program specialization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

15. Integration of formal concept analysis in a knowledge-based assistant

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

16. Managing the usage experience in a library of software components

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

17. Maude as a metalanguage

    Electronic Notes in Theoretical Computer Science

18. Metalevel computation in maude

    Electronic Notes in Theoretical Computer Science

19. Numerical solution for Fokker-Planck equations in accelerators

    PROCEEDINGS OF THE 1997 PARTICLE ACCELERATOR CONFERENCE, VOLS 1-3

20. Parallel evolutionary optimisation with constraint propagation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)