Informática

2001

1. A Comparison between three Non-determinism Analyses in a Parallel-Functional Language

   Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

2. A Demand Driven Strategy for Lazy Narrowing with Multisets

   Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

3. A Proof of Correctness for the STG Machine

   Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

4. A UML-integrated test description language for component testing

   Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

5. A computational model for functional logic deductive databases

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

6. A data scheduler for multi-context reconfigurable architectures

   ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS

7. A declarative debugger of wrong answers for lazy functional logic programs

   Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

8. A declarative similarity framework for knowledge intensive CBR

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

9. A divider-multiplier high level synthesis library element for DSP applications

   Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems

10. A higher-order logic programming language with constraints

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

11. A monotonic higher-order semantic path ordering

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

12. A multigrid solver for the incompressible Navier-Stokes equations on a Beowulf-class system

    Proceedings of the International Conference on Parallel Processing

13. A multigrid solver for the incompressible Navier-Stokes equations on a Beowulf-class system

    PROCEEDINGS OF THE 2001 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING

14. A parallel compact genetic algorithm for multi-FPGA partitioning

    Proceedings - 9th Euromicro Workshop on Parallel and Distributed Processing, PDP 2001

15. A parallel hybrid heuristic for the tsp

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

16. A practical partial evaluator for a multi-paradigm declarative language

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

17. A pseudo delay-insensitive timing model to synthesising low-power asynchronous circuits

    DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS

18. A pseudo relay-insensitive timing model to synthesising low-power asynchronous circuits

    Proceedings -Design, Automation and Test in Europe, DATE

19. A testing theory for generally distributed stochastic processes

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

20. A user model based on content analysis for the intelligent personalization of a news service

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