Informática

1999

1. A Framework for Scheduling and Context Allocation in Reconfigurable Computing

   Proceedings of the International Symposium on System Synthesis

2. A fully syntactic AC-RPO

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

3. A functional-logic perspective of parsing

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

4. A method for model parameter identification using parallel genetic algorithms

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

5. A parallel robust multigrid algorithm based on semi-coarsening

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

6. A partial evaluation framework for curry programs

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

7. A reusable inner product unit for DSP applications

   Conference Proceedings of the EUROMICRO

8. A unified algorithm for mutual exclusiveness identification

   Conference Proceedings of the EUROMICRO

9. Algorithm for computing minimum distance

   Electronics Letters, Vol. 35, Núm. 18, pp. 1534-1535

10. An axiomatization of probabilistic testing

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

11. An environment to develop parallel code for solving partial differential equations based-problems

    Journal of Systems Architecture, Vol. 45, Núm. 6-7, pp. 543-554

12. Aportaciones de la contabilidad al cumplimiento de los objetivos de los sistemas de gestión ambiental

    Lecturas de economía y medio ambiente

13. Approach to declarative programming based on a rewriting logic

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 47-87

14. Aspectos contables en las empresas de investigación y explotación de hidrocarburos: especial incidencia en los temas medioambientales

    Dykinson

15. Automatic discovery of theorems in elementary geometry

    Journal of Automated Reasoning, Vol. 23, Núm. 1, pp. 63-82

16. Basicness of Semialgebraic Sets

    Geometriae Dedicata, Vol. 78, Núm. 3, pp. 229-240

17. Characterization Of Bayes Estimators Of The Uniform Scale Parameter

    Statistics and Risk Modeling, Vol. 17, Núm. 1, pp. 31-48

18. Conocimiento y sentido en las ciencias y en las religiones

    El sentido del hombre en el universo

19. Conservative numerical schemes for Euler-Lagrange equations

    Nuovo Cimento della Societa Italiana di Fisica A, Vol. 112, Núm. 5, pp. 455-459

20. Crossover from a three-dimensional to purely two-dimensional vortex-glass transition in deoxygenated (formula presented) thin films

    Physical Review B - Condensed Matter and Materials Physics, Vol. 60, Núm. 22, pp. 15423-15429