Publications
Filters: First Letter Of Title is S [Clear All Filters]
[CelayaAHPCC06] Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
.
2006.
[1247] Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
.
2006.
.
2010.
[HiLuMaSDNCb] Scaled dimension and non uniform complexity. 2719:278-290.
.
2003.
[HiLoMa04] Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
.
2004.
.
2006.
[ICReTeSi96] SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
.
1996.
[1283] SimHPN: a MATLAB toolbox for continuous Petri nets. 10th International Workshop on Discrete Event Systems.
.
2010.
[RP-81-07] A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
.
1981.
[RP-85-10] Sistema de programación y control de robots con visión artificial. :66-69.
.
1985.
[RP-80-03] Sistema especializado en la simulación de redes de Petri sanas. :81-88.
.
1980.
[RP-83-05] Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
.
1983.
[RP-82-05] Sistemas concurrentes descritos con RdP: Validación asistida por computador. :126-134.
.
1982.
.
1991.
[RP-87-08] Sistemas modernos de programación de robots. :25-52.
.
1987.
[RP-81-06] Sobre la obtención del conjunto de componentes elementales de una RdPG. :287-296.
.
1981.
[PMM-QoSA11b] Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
.
2011.
[RP-86-08] A software environment for systems design with HLPN and their implementations. :95-127.
.
1986.
[1395] A Software Library for Reliable Online-Arithmetic with Rational Numbers. Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures.
.
2008.
.
2005.
[915] A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.
.
1999.
[GBC-IROS-04] Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.
.
2004.
[1088] Some Improvements to the Banker's Algorithm Based on the Process Structure. 2000 IEEE International Conference on Robotics and Automation (ICRA’2000). :2853-2858.
.
2000.
.
2003. .
1986.