1 M. Díaz y J. M. Troya. A Parlog based real-time logic environment Future Generation Computer Systems 9 (1993), pp. 201-218
2.M. Díaz, E. Pimentel y J.M. Troya. DROL: A Distributed and Real-time Object-oriented Logic Environment The Computer Journal, Vol. 37, No. 5, pp. 407-422. 1994
3.M. Díaz, B. Rubio y J. M. Troya Distributed programming with a logic channel based coordination model The Computer Journal, Vol. 39, No. 10, pp. 876-889. 1996
4
M. Díaz, B. Rubio y J. M. Troya DRL: A Distributed Real-time Logic Language Journal of Computer Languages, Vol. 23, No.2-4, pp. 87-120. 1997
5 J.M. Álvarez, M. Díaz, L. Llopis, E. Pimentel y J.M. Troya A Methodology for Real-Time Embedded Systems. The Computer Journal, Vol. 46, 2, pp. 123-145 2002
6 J.M. Álvarez, M. Díaz, L. Llopis, E. Pimentel y J.M. Troya Schedulability Analysis in Embedded Real-Time Systems specified in SDL Real-Time Systems Journal, 24, 267-302 2003
7.
M. Díaz, B. Rubio, E. Soler and J.M. Troya, A border-based coordination language for integrating task and data parallelism. Journal of Parallel and Distributed Computing 62, 715-740 2002
8.
M. Díaz, B. Rubio, E. Soler and J.M. Troya, Domain Interaction patterns to coordinate HPF tasks. Parallel Computing, 29 (2003), 925-951
9.
M. Díaz, D. Garrido, S. Romero, B. Rubio, E. Soler and J.M. Troya,Experiences with Component Oriented Technologies in Nuclear Power Plant Simulators Software Practice and Experience, 2006,36.1489-1512 2006
10. M. Díaz, D. Garrido, S. Romero, B. Rubio, E. Soler and J.M. Troya, A component-based nuclear plant simulator kernel Concurrency and Computation, Practice & Experience En prensa, aceptado para su publicación
11. E. Alba, F. Almeida, M. Blesa, C. Cotta, M. Díaz, I. Dorta, J.Gabarró, C. León, G. Luque, J. Petit, C. Rodríguez, A. Rojas, F. Xhafa Efficient Parallel LAN/WAN Algorithms for Optimization. The MALLBA Project Parallel Computing 32(5-6):415-440, 2006
|
1. M. Díaz, B. Rubio, E. Soler y J. M. Troya Integration of Task and Data Parallelism: A Coordination-based Approach The 7 th Intl. Conference on High Performance Computing (HiPC'2000), LNCS vol. 1970, Springer-Verlag, pp. 173-182, 2000
2.M. Díaz, B. Rubio, E. Soler y J. M. Troya Integrating Task and Data Parallelism by means of Coordination Patterns The 6 th Intl. Workshop on High-Level Parallel Programming Models and Supportive Environmets (HIPS'2001). LNCS vol. 2026, Springer-Verlag, pp. 16-27, 2001
3.E. Alba, F. Almeida, M. Blesa, C. Cotta, M. Díaz, I. Dorta, J. abarró, J. González, C. León, L. Moreno, J. Petit, J. Roda, A. Rojas, F. Xhafa: MALLBA: A Library of Skeletons for Combinatorial Optimisation Proceedings of the Euro-Par, Paderborn (GE), LNCS 2400, pp.927-932, 2002
4.M. Díaz, Garrido, D. Rus, F. SGI-SAT Trillo: A Full Scope Simulator for Nuclear Power Plants. Distributed Objects and Application 2003. LNCS 2889, 7-11, 2003
5. M. Díaz, D. Garrido, L. Llopis y J. M. Troya Integrating RT-CORBA and SDL SDL 2005: Model Driven., LCNS 3530, pp. 47-67. Springer, 2005
6. M. Díaz, D. Garrido, L. Llopis y J. M. Troya A CCA-Compliant Nuclear Power Plant Simulator Kernel 8th SIGSOFT Int. Symposium on Component-based Software Engineering (CBSE). LCNS 3489, pp. 283-297. Springer, 2005.
7. M. Díaz, S. Romero, B. Rubio, E. Soler y J. M. Troya Using SBASCO to Solve Reaction Diffusion Equations in Two-Dimensional Irregular Domains Practical Aspects of High-Level Parallel Programming (PAPP), affiliated to the International Conference on Computational Science (ICCS 2006) . LNCS 3992 Springer, pp. 912-919, 2006
8. C. Alcaide, M. Díaz, L. Llopis, A. Márquez y E. Soler A P2P-Based System to Perform Coordinated Inspections in Nuclear Power Plants On the Move to Meaningful Internet Systems, OTM 2006 , LNCS 4276, pp. 1181-1190, 2006
9. M. V. Belmonte, R. Conejo, M. Díaz, and J. L. Pérez-de-la-Cruz Coalition Formation in P2P File Sharing Systems Current Topics in Artificial Intelligence, LNAI 4177, pp. 153-162, 2006
10.M. Díaz, S. Romero, B. Rubio, E. Soler y J. M. Troya Dynamic Reconfiguration of Scientific Components Using Aspect Oriented Programming. A Case Study International Conference on Grid computing, high-performAnce and Distributed Applications (GADA 2006). LNCS 4276 Springer, pp. 1351-1360
|
1. M. Díaz y J.M. Troya Extending a Concurrent Logic Language for Real-time and Distributed Systems Parallel Computing. From Theory to Sound Practice. W Joosen and E. Milgrom Eds. IOS Press, pp 570-573 Barcelona 1992
2. M. Díaz, E. Pimentel y J.M. Troya A Declarative Environment for Distributed Programming Information Processing 92 (IFIP'92). J. van Leeuwen (ed), Algorithms, Software, Architecture, pp. 163-169. North-Holland, Amsterdam. Madrid 1992
3.M. Díaz y J.M. Troya RDLE: A real-time distributed logic environment 11th IEEE Phoenix Conference on Computers and Communications.IEEE, pp.555-562. Phoenix, Arizona (USA) 1992
4. M. Díaz y J. M. Troya Real-time Distributed Logic Programming Workshop on Integration in Real-time Intelligent Control Systems. IRTICS'93 Madrid 1993
5. M. Díaz, B. Rubio y J. M. Troya Implementation Issues of a Real-Time Distributed Logic Language Workshop on Integration of Declarative Paradigms. ICLP´94. pp. 106-120. Santa Margherita Ligure (Italia) 1994
6. M. Díaz, L. Llopis, F. Rus, y E. Soler Thermohydraulic Code Parallelization 11 th International Conference in System Engineering. pp. 860-865. Las Vegas (EEUU) 1996
7. J. M. Alvarez, M. Díaz, L. Llopis, F. Rus, y E. Soler Practical Parallelization Strategies of a Thermohydraulic Code. pp. 254-258 Euroconference in Supercomputation in Non Linear and Disordered Systems Madrid 1996
8. M. Díaz, B. Rubio y J. M. Troya Logic Channels: A coordination Approach to Distributed Programming 11 th International Parallel Processing Symposium. IEEE Computer Society Press, pp. 436-442 Ginebra (Suiza) 1997
9. M. Díaz, B. Rubio y J. M. Troya The Tuple Channel Coordination Model 2nd International Workshop on Software Engineering for Parallel and Distributed systems (PDSE'97). IEEE Computer Society Press, pp. 95-106. Boston (EEUU) 1997
10. M. Díaz, B. Rubio y J. M. Troya A Logic-Based Coordination Model.ICLP'97 Post-Conference Workshop on Logic-Based Composition of Software. Pp. 73-83 Leuven (Bruselas) 1997
11.M. Díaz, B. Rubio y J. M. Troya Multilingual and Multiparadigm Integration of a Tuple Channel-Based Coordination Model. 13th Annual Symposium on Applied Computing (SAC'98). Special Track on Coordination Models, Languages and Applications. ACM Press, pp. 194-196 Atlanta (EEUU) 1998
12. J. M Álvarez, M. Díaz, L. Llopis, E. Pimentel y J. M. Troya Integrating Schedulability Analysis and SDL in an Object-oriented methodology for real-time embedded systems SDL'99. The next Millenium. Dssouli, R., Bochman, G. V. Y Lahav, Y. (editores). Elsevier 1999. pp. 241-257. Montreal (Canada) 1999
13. J. M Álvarez, M. Díaz, L. Llopis, E. Pimentel y J. M. Troya An analyzable execution model for SDL for embedded real-time systems 24 th IFAC/IFIP Workshop on Real-time Programming. Workshop Proceedings. pp. 117-123. Wadern , Saarland , Germany 1999
14. J. M Álvarez, M. Díaz, L. Llopis, E. Pimentel y J. M. Troya Embedded Real-time Systems Development Using SDL 20 th IEEE RTSS – WIP. pp. 85-90. Phoenix (Arizona) - USA 1999
15. J. M Álvarez, M. Díaz, L. Llopis, E. Pimentel y J. M. Troya Schedulability Analysis in Real-time Embedded Systems Specified in SDL 25 th IFAC/IFIP Workshop on Real-time Programming. Workshop Proceedings. pp. 125-131. Palma de Mallorca 2000
16. J. M Álvarez, M. Díaz, L. Llopis, E. Pimentel y J. M. Troya SDL and hard real-time systems: new design and analysis techniques SAM 2000 – 2 nd Worshop on SDL and MSC, pp. 92-107 Grenoble (Francia) 2000
17. M. Díaz, B. Rubio, E. Soler y J. M. Troya BCL: A Border Based Coordination Language Parallel and Distributed Processing Techniques and Applications PDPTA'2000- pp. 756-777 Las Vegas, USA: 2000
18.J. M. Álvarez, M. Díaz, L. Llopis, E. Pimentel, J. M. Troya. Deriving Real Time System Implementations directly from SDL specifications 9 th ACM International Symposium on Hardware/Software Codesign, pp. 128-133 Copenhage 2001
19. M. Díaz, B. Rubio, E. Soler y J. M. Troya DIP: a Pattern-based Approach for Task and Data Parallelism Integration 16th ACM Symposium on Applied Computing (SAC'2001). Special Track on Coordination Models, Languages and Applications, pp. Las Vegas, USA 2001
20. M. Díaz, Garrido, D., Rus F. Predictable Software Components for Embedded Systems Euromicro Conference on Real-time Systems WIP,12-19 Oporto 2003
21.M. Díaz, Garrido, D. Rus, F. A Component-based model for Predictable Embedded Systems. Int. Conference of Embedded Systems and Applications. 183-190 Las Vegas 2003
22. M. Díaz, B. Rubio, E. Soler, J. M. Troya An Aspect-Oriented Framework for Scientific Component Development. 13th Euromicro Conference on Parallel Distributed and Network-Based Processing. IEEE press. pp 290-296, 2005
23. M. Díaz, Garrido, D. An experience report:RT-CORBA in Nuclear Power Plant Simulators. Industrial Simulation Conference ISC 2004, 243-250 . Málaga 2004
24. M. Díaz, Garrido, D. A reusable distributed environment for nuclear power plant simulators. UKSIM 2004, 40-47 Sicilia 2004
25. M. Díaz, Garrido, Llopis, L. M. D. Rus F. y Troya, J. M. Integrating Real-time Analysis in a Component Model for Embedded Systems 30 th Euromicro Conference, pp- 14- 21. Rennes (Francia) 2004
25. M. Díaz, D. Garrido Applying RT-CORBA in Nuclear Power Plant Simulators. 7th IEEE Int Symposium on Object-oriented Real-time Distributed Computing. ISORC 2004. IEEE press. pp 7- 14 Viena, Austria 2004
26.M. Díaz, D. Garrido A Simulation Environment for Nuclear Power Plants. 8th IEEE Int Symposium on Distributed Simulation and Real-time Applications. IEEE press. pp 98-105 Budapest, Hungría 2004
27. M. Díaz, B. Rubio, E. Soler, J. M. Troya SBASCO: Skeleton-based Scientific Components 12th Euromicro Conference on Parallel Distributed and Network-Based Processing. IEEE press. pp 318-324 La Coruña 2004
28. M. Díaz, D. Garrido, S. Romero, B. Rubio, E. Soler, J. M. Troya Nuclear Power Plant Simulators: A Component-Based Approach 14th Int. Conference on Applied Simulation and Modelling. Pp. 209-214, 2005 Málaga 2005
29. M. Díaz, B. Rubio y J. M. Troya TCMote: A tuple Channel Coordination Model for Wireless Sensor Network IEEE Int. Conference on Pervasive Services. ICPS'05. pp. 437-440 Santorini, Grecia 2005
30. M. Díaz, B. Rubio y J. M. Troya A coordination Middleware for Wireless Sensor Networks IEEE Int. Conference on Sensor Networks SENET 2005. pp. 377-382 Montreal, Canada 2005
31.. M. Díaz, D. Garrido, L. Llopis, B. Rubio y J. M. Troya A Component Framework for Wireless Sensor and Actor Networks11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'06), pp. 300-307.
32. J. Barbarán, M. Díaz, D. Garrido, L. Llopis, , B.Rubio A real-time Component-Oriented Middleware for Wireless Sensors and Actor Networks To appear in International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'07) . Viena (Austria) 2007
|
1. M. Díaz, M. Roldan y J. M. Troya A logic environment for distributed programming and real-time systems Jornadas sobre Programación Declarativa Torremolinos (Málaga) 1991
2.J.M. Troya, J.F. Aldana y M. Díaz Un entorno basado en Parlog para programación de tiempo real Acción Especial sobre Paralelismo I Sitges (Barcelona) 1991
3. M. Díaz, J. A. Rodero y J. M. Troya Validación de especificaciones en LOTOS mediante su traducción a un lenguaje lógico concurrente Madrid 1992
4. M. Díaz, P. Merino y J. M. Troya Desarrollo de protocolos basado en Lenguajes Lógicos Concurrentes La Manga (Murcia) 1993
5.M. Díaz, P. Merino, B. Rubio y J. M. Troya Un Lenguaje Logico Concurrente Como Nucleo De Ejecucion De Un Entorno De Simulacion Y Validacion De Protocolos La Manga (Murcia) 1993
6.
J. Aldana, E. Alba, V. Benjumea, C. Canal, M. Díaz, L. Fuentes, M.M. Gallardo, P. Merino, A.J. Nebro, M. Roldan y J. M. Troya Un entorno declarativo Distribuido para Especificación y Validación de Protocolos Jornadas Técnicas PLANBA/TEMA Madrid 1994
7.J. Aldana, E. Alba, V. Benjumea, C. Canal, M. Díaz, L. Fuentes, M.M. Gallardo, P. Merino, A.J. Nebro, M. Roldan y J. M. Troya EVP: Un entorno para la integración de Técnicas de Descripción Formal I Jornadas de Informática - EVI 95 Santa Cruz de Tenerife 1995
8. M. Díaz, L. Llopis, F. Rus, E. Soler y J. M. Troya Paralelización de un código termohidráulico I Jornadas de Informática - EVI 95 Santa Cruz de Tenerife 1995
9.
F. Rus, P. Merino y M. Díaz Paralelización de un algoritmo de validación de protocolos I Jornadas de Informática - EVI 95 Santa Cruz de Tenerife 1995
10. J. L. Serrano y M. Díaz Implementación Distribuida de Pascal-FC III Jornadas de Informática. Pto. Sta. María 1997
11. J. M. Alvarez, M. Díaz, L. Llopis y J. M. Troya UMA/ATM: Un protocolo fiable sobre ATM para aplicaciones distribuidas IV Jornadas de Informática Las Palmas 1998
12. J. M. Alvarez, M. Díaz, L. Llopis y J. M. Troya Metodologías de desarrollo de sistemas de tiempo real basadas en SDL III Jornadas de Tiempo Real Santander: 2000
13. M. Díaz, D. Garrido, E. Soler Un lenguaje para la definición en tiempo de ejecución de variables físicas asociadas a un simulador III Jornadas de Programación y Lenguajes. Prole 2003 Alicante 2003
14. M. Díaz, D. Garrido RT CORBA in distribbuted simulators with real-time constraints VII Jornadas de Tiempo Real. Bilbao 2004
15. M. Díaz, D. Garrido, L. Llopis An SDL Model for RT-CORBA VIII Jornadas de Tiempo Real. pp. 53-70 Bilbao 2005
16. M. Díaz, D. Garrido, L. Llopis Integration of RT-CORBA and SDL: Heterogeneus Distributed Real-time Systems I Simposio sobre Sistemas de Tiempo Real. CEDI 2005 Bilbao 2005
17. M. V. Belmonte, R. Conejo, M. Díaz, J. L. Pérez de la Cruz Coalition Formation in P2P File Sharing Systems CAEPIA 2005, 245-254 Santiago de Compostela 2005
|
