Facultad
Informática
Aportaciones congreso (213) Publicaciones en las que ha participado algún/a investigador/a
2008
-
A New EDAC Technique against Soft Errors based on Pulse Detectors
2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5
-
A Rewriting semantics for Maude strategies
Electronic Notes in Theoretical Computer Science
-
A comparative study of STOPA and RTPA
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A comparison between possibility and probability in multiple criteria decision making
World Scientific Proceedings Series on Computer Engineering and Information Science 1; Computational Intelligence in Decision and Control - Proceedings of the 8th International FLINS Conference
-
A debugger for parallel haskell dialects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A declarative debugger for Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A declarative debugger for Maude functional modules
Electronic Notes in Theoretical Computer Science
-
A flow-oriented visual language for learning designs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal methodology to specify hierarchical agent-based systems
SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems
-
A framework for building creative objects from heterogeneous generation systems
Proceedings of the International Joint Workshop on Computational Creativity 2008
-
A fully CPU-implemented rigid body simulator
GRAPP 2008 - Proceedings of the 3rd International Conference on Computer Graphics Theory and Applications
-
A hardware task-graph scheduler for reconfigurable multi-tasking systems
Proceedings - 2008 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2008
-
A hierarchy of equivalences for probabilistic processes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A hierarchy of semantics for non-deterministic term rewriting systems
Leibniz International Proceedings in Informatics, LIPIcs
-
A lightweight combination of semantics for non-deterministic functions
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
-
A modifiable agent-based software architecture for Intelligent Virtual Environments for Training
7th IEEE/IFIP Working Conference on Software Architecture, WICSA 2008
-
A multi-agent based implementation of a Delphi process
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
-
A new EDAC technique against soft errors based on pulse detectors
IEEE International Symposium on Industrial Electronics
-
A performance model for federated grid infrastructures
Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing, PDP 2008
-
A technique to calculate the MBU distribution of a memory under radiation suffering the event accumulation problem
Proceedings of the European Conference on Radiation and its Effects on Components and Systems, RADECS