Informática

2000

1. A logic programming application for the analysis of Spanish verse

   Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

2. A power perspective of value speculation for superscalar microprocessors

   2000 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS

3. A robust multigrid solver on parallel computers

   Proceedings - 8th Euromicro Workshop on Parallel and Distributed Processing, EURO-PDP 2000

4. Adaptive FPGA placement by natural optimisation

   11TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS

5. Adaptive FPGA placement by natural optimization

   Proceedings of the International Workshop on Rapid System Prototyping

6. An architecture for knowledge intensive CBR systems

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

7. Bisimilarity congruences for open terms and term graphs via tile logic

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

8. CO2-TEA laser-based lidar-dial system to monitor the effect of heavy vehicle traffic on the dynamics of ozone in the urban atmosphere of Madrid

   Conference on Lasers and Electro-Optics Europe - Technical Digest

9. Complete monotonic semantic path orderings

   Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

10. Configuration management in multi-context reconfigurable systems for simultaneous performance and power optimizations

    Proceedings of the International Symposium on System Synthesis

11. Control of a cryogenic process using a fuzzy PID scheduler

    DIGITAL CONTROL: PAST, PRESENT AND FUTURE OF PID CONTROL

12. Describing AI analysis patterns with UML

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

13. El p-valor preditivo a posteriori basado en el cociente de probabilidades a posteriori

    XXV Congreso Nacional de Estadística e Investigación Operativa: Vigo, 4-7 de abril de 2000

14. Execution condition analysis in high level synthesis: A unified approach

    Proceedings of the International Symposium on System Synthesis

15. Extensions: A technique for structuring functional-logic programs

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

16. Fine-grain asynchronous circuits for low-power high performance DSP implementations

    IEEE Workshop on Signal Processing Systems, SiPS: Design and Implementation

17. Fine-grain asynchronous circuits for low-power high performance dsp implementations

    2000 IEEE WORKSHOP ON SIGNAL PROCESSING SYSTEMS: DESIGN AND IMPLEMENTATION

18. From GranSim to paradise

    TRENDS IN FUNCTIONAL PROGRAMMING

19. Impact of PE mapping on Cray T3E message-passing performance

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

20. Implementing CCS in Maude

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000