Facultad
Informática
Aportaciones congreso (37) Publicaciones en las que ha participado algún/a investigador/a
1999
-
A Framework for Scheduling and Context Allocation in Reconfigurable Computing
Proceedings of the International Symposium on System Synthesis
-
A fully syntactic AC-RPO
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A functional-logic perspective of parsing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
-
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)
-
A partial evaluation framework for curry programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A reusable inner product unit for DSP applications
Conference Proceedings of the EUROMICRO
-
A unified algorithm for mutual exclusiveness identification
Conference Proceedings of the EUROMICRO
-
An axiomatization of probabilistic testing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Aportaciones de la contabilidad al cumplimiento de los objetivos de los sistemas de gestión ambiental
Lecturas de economía y medio ambiente
-
Conocimiento y sentido en las ciencias y en las religiones
El sentido del hombre en el universo
-
Denotational semantics for probabilistic refusal testing
Electronic Notes in Theoretical Computer Science
-
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)
-
Generation of binary sequences for cryptographic applications
IEEE Annual International Carnahan Conference on Security Technology, Proceedings
-
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)
-
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)
-
Implementing Eden - Or: Dreams become reality?
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Inner ear hair cell parametrizable implementation
Midwest Symposium on Circuits and Systems
-
Kernel scheduling in reconfigurable computing
Proceedings -Design, Automation and Test in Europe, DATE
-
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