Publications

Export 27 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Title is E  [Clear All Filters]
1979
[RP-79-03] Silva, M.  1979.  Evaluación de funciones lógicas: Generación óptima de código a partir de un grafo de decisiones binarias. :628-636.
[RP-79-02] Silva, M.  1979.  Evaluation des performances des applications temps réel de type logique. :152-157.
1984
[RP-84-06] Martínez, J, Silva M.  1984.  Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
1985
[RP-85-11] Silva, M, Velilla S.  1985.  Error detection and correction on Petri net models of discrete control systems. :921-924.
1991
[CCS-TSE-91] Campos, J, Chiola G, Silva M.  1991.  Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
0 icon
91_CCS_TSE.ps
1993
[CS-PE-93] Campos, J, Silva M.  1993.  Embedded Product Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Performance Evaluation. 18:3-19.
0 icon
93_CS_PE.ps
1995
[BuhMay95] Buhrman, H, Mayordomo E.  1995.  An excursion to the Kolmogorov random strings. :197-203.
[EDA-book-95] Campos, J.  1995.  Estructuras de Datos y Algoritmos.
[TricasMartinez95SMC] Tricas, F, Martínez J.  1995.  An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[RP-95-21] Tricas, F, Martínez J.  1995.  An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
1997
[BuhMay97] Buhrman, H, Mayordomo E.  1997.  An excursion to the Kolmogorov random strings. Journal of Computer and System Sciences. 54:393-399.
0 icon
97_BM_JCSS.ps
2000
[MCM-JJCC-00] Merseguer, J, Campos J, Mena E.  2000.  Evaluating Performance on Mobile Agents Software Design. :291-307.
0 icon
00_MCM_JJCC.pdf
2001
[ZRS-EKA2001] Zimmermann, A, Rodríguez D, Silva M.  2001.  Ein effizientes Optimierungsverfahren für Petri Netz Modelle von Fertigungssystemen.
0 icon
01_ZRS_EKA.ps
[Cam-EVI-01] Campos, J.  2001.  Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri. :141-156.
0 icon
01_Cam_EVI.pdf
2003
[MC-SERP03] Merseguer, J, Campos J.  2003.  Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
0 icon
03_MC_SERP.pdf
2004
[MayEHD] Mayordomo, E.  2004.  Effective Hausdorff dimension. Trends in Logic. 23:171-186.
0 icon
xx_May_FFS.ps
[IPJuBeReSi04] Julvez, J, Bemporad A, Recalde L, Silva M.  2004.  Event-driven optimal control of continuous Petri nets. :69-74.
[ESDAICC] Athreya, KB, Hitchcock JM, Lutz JH, Mayordomo E.  2004.  Effective Strong Dimension in Algorithmic Information and Computational Complexity. 2996:632-643.
2007
[AtHiLuMa06] Athreya, KB, Hitchcock JM, Lutz JH, Mayordomo E.  2007.  Effective strong dimension in algorithmic information and computational complexity. SIAM Journal on Computing. 37:671-705.
0 icon
esdaicc.pdf
2008
[EFDAIT] Mayordomo, E.  2008.  Effective fractal dimension in algorithmic information theory. :259-285.
2009
[1309] Mayordomo, E, Blanco R.  2009.  Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
[1253] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2009.  An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
2011
[PMM-QoSA11a] Perez-Palacin, D, Mirandola R, Merseguer J.  2011.  Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
2013
[1476] Timotei, A, Colom JM.  2013.  Enforcing Liveness in S3PR Nets by Specialization of Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :318-321. Abstract
[1455] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).