Faculté
Informática
Publications (134) Publications auxquelles un chercheur a participé
2001
-
1904: año clave de los socialistas alcalaínos
Anales Complutenses, Núm. 13, pp. 191-202
-
A Comparison between three Non-determinism Analyses in a Parallel-Functional Language
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
-
A Demand Driven Strategy for Lazy Narrowing with Multisets
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
-
A Proof of Correctness for the STG Machine
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
-
A UML-integrated test description language for component testing
Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
-
A case study in abstraction using E-LOTOS and the FireWire
Computer Networks, Vol. 37, Núm. 3-4, pp. 481-502
-
A computational model for functional logic deductive databases
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A data scheduler for multi-context reconfigurable architectures
Proceedings of the International Symposium on System Synthesis, pp. 177-182
-
A data scheduler for multi-context reconfigurable architectures
ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS
-
A declarative debugger of wrong answers for lazy functional logic programs
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
-
A declarative similarity framework for knowledge intensive CBR
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A divider-multiplier high level synthesis library element for DSP applications
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
-
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 higher-order logic programming language with constraints
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A hybrid heuristic for the traveling salesman problem
IEEE Transactions on Evolutionary Computation, Vol. 5, Núm. 6, pp. 613-622
-
A monotonic higher-order semantic path ordering
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A multigrid solver for the incompressible Navier-Stokes equations on a Beowulf-class system
Proceedings of the International Conference on Parallel Processing