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. An axiomatization of probabilistic testing

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

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

    Lecturas de economía y medio ambiente

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

    El sentido del hombre en el universo

12. Denotational semantics for probabilistic refusal testing

    Electronic Notes in Theoretical Computer Science

13. Functional plus logic programming with built-in and symbolic constraints

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

14. Generation of binary sequences for cryptographic applications

    IEEE Annual International Carnahan Conference on Security Technology, Proceedings

15. Hardware implementation using DSP's of the neurocontrol of a wheelchair

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

16. Implementation of hybrid context based value predictors using value sequence classification

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

17. Implementing Eden - Or: Dreams become reality?

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

18. Inner ear hair cell parametrizable implementation

    Midwest Symposium on Circuits and Systems

19. Kernel scheduling in reconfigurable computing

    Proceedings -Design, Automation and Test in Europe, DATE

20. La consideración de cuestiones medioambientales en la auditoría de estados financieros (IAPS 1010)

    Desarrollo del mercado interior de los servicios de auditoría en España