Publications

Export 80 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Title is S  [Clear All Filters]
Conference Paper
[CelayaAHPCC06] Celaya, J, Arronategui U.  2006.  Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
[1247] Arronategui, U, Celaya J.  2006.  Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
[1303] Mayordomo, E, Blanco R, Montes E, Mayo R, Alberto A.  2010.  Scalable Phylogenetics through Input Preprocessing.
[HiLuMaSDNCb] Hitchcock, JM, Lutz JH, Mayordomo E.  2003.  Scaled dimension and non uniform complexity. 2719:278-290.
[HiLoMa04] Hitchcock, JM, López-Valdés M, Mayordomo E.  2004.  Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
[SDIS] López-Valdés, M.  2006.  Scaled dimension of invidual strings.
[ICReTeSi96] Recalde, L, Teruel E, Silva M.  1996.  SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
[1283] Julvez, J, Mahulea C.  2010.  SimHPN: a MATLAB toolbox for continuous Petri nets. 10th International Workshop on Discrete Event Systems.
[RP-81-07] Martínez, J, Silva M.  1981.  A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
[RP-85-10] Villarroel, JL, Silva M.  1985.  Sistema de programación y control de robots con visión artificial. :66-69.
[RP-80-03] Silva, M, Velilla S.  1980.  Sistema especializado en la simulación de redes de Petri sanas. :81-88.
[RP-83-05] Silva, M, Velilla S.  1983.  Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
[RP-82-05] Silva, M.  1982.  Sistemas concurrentes descritos con RdP: Validación asistida por computador. :126-134.
[LMT-91] Luciañez, JM, Merseguer J, Torralba JM.  1991.  Sistemas de ayuda a las decisiones. Metodología de desarrollo de aplicaciones.
[RP-87-08] Montano, L, Silva M.  1987.  Sistemas modernos de programación de robots. :25-52.
[RP-81-06] Martínez, J, Silva M.  1981.  Sobre la obtención del conjunto de componentes elementales de una RdPG. :287-296.
[PMM-QoSA11b] Perez-Palacin, D, Mirandola R, Merseguer J.  2011.  Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
[RP-86-08] Silva, M, Martínez J.  1986.  A software environment for systems design with HLPN and their implementations. :95-127.
[1395] de-Miguel-Casado, G, García-Chamizo JM.  2008.  A Software Library for Reliable Online-Arithmetic with Rational Numbers. Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures.
[GMM-Tool] Gómez-Martínez, E, Merseguer J.  2005.  A Software Performance Engineering Tool based on the UML-SPT.
[915] Tricas, F, Colom JM, Ezpeleta J.  1999.  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.
[GBC-IROS-04] González-Buesa, C, Campos J.  2004.  Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.
[1088] Tricas, F, Colom JM, Ezpeleta J.  2000.  Some Improvements to the Banker's Algorithm Based on the Process Structure. 2000 IEEE International Conference on Robotics and Automation (ICRA’2000). :2853-2858.
[TrEz-03] Tricas, F, Ezpeleta J.  2003.  Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. :16-29.
[RP-86-09] Martínez, J, Silva M.  1986.  Specification de la Commande des Ateliers Flexibles à lAide de Réseaux de Petri Colorés. :85-96.