Lecture Notes in Computer Science

Estadísticas Alertas RSS

Detalles
Publicaciones

Publicaciones

Tipo de publicación

Por investigador

Por afiliación

Busca por:

Departamento: departamento de ingeniería telemática

Título Año
Drago: An Ada extension to program fault-tolerant distributed applications Alvarez, A.; Arevalo, S.; Guerra, F. Fecha de publicación: 1996 DOI: 10.1007/BFb0013492 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 1088, p. 235-246 Actas de congresos
EVGC: A tool for visualizing LOTOS behavioural specifications Marrero, Mario ; Suárez Sarmiento, Álvaro Fecha de publicación: 1996 DOI: 10.1007/3-540-61648-9_60 Localización: Lecture Notes in Computer Science [ISSN 0302-9743], v. 1135, p. 475-478, (1996) Actas de congresos
An Ada library to program fault-tolerant distributed applications Guerra, F. ; Miranda, J. ; Alvarez, A.; Arévalo, S. Fecha de publicación: 1997 DOI: 10.1007/3-540-63114-3_21 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 1251, p. 230-243 Actas de congresos
Sparse LU factorization with partial pivoting overlapping communications and computations on the SP-2 multicomputer Ojeda-Guerra, C. N. ; Macías, E. ; Suarez, A Fecha de publicación: 1998 DOI: 10.1007/BFb0056597 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 1497, p. 371-378 Artículo
SGLOT: A visual tool for structural LOTOS specifications Marrero Ruíz, Mario ; Suárez Sarmiento, Álvaro ; Carrión Pérez, Elena; Macías López, Elsa María Fecha de publicación: 1998 DOI: 10.1007/BFb0055358 Localización: In: Ravn A.P., Rischel H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science [ISSN 0302-9743], v. 1486, p. 303-306, (1998) Actas de congresos
Hardware mapping of a parallel algorithm for matrix-vector multiplication overlapping communications and computations Ojeda-Guerra, C. N. ; Esper-Chaín, R. ; Estupiñán, M.; Macías, E. ; Suárez, Á. Fecha de publicación: 1998 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 1482, p. 396-400 Actas de congresos
How to modify the GNAT frontend to experiment with Ada Extensions? Miranda, J. ; Guerra, F. ; Martín, J.; González, Alexis Fecha de publicación: 1999 DOI: 10.1007/3-540-48753-0_20 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 1622, p. 226-237 JCR: 0,872 - Q1 Actas de congresos
Programming parallel applications with LAMGAC in a LAN-WLAN environment Macías, E. ; Suárez, Á. ; Ojeda-Guerra, C. N. ; Robayna, E. Fecha de publicación: 2001 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 2131, p. 158-165 JCR: 0,415 - Q3 Artículo
A tailorable distributed programming environment Martel, Ernestina ; Guerra, Francisco ; Miranda, Javier Fecha de publicación: 2002 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 2361, p. 269-281 JCR: 0,515 - Q3 Actas de congresos
How to use GNAT to efficiently preprocess new ada sentences Miranda, Javier ; Guerra, Francisco ; Martel, Ernestina ; Martìn, José; González, Alexis Fecha de publicación: 2002 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 2361, p. 179-192 JCR: 0,515 - Q3 Actas de congresos
Solving engineering, applications with LAMGAC over MPI-2 Macias, EM ; Suarez, A Fecha de publicación: 2002 Localización: Recent Advances In Parallel Virtual Machine And Message Passing Interface, Proceedings[ISSN 0302-9743],v. 2474, p. 130-137 JCR: 0,515 - Q3 Artículo
An Efficient Algorithm for Multiple Sclerosis Lesion Segmentation from Brain MRI Cardenes, R.; Warfield, S. K.; Macias, EM ; Santana, J. A. ; Ruiz-Alzola, J. Fecha de publicación: 2003 Localización: LECTURE NOTES IN COMPUTER SCIENCE[ISSN 0302-9743], p. 542-551 Artículo
A graphical environment for GLADE Martel, Ernestina ; Guerra, Francisco ; Miranda González, Francisco Javier ; Hernández, Luis Fecha de publicación: 2003 Localización: Reliable Software Technologies - Ada-Europe 2003[ISSN 0302-9743],v. 2655, p. 182-195, (2003) Artículo
A proposal to integrate the POSIX execution-time clocks into Ada 95 Miranda González, Javier ; González Harbour, M. Fecha de publicación: 2003 Localización: Reliable Software Technologies - Ada-Europe 2003 [ISSN 0302-9743], v. 2655, p. 344-358, (2003) Actas de congresos
Dynamic ceiling priorities: A proposal for ada0y Real, Jorge; Burns, Alan; Miranda, Javier ; Schonberg, Edmond; Crespo, Alfons Fecha de publicación: 2004 DOI: 10.1007/978-3-540-24841-5_21 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 3063, p. 261-272 JCR: 0,513 - Q4 Actas de congresos
Implementing an application-defined scheduling framework for ada tasking Aldea, Mario; Miranda, Javier ; Harbour, Gonzalez Fecha de publicación: 2004 DOI: 10.1007/978-3-540-24841-5_23 Localización: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 3063, p. 283-296 JCR: 0,513 - Q4 Actas de congresos
Anticipating performance information of newly portable computers on the WLAN for load balancing Sanchez, D ; Macias, EM ; Suarez, A Fecha de publicación: 2004 Localización: Parallel Processing And Applied Mathematics[ISSN 0302-9743],v. 3019, p. 946-953 JCR: 0,513 - Q4 Actas de congresos
The implementation of Ada 2005 interface types in the GNAT compiler Miranda, Javier ; Schonberg, Edmond; Dismukes, Gary Fecha de publicación: 2005 Localización: Lecture Notes in Computer Science[ISSN 0302-9743],v. 3555, p. 208-219 JCR: 0,402 - Q4 Actas de congresos
Integrating application-defined scheduling with the new dispatching policies for Ada tasks Rivas, Mario Aldea; Miranda, Javier ; Harbour, Michael González Fecha de publicación: 2005 Localización: Lecture Notes in Computer Science[ISSN 0302-9743],v. 3555, p. 220-235 JCR: 0,402 - Q4 Actas de congresos
An improved mechanism for controlling portable computers in limited coverage areas Sanchez, D ; Macias, EM ; Suarez, A Fecha de publicación: 2005 Localización: Recent Advances In Parallel Virtual Machine And Message Passing Interface, Proceedings[ISSN 0302-9743],v. 3666, p. 467-474 JCR: 0,402 - Q4 Artículo