Publications

Export 82 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is G  [Clear All Filters]
2008
[1394] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2008.  Parametric Architecture for Modeling Neuronal Systems. 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing 2008.
[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.
[TRMaGiReSeSi07] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2008.  Optimal model predictive control of Timed Continuous Petri nets.
2007
[IPCaGiMaReSeSi07] Cabasino, MP, Giua A, Mahulea C, Recalde L, Seatzu C, Silva M.  2007.  State Estimation of Petri Nets by Transformation. :194-199.
[GIM-WOSP07] Gómez-Martínez, E, Ilarri S, Merseguer J.  2007.  Performance Analysis of Mobile Agents Tracking. :181-188.
0 icon
GIM-WOSP07.pdf
[IPMaCaGiSe07] Mahulea, C, Cabasino MP, Giua A, Seatzu C.  2007.  A State Estimation Problem for Timed Continuous Petri Nets. :1770-1775.
[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.
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.
[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.
[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
[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.
[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.
[GMM06] Gómez-Martínez, E, Merseguer J.  2006.  ArgoSPE: Model-based software performance engineering. 4024:401-410.
0 icon
40240401.pdf
[GuLuMa06] Gu, X, Lutz JH, Mayordomo E.  2006.  Points on computable curves. :469–474.
0 icon
pcc.pdf
2005
[GMM-Tool] Gómez-Martínez, E, Merseguer J.  2005.  A Software Performance Engineering Tool based on the UML-SPT.
0 icon
PID94860.pdf
[SPE-WS] Gómez-Martínez, E.  2005.  Performance Analysis of Web Applications.
0 icon
WebServices.pdf
[1337] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
[1331] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. 2005 IEEE International Conference on Robotics & Automation (ICRA’05). :272-278.
[DGLMM05] Doty, D, Gu X, Lutz JH, Mayordomo E, Moser P.  2005.  Zeta-Dimension. 3618:283-294.
0 icon
zeta.pdf
2004
[GBC-IROS-04] González-Buesa, C, Campos J.  2004.  Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.
0 icon
final.pdf