Fakultatea
Informática
Argitalpenak (61) Ikertzaileren baten partaidetza izan duten argitalpenak
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
-
An invitation to friendly testing
Journal of Computer Science and Technology, Vol. 13, Núm. 6
-
Building educational tools based on formal concept analysis
Education and Information Technologies, Vol. 3, Núm. 3-4, pp. 187-201
-
CORBA for network and service management in the TINA framework
IEEE Communications Magazine, Vol. 36, Núm. 3, pp. 72-79
-
Condition measures and properties of the central trajectory of a linear program
Mathematical Programming, Series B, Vol. 83, Núm. 1, pp. 1-28
-
Correct high-level synthesis: A formal perspective
Proceedings -Design, Automation and Test in Europe, DATE
-
Crecimiento epitaxial de superconductores de alta temperatura crítica por pulverización catódica II: multicapas YBa2Cu3O7-x/PrBa2Cu3O7-x
Revista española de física, Vol. 12, Núm. 2, pp. 28-32
-
Cálculo numérico para computación en ciencia e ingeniería: desarrollo práctico con Matlab
Síntesis
-
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)
-
Diseño y evaluación de sistemas de ayuda interactivos
IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 9
-
Diseño y evaluación de un generador de resúmenes de texto con modelado de usuario en un entorno de recuperación de información
Procesamiento del lenguaje natural, Núm. 23, pp. 32-39
-
Efficient shooting algorithms for solving the nonlinear one-dimensional scalar Helmholtz equation
Applied Mathematics and Computation, Vol. 95, Núm. 2-3, pp. 101-114
-
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)
-
Finite-difference schemes and time-ordering corrections
Physics Letters, Section A: General, Atomic and Solid State Physics, Vol. 240, Núm. 4-5, pp. 213-218
-
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)