Facultad
Informática
Publicacións (60) Publicacións nas que participase algún/ha investigador/a
2001
-
1904: año clave de los socialistas alcalaínos
Anales Complutenses, Núm. 13, pp. 191-202
-
A case study in abstraction using E-LOTOS and the FireWire
Computer Networks, Vol. 37, Núm. 3-4, pp. 481-502
-
A data scheduler for multi-context reconfigurable architectures
Proceedings of the International Symposium on System Synthesis, pp. 177-182
-
A family of keystream generators with large linear complexity
Applied Mathematics Letters, Vol. 14, Núm. 5, pp. 545-547
-
A formal approach to context scheduling for multicontext reconfigurable architectures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 9, Núm. 1, pp. 173-185
-
A framework for reconfigurable computing: Task scheduling and context management
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 9, Núm. 6, pp. 858-873
-
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming, Vol. 1, Núm. 2, pp. 185-245
-
A hybrid heuristic for the traveling salesman problem
IEEE Transactions on Evolutionary Computation, Vol. 5, Núm. 6, pp. 613-622
-
A new approach to solve systems of linear equations
Journal of Computational Mathematics, Vol. 19, Núm. 4, pp. 445-448
-
A parallel multigrid solver for 3D convection and convection-diffusion problems
Parallel Computing, Vol. 27, Núm. 13, pp. 1715-1741
-
An efficient algorithm to generate binary sequences for cryptographic purposes
Theoretical Computer Science, Vol. 259, Núm. 1-2, pp. 679-688
-
An expert system for the composition of formal Spanish poetry
Knowledge-Based Systems, Vol. 14, Núm. 3-4, pp. 181-188
-
An explicit finite differences scheme over hexagonal tessellation
Applied Mathematics Letters, Vol. 14, Núm. 5, pp. 593-598
-
Analysing value substitution and confidence estimation for value prediction
Journal of Systems Architecture, Vol. 47, Núm. 5, pp. 459-475
-
Analysis of a mechanical solver for linear systems of equations
Journal of Computational Mathematics, Vol. 19, Núm. 1, pp. 9-14
-
Applying case-based reasoning to support dynamic framework documentation
International Journal of Software Engineering and Knowledge Engineering, Vol. 11, Núm. 4, pp. 479-502
-
Characterization Results Based on a Functional Derivative Approach
Combinatorics Probability and Computing, Vol. 10, Núm. 5, pp. 417-434
-
Clasificación de texturas mediante redes neuronales
Ingeniería civil, Núm. 123, pp. 61-70
-
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming, Vol. 1, Núm. 4, pp. 409-445
-
Controllability of tree-shaped networks of vibrating strings
Comptes Rendus de l'Academie des Sciences - Series I: Mathematics, Vol. 332, Núm. 12, pp. 1087-1092