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. An invitation to friendly testing

   Journal of Computer Science and Technology, Vol. 13, Núm. 6

7. Building educational tools based on formal concept analysis

   Education and Information Technologies, Vol. 3, Núm. 3-4, pp. 187-201

8. CORBA for network and service management in the TINA framework

   IEEE Communications Magazine, Vol. 36, Núm. 3, pp. 72-79

9. Condition measures and properties of the central trajectory of a linear program

   Mathematical Programming, Series B, Vol. 83, Núm. 1, pp. 1-28

10. Correct high-level synthesis: A formal perspective

    Proceedings -Design, Automation and Test in Europe, DATE

11. Crecimiento epitaxial de superconductores de alta temperatura crítica por pulverización catódica II: multicapas YBa2Cu3O7-x/PrBa2Cu3O7-x

    Revista española de física, Vol. 12, Núm. 2, pp. 28-32

12. Cálculo numérico para computación en ciencia e ingeniería: desarrollo práctico con Matlab

    Síntesis

13. DREAM: The distributed Eden abstract machine

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

14. 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)

15. Diseño y evaluación de sistemas de ayuda interactivos

    IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 9

16. Diseño y evaluación de un generador de resúmenes de texto con modelado de usuario en un entorno de recuperación de información

    Procesamiento del lenguaje natural, Núm. 23, pp. 32-39

17. Efficient shooting algorithms for solving the nonlinear one-dimensional scalar Helmholtz equation

    Applied Mathematics and Computation, Vol. 95, Núm. 2-3, pp. 101-114

18. 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)

19. Finite-difference schemes and time-ordering corrections

    Physics Letters, Section A: General, Atomic and Solid State Physics, Vol. 240, Núm. 4-5, pp. 213-218

20. 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)