Facultad
Informática
Achegas congreso (67) Publicacións nas que participase algún/ha investigador/a
2001
-
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 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
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 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 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 2001 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING
-
A multigrid solver for the incompressible Navier-Stokes equations on a Beowulf-class system
Proceedings of the International Conference on Parallel Processing
-
A parallel compact genetic algorithm for multi-FPGA partitioning
Proceedings - 9th Euromicro Workshop on Parallel and Distributed Processing, PDP 2001
-
A parallel hybrid heuristic for the tsp
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A practical partial evaluator for a multi-paradigm declarative language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A pseudo delay-insensitive timing model to synthesising low-power asynchronous circuits
DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS
-
A pseudo relay-insensitive timing model to synthesising low-power asynchronous circuits
Proceedings -Design, Automation and Test in Europe, DATE
-
A testing theory for generally distributed stochastic processes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A user model based on content analysis for the intelligent personalization of a news service
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)