Faculté
Informática
Publications (341) Publications auxquelles un chercheur a participé
2008
-
A Bayesian solution to robustly track multiple objects from visual data
Studies in Computational Intelligence, Vol. 109, pp. 531-547
-
A Content-Centric Development Process Model
Computer, Vol. 41, Núm. 3, pp. 24-30
-
A De Finetti-type theorem for nonexchangeable finite-valued random variables
Journal of Mathematical Analysis and Applications, Vol. 347, Núm. 2, pp. 407-415
-
A Nanowatt Smart Temperature Sensor for Dynamic Thermal Management
IEEE Sensors Journal, Vol. 8, Núm. 12, pp. 2036-2043
-
A New EDAC Technique against Soft Errors based on Pulse Detectors
2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5
-
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science, Vol. 216, Núm. C, pp. 79-92
-
A Rewriting semantics for Maude strategies
Electronic Notes in Theoretical Computer Science
-
A coarse-grain dynamically reconfigurable system and compilation framework
Fine-and Coarse-Grain Reconfigurable Computing (Springer Netherlands), pp. 181-215
-
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 formal specification of the memorization process
Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170
-
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 mechanism to reduce the energy consumption of the register file of in-order architectures
International Journal of Embedded Systems, Vol. 3, Núm. 4, pp. 285-293
-
A hardware task-graph scheduler for reconfigurable multi-tasking systems
Proceedings - 2008 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2008