Publications

Export 663 results:
Sort by: Author Title Type [ Year (Desc)]
2007
[1396] Pont, SMT, Chamizo GJM, Mora MH, de Casado MG.  2007.  Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
[1398] Pont, MT S, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2007.  Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
[1399] Signes-Pont, MT, de-Miguel-Casado G, García-Chamizo JM, Mora-Mora H.  2007.  Table-based Recursive Method for Function Evaluation. Numerical Analysis and Applied Mathematics 2007.
[1400] de-Miguel-Casado, G, García-Chamizo JM, Signes-Pont MT.  2007.  Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
[1401] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2007.  Parametric Architecture for Function Calculation Improvement. Architecture of Computing Systems 2007.
[BLV07] Bernues, J, López-Valdés M.  2007.  Tail estimates and a random embedding of l^p_n to l_r^{(1+ε)n}, 0<r<p<2.. Publ. Math. Debrecen. 70
[IPReHaSi07] Recalde, L, Haddad S, Silva M.  2007.  Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.
2006
[IPGiMaReSeSi06b] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2006.  Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
[CelayaAGRID06] Celaya, J, Arronategui U.  2006.  YA: Fast and Scalable Discovery of Idle CPUs in a P2P Network. :49-55.
0 icon
celarr_grid06.pdf
[RoIndin06] Rodríguez, D.  2006.  Time and Supervisory Control of Manufacturing Systems: a Flexible Manufacturing Cell experience. :CD-Rom.
[RCDM2006] Rodríguez, D, Popescu C, Delamer I, Martinez-Lastra.  2006.  Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
[IPMaReSi06] Mahulea, C, Recalde L, Silva M.  2006.  On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
[IPGiMaReSeSi06a] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2006.  Optimal control of continuous Petri nets via model predictive control. :235–241.
[IPMaGiReSeSi06] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2006.  On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
[BM-IC-06] Bernardi, S, Merseguer J.  2006.  QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
0 icon
BM-IC-06.pdf
[GMM_WOMP06] Gómez-Martínez, E, Merseguer J.  2006.  Impact of SOAP Implementations in the Performance of a Web Service-based Application. 4331:884-896.
0 icon
paper.pdf
[1311] López-Grao, JP, Colom JM.  2006.  Lender processes competing for shared resources: Beyond the $S^4PR$ paradigm. 2006 International Conference on Systems, Man and Cybernetics (SMC'06). 4:3052--3059.
application/pdf icon
06_LGC_SMC.pdf
[IPReMaSi06] Recalde, L, Mahulea C, Silva M.  2006.  Improving analysis and simulation of continuous Petri Nets. :7–12.
[1246] Arronategui, U, Celaya J.  2006.  YA: Fast and Scalable Discovery of Idle CPUs in a P2P network. 7th IEEE/ACM International Conference on Grid Computing.
application/pdf icon
celarr_grid06.pdf
[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.
application/pdf icon
celarr_hpcc06.pdf
[1312] López-Grao, JP, Colom JM.  2006.  Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
application/pdf icon
06_LGC_FORTE.pdf
[1329] Carmona, J, Colom JM, Cortadella J, García-Vallés F.  2006.  Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
[LCRM06] Lobov, A, Popescu C, Rodríguez D, Lastra L.  2006.  A Graphical Environment for Modeling and Analysis of Concurrent Systems in Manufacturing: An Educational Perspective.
[1402] Signes-Pont, MT, García-Chamizo JM, de-Miguel-Casado G, Mora-Mora H.  2006.  Improvement of Image Transform Calculation Based on a Weighted Primitive. International Conference on Image Analysis and Recognition 2006.
[1403] de-Miguel-Casado, G, García-Chamizo JM.  2006.  The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.