Facultad
Informática
Aportaciones congreso (27) Publicaciones en las que ha participado algún/a investigador/a
1998
-
A grouping partitioning technique with automatic criterion selection for the Codesign process.
24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2
-
A grouping partitioning technique with automatic criterion selection for the codesign process
Proceedings - 24th EUROMICRO Conference, EURMIC 1998
-
A macroscopic time and cost estimation model allowing task parallelism and hardware sharing for the codesign partitioning process
Proceedings -Design, Automation and Test in Europe, DATE
-
A set of pseudorandom sequences cryptographically equivalent
Proceedings of the Joint Conference on Information Sciences
-
A set of pseudorandom sequences cryptographically equivalent
Proceedings of the Joint Conference on Information Sciences
-
Correct high-level synthesis: A formal perspective
Proceedings -Design, Automation and Test in Europe, DATE
-
DREAM: The distributed Eden abstract machine
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Declarative mark-up languages as a tool for developing educational hypermedia
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Embedding multiset constraints into a lazy functional logic language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Free variable tableaux for a logic with term declarations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Frequency agile CO2-TEA laser based dial-lidar system for range-resolved urban pollution monitoring
Conference on Lasers and Electro-Optics Europe - Technical Digest
-
Funciones 2k-distantes: filtros criptográficamente iguales
XIII Simposium Nacional de la Unión Científica Internacional de Radio: Pamplona 16, 17 y 18 de septiembre de 1998. Libro de actas
-
Grupos operativos en la enseñanza
Globalización y trabajo social
-
Improving control in functional logic program specialization
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Integration of formal concept analysis in a knowledge-based assistant
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Managing the usage experience in a library of software components
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Maude as a metalanguage
Electronic Notes in Theoretical Computer Science
-
Metalevel computation in maude
Electronic Notes in Theoretical Computer Science
-
Numerical solution for Fokker-Planck equations in accelerators
PROCEEDINGS OF THE 1997 PARTICLE ACCELERATOR CONFERENCE, VOLS 1-3
-
Parallel evolutionary optimisation with constraint propagation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)