Herramienta Web Ligera para La Programación en C-Concurrente
Lightweight Web-Tool for C Concurrent Programming
Pablo Basanta-Val
, Marisol García-Valls, Pablo López-Anastasio
Autor para correspondencia
Departamento Ingeniería Telemática, Universidad Carlos III de Madrid, Edificio Torres Quevedo, Avda. de la Universidad, 30, 28911 Leganés, Madrid, España
Leído
3332
Vecesse ha leído el artículo
1039
Total PDF
2293
Total HTML
Compartir estadísticas
array:24 [ "pii" => "S1697791213000599" "issn" => "16977912" "doi" => "10.1016/j.riai.2013.05.010" "estado" => "S300" "fechaPublicacion" => "2013-10-01" "aid" => "136" "copyright" => "EA" "copyrightAnyo" => "2012" "documento" => "article" "crossmark" => 0 "licencia" => "http://creativecommons.org/licenses/by-nc-nd/3.0/" "subdocumento" => "fla" "cita" => "Revista Iberoamericana de Automática e Informática industrial. 2013;10:465-76" "abierto" => array:3 [ "ES" => true "ES2" => true "LATM" => true ] "gratuito" => true "lecturas" => array:2 [ "total" => 2203 "formatos" => array:3 [ "EPUB" => 39 "HTML" => 1510 "PDF" => 654 ] ] "itemSiguiente" => array:18 [ "pii" => "S1697791213000654" "issn" => "16977912" "doi" => "10.1016/j.riai.2013.09.004" "estado" => "S300" "fechaPublicacion" => "2013-10-01" "aid" => "142" "documento" => "simple-article" "crossmark" => 0 "licencia" => "http://creativecommons.org/licenses/by-nc-nd/3.0/" "subdocumento" => "prp" "cita" => "Revista Iberoamericana de Automática e Informática industrial. 2013;10:477-81" "abierto" => array:3 [ "ES" => true "ES2" => true "LATM" => true ] "gratuito" => true "lecturas" => array:2 [ "total" => 1389 "formatos" => array:3 [ "EPUB" => 26 "HTML" => 700 "PDF" => 663 ] ] "es" => array:7 [ "idiomaDefecto" => true "titulo" => "Entrevista con Javier Aracil Santonja: Creador de la escuela sevillana de control automático. 3ª Parte" "tienePdf" => "es" "tieneTextoCompleto" => 0 "paginas" => array:1 [ 0 => array:2 [ "paginaInicial" => "477" "paginaFinal" => "481" ] ] "contienePdf" => array:1 [ "es" => true ] "autores" => array:1 [ 0 => array:2 [ "autoresLista" => "Sebastián Dormido" "autores" => array:1 [ 0 => array:2 [ "nombre" => "Sebastián" "apellidos" => "Dormido" ] ] ] ] ] "idiomaDefecto" => "es" "EPUB" => "https://multimedia.elsevier.es/PublicationsMultimediaV1/item/epub/S1697791213000654?idApp=UINPBA00004N" "url" => "/16977912/0000001000000004/v1_201310030057/S1697791213000654/v1_201310030057/es/main.assets" ] "itemAnterior" => array:19 [ "pii" => "S1697791213000757" "issn" => "16977912" "doi" => "10.1016/j.riai.2013.08.002" "estado" => "S300" "fechaPublicacion" => "2013-10-01" "aid" => "145" "copyright" => "EA" "documento" => "article" "crossmark" => 0 "licencia" => "http://creativecommons.org/licenses/by-nc-nd/3.0/" "subdocumento" => "fla" "cita" => "Revista Iberoamericana de Automática e Informática industrial. 2013;10:453-64" "abierto" => array:3 [ "ES" => true "ES2" => true "LATM" => true ] "gratuito" => true "lecturas" => array:2 [ "total" => 2421 "formatos" => array:3 [ "EPUB" => 81 "HTML" => 1593 "PDF" => 747 ] ] "es" => array:11 [ "idiomaDefecto" => true "titulo" => "Calibración de cámaras de tiempo de vuelo: Ajuste adaptativo del tiempo de integración y análisis de la frecuencia de modulación" "tienePdf" => "es" "tieneTextoCompleto" => "es" "tieneResumen" => array:2 [ 0 => "es" 1 => "en" ] "paginas" => array:1 [ 0 => array:2 [ "paginaInicial" => "453" "paginaFinal" => "464" ] ] "titulosAlternativos" => array:1 [ "en" => array:1 [ "titulo" => "ToF Camera calibration: an automatic setting of its integration time and an experimental analysis of its modulation frequency" ] ] "contieneResumen" => array:2 [ "es" => true "en" => true ] "contieneTextoCompleto" => array:1 [ "es" => true ] "contienePdf" => array:1 [ "es" => true ] "autores" => array:1 [ 0 => array:2 [ "autoresLista" => "P. Gil, T. Kisler, G.J. García, C.A. Jara, J.A. Corrales" "autores" => array:5 [ 0 => array:2 [ "nombre" => "P." "apellidos" => "Gil" ] 1 => array:2 [ "nombre" => "T." "apellidos" => "Kisler" ] 2 => array:2 [ "nombre" => "G.J." "apellidos" => "García" ] 3 => array:2 [ "nombre" => "C.A." "apellidos" => "Jara" ] 4 => array:2 [ "nombre" => "J.A." "apellidos" => "Corrales" ] ] ] ] ] "idiomaDefecto" => "es" "EPUB" => "https://multimedia.elsevier.es/PublicationsMultimediaV1/item/epub/S1697791213000757?idApp=UINPBA00004N" "url" => "/16977912/0000001000000004/v1_201310030057/S1697791213000757/v1_201310030057/es/main.assets" ] "es" => array:16 [ "idiomaDefecto" => true "titulo" => "Herramienta Web Ligera para La Programación en C-Concurrente" "tieneTextoCompleto" => true "paginas" => array:1 [ 0 => array:2 [ "paginaInicial" => "465" "paginaFinal" => "476" ] ] "autores" => array:1 [ 0 => array:4 [ "autoresLista" => "Pablo Basanta-Val, Marisol García-Valls, Pablo López-Anastasio" "autores" => array:3 [ 0 => array:4 [ "nombre" => "Pablo" "apellidos" => "Basanta-Val" "email" => array:1 [ 0 => "pbasanta@it.uc3m.es" ] "referencia" => array:1 [ 0 => array:2 [ "etiqueta" => "<span class="elsevierStyleSup">¿</span>" "identificador" => "cor0005" ] ] ] 1 => array:3 [ "nombre" => "Marisol" "apellidos" => "García-Valls" "email" => array:1 [ 0 => "mvalls@it.uc3m.es" ] ] 2 => array:3 [ "nombre" => "Pablo" "apellidos" => "López-Anastasio" "email" => array:1 [ 0 => "pk.pablo@gmail.com" ] ] ] "afiliaciones" => array:1 [ 0 => array:2 [ "entidad" => "Departamento Ingeniería Telemática, Universidad Carlos III de Madrid, Edificio Torres Quevedo, Avda. de la Universidad, 30, 28911 Leganés, Madrid, España" "identificador" => "aff0005" ] ] "correspondencia" => array:1 [ 0 => array:3 [ "identificador" => "cor0005" "etiqueta" => "⁎" "correspondencia" => "Autor para correspondencia." ] ] ] ] "titulosAlternativos" => array:1 [ "en" => array:1 [ "titulo" => "Lightweight Web-Tool for C Concurrent Programming" ] ] "textoCompleto" => "<span class="elsevierStyleSections"><span id="sec0005" class="elsevierStyleSection elsevierViewall"><span class="elsevierStyleSectionTitle" id="sect0025">Referencias no citadas</span><p id="par0005" class="elsevierStylePara elsevierViewall"><a class="elsevierStyleCrossRef" href="#bib0005">Alonso et al., 2004</a>, <a class="elsevierStyleCrossRef" href="#bib0010">Basanta Val and Garcia-Valls, 2013</a>, <a class="elsevierStyleCrossRef" href="#bib0015">Basanta-Val et al., 2012</a>, <a class="elsevierStyleCrossRef" href="#bib0020">Bouyssounouse and Sifakis, 2005</a>, <a class="elsevierStyleCrossRef" href="#bib0025">Caspi et al., 2005</a>, <a class="elsevierStyleCrossRef" href="#bib0030">Committee, 2003</a>, <a class="elsevierStyleCrossRef" href="#bib0035">Crenshaw, 2013</a>, <a class="elsevierStyleCrossRef" href="#bib0040">Cuevas et al., 2013</a>, <a class="elsevierStyleCrossRef" href="#bib0045">Estevez-Avres et al., 2004</a>, <a class="elsevierStyleCrossRef" href="#bib0050">Garcia-Valls and Basanta-Val, 2012</a>, <a class="elsevierStyleCrossRef" href="#bib0055">Hamblen et al., 2013</a>, <a class="elsevierStyleCrossRef" href="#bib0060">Havelund and Pressburger, 2000</a>, <a class="elsevierStyleCrossRef" href="#bib0065">Ihantola, 2006</a>, <a class="elsevierStyleCrossRef" href="#bib0070">Jannesari et al., 2009</a>, <a class="elsevierStyleCrossRef" href="#bib0075">Kim and Jeon, 2009</a>, <a class="elsevierStyleCrossRef" href="#bib0080">Lawrence, 2012</a>, <a class="elsevierStyleCrossRef" href="#bib0085">Lee et al., 2011</a>, <a class="elsevierStyleCrossRef" href="#bib0090">Merino et al., 2012</a>, <a class="elsevierStyleCrossRef" href="#bib0095">Monzón et al., 2012</a>, <a class="elsevierStyleCrossRef" href="#bib0100">Nethercote and Seward, 2007</a>, <a class="elsevierStyleCrossRef" href="#bib0105">Pardo and Kloos, 2011</a>, <a class="elsevierStyleCrossRef" href="#bib0110">Pinto et al., 2012</a>, <a class="elsevierStyleCrossRef" href="#bib0115">Rodriguez-Andina and Gomes, 2013</a>, <a class="elsevierStyleCrossRef" href="#bib0120">Sáez and Crespo, 2013</a>, <a class="elsevierStyleCrossRef" href="#bib0125">Salido et al., 2011</a>, <a class="elsevierStyleCrossRef" href="#bib0130">Santana et al., 2013</a>, <a class="elsevierStyleCrossRef" href="#bib0135">Savage et al., 1997</a>, <a class="elsevierStyleCrossRef" href="#bib0140">Serebryany and Iskhodzhanov, 2009</a>, <a class="elsevierStyleCrossRef" href="#bib0145">Sierra et al., 2012</a>, <a class="elsevierStyleCrossRef" href="#bib0150">Sifakis, 2011</a>, <a class="elsevierStyleCrossRef" href="#bib0155">Sun and Microsystems, 2005</a> and <a class="elsevierStyleCrossRef" href="#bib0160">Weber and Rehkopf, 2009</a>.</p></span></span>" "textoCompletoSecciones" => array:1 [ "secciones" => array:6 [ 0 => array:2 [ "identificador" => "xres278364" "titulo" => "Resumen" ] 1 => array:2 [ "identificador" => "xpalclavsec260197" "titulo" => "Palabras clave" ] 2 => array:2 [ "identificador" => "xres278363" "titulo" => "Abstract" ] 3 => array:2 [ "identificador" => "xpalclavsec260198" "titulo" => "Keywords" ] 4 => array:2 [ "identificador" => "sec0005" "titulo" => "Referencias no citadas" ] 5 => array:1 [ "titulo" => "Referencias" ] ] ] "pdfFichero" => "main.pdf" "tienePdf" => true "fechaRecibido" => "2012-09-06" "fechaAceptado" => "2013-05-17" "PalabrasClave" => array:2 [ "es" => array:1 [ 0 => array:4 [ "clase" => "keyword" "titulo" => "Palabras clave" "identificador" => "xpalclavsec260197" "palabras" => array:5 [ 0 => "Herramientas" 1 => "Informática Industrial" 2 => "Sistemas Concurrentes" 3 => "Educación" 4 => "C." ] ] ] "en" => array:1 [ 0 => array:4 [ "clase" => "keyword" "titulo" => "Keywords" "identificador" => "xpalclavsec260198" "palabras" => array:5 [ 0 => "Tools" 1 => "Industrial Informatics" 2 => "Concurrent Systems" 3 => "Education" 4 => "C." ] ] ] ] "tieneResumen" => true "resumen" => array:2 [ "es" => array:2 [ "titulo" => "Resumen" "resumen" => "<p id="spar0005" class="elsevierStyleSimplePara elsevierViewall">El uso de herramientas a la hora de enseñar una determinada disciplina aporta múltiples beneficios desde el punto de vista de la actividad docente pues permite enfatizar o ilustrar determinados cuestiones que a veces resultan difíciles de enfatizar sin tal apoyo. Ese es también el caso de las herramientas que permiten detectar si ha habido algún tipo de problema en un programa escrito en C- concurrente. Dichas herramientas ofrecen interfaces que pueden complementar la información dada por un compilador con información adicional sobre diferentes tipos de condiciones de carrera o fugas de memoria que aparecen en el código. El presente trabajo tiene por objetivo ver cómo se ha integrado un núcleo de validación para C ya existente como aplicación web, lo que le permite estar accesible a través de la red. Dicha herramienta ha sido evaluada en un curso de programación ya existente, donde ha mostrado que es capaz aportar información adicional de utilidad para el discente y el docente. También se han realizado una serie de mediciones de rendimiento para establecer los límites operativos de la herramienta diseñada dentro de los límites de una asignatura donde se enseña C concurrente.</p>" ] "en" => array:2 [ "titulo" => "Abstract" "resumen" => "<p id="spar0010" class="elsevierStyleSimplePara elsevierViewall">Tools for computer-aided teaching and learning provide multiple benefits from the point of view of teaching because it allows emphasizing or illustrating certain issues that are sometimes difficult to emphasize without such type of support. This is exactly the case for the tools to detect if there is any type of problem in a concurrent-C program. These tools provide interfaces that can complement the information given by a compiler with additional information about different types of race conditions and memory leaks that appear in the code. This article aims to address how to integrate a core validation tools for concurrent-C as a web application, allowing you to be accessible through the Internet. This tool has been evaluated in an existing programming course, which has shown to be able to provide additional information useful to the learner and the teacher. There have also been a number of performance measures to establish operational limits designed tool within a course that teaches concurrent-C programming.</p>" ] ] "bibliografia" => array:2 [ "titulo" => "Referencias" "seccion" => array:1 [ 0 => array:2 [ "identificador" => "bibs0005" "bibliografiaReferencia" => array:32 [ 0 => array:3 [ "identificador" => "bib0005" "etiqueta" => "Alonso et al., 2004" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Alonso, D., Pastor, J. & Álvarez, B. 2004, “Real–Time Teaching with Java: JPR 3” in On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, eds. R. Meersman, Z. Tari & A. Corsaro, Springer Berlin Heidelberg,, pp. 246-255." ] ] ] 1 => array:3 [ "identificador" => "bib0010" "etiqueta" => "Basanta Val and Garcia-Valls, 2013" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Basanta Val, P. & Garcia-Valls, M. 2013, “A Distributed Real-Time Java- centric Architecture for Industrial Systems”, Industrial Informatics, IEEE Transactions on, vol. PP, no. 99, pp. 1-1." ] ] ] 2 => array:3 [ "identificador" => "bib0015" "etiqueta" => "Basanta-Val et al., 2012" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Basanta-Val .P, García-Valls, M., Estévez-Ayres, I. & Martin-Gutiérrez, M.J. 2012, “Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java”, Revista Iberoamericana de Automática e Informática Industrial RIAI, vol. 9, no. 3, pp. 209-299." ] ] ] 3 => array:3 [ "identificador" => "bib0020" "etiqueta" => "Bouyssounouse and Sifakis, 2005" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Bouyssounouse, B. & Sifakis, J. 2005, Embedded systems design: the ARTIST roadmap for research and development, Springer, Verlag, NJ, USA." ] ] ] 4 => array:3 [ "identificador" => "bib0025" "etiqueta" => "Caspi et al., 2005" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Caspi, P., Folher, G., Garcia-Valls, M., Kopetz, H., Lakhnech, Y., Laroussinie, F., Lavagno, L., Lipari, G., Maraninchi, F., Peti, P., Puente, J.d.l., Sangiovanni-Vincentelli, A., Scaife, N., Sifakis, J., de Simone, R., Torngren, M., Veríssimo, P., Wellings, A.J., Wilhelm, R., Willemse, T., Yi, W., Almeida, L., Benveniste, A., Bouyssounouse, B., Buttazzo, G., Crnkovic, I., Damm, W. & Engblom, J. 2005, “Guidelines for a graduate curriculum on embedded software and systems”, ACM Transactions on Embedded Computing Systems, vol. 4, no. 3." ] ] ] 5 => array:3 [ "identificador" => "bib0030" "etiqueta" => "Committee, 2003" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Committee, P.A.S. 2003, POSIX Realtime and Embedded application Support, IEEE Standard for Information Technology." ] ] ] 6 => array:3 [ "identificador" => "bib0035" "etiqueta" => "Crenshaw, 2013" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Using Robots and Contract Learning to Teach Cyber- Physical Systems to Undergraduates”" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:1 [ 0 => "T.L. Crenshaw" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "IEEE Trans. Education" "fecha" => "2013" "volumen" => "56" "numero" => "1" "paginaInicial" => "116" "paginaFinal" => "120" ] ] ] ] ] ] 7 => array:3 [ "identificador" => "bib0040" "etiqueta" => "Cuevas et al., 2013" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Beneficios que aporta la metodología MDE a los entornos de desarrollo de sistemas de tiempo real" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:4 [ 0 => "C. Cuevas" 1 => "L. Barros" 2 => "P.L. Martínez" 3 => "J.M. Drake" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "Revista Iberoamericana de Automática e Informática Industrial RIAI" "fecha" => "2013" "volumen" => "10" "numero" => "2" "paginaInicial" => "216" "paginaFinal" => "227" ] ] ] ] ] ] 8 => array:3 [ "identificador" => "bib0045" "etiqueta" => "Estevez-Avres et al., 2004" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Estevez-Avres, I., Basanta-Val P. & García-Valls, M. 2004, “Docencia de programación concurrente. Experiencias de Laboratorio.”, VII Jornadas de Tiempo Real." ] ] ] 9 => array:3 [ "identificador" => "bib0050" "etiqueta" => "Garcia-Valls and Basanta-Val, 2012" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Usage of DDS Data-Centric Middleware for Remote Monitoring and Control Laboratories" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:2 [ 0 => "M. Garcia-Valls" 1 => "P. Basanta-Val" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:4 [ "tituloSerie" => "Industrial Informatics, IEEE Transactions on" "fecha" => "2012" "volumen" => "99" "paginaInicial" => "1" ] ] ] ] ] ] 10 => array:3 [ "identificador" => "bib0055" "etiqueta" => "Hamblen et al., 2013" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "An Embedded Systems Laboratory to Support Rapid Prototyping of Robotics and the Internet of Things" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:2 [ 0 => "J.O. Hamblen" 1 => "G.M.E.v. Bekkum" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "IEEE Trans. Education" "fecha" => "2013" "volumen" => "56" "numero" => "1" "paginaInicial" => "121" "paginaFinal" => "128" ] ] ] ] ] ] 11 => array:3 [ "identificador" => "bib0060" "etiqueta" => "Havelund and Pressburger, 2000" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Model checking Java programs using Java PathFinder" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:2 [ 0 => "K. Havelund" 1 => "T. Pressburger" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "International Journal on Software Tools for Technology Transfer (STTT)" "fecha" => "2000" "volumen" => "2" "numero" => "4" "paginaInicial" => "366" "paginaFinal" => "381" ] ] ] ] ] ] 12 => array:3 [ "identificador" => "bib0065" "etiqueta" => "Ihantola, 2006" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Ihantola, P. 2006, “Test data generation for programming exercises with symbolic execution in Java PathFinder”, Proceedings of the 6th Baltic Sea conference on Computing education research: Koli Calling 2006ACM, New York, NY, USA, pp. 87." ] ] ] 13 => array:3 [ "identificador" => "bib0070" "etiqueta" => "Jannesari et al., 2009" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Jannesari, A., Kaibin Bao, Pankratius, V. & Tichy, W.F. 2009, “Helgrind+: An efficient dynamic race detector”, Parallel Distributed Processing, 2009. IPDPS 2009. IEEE International Symposium on, may, pp. 1." ] ] ] 14 => array:3 [ "identificador" => "bib0075" "etiqueta" => "Kim and Jeon, 2009" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Introduction for Freshmen to Embedded Systems Using LEGO Mindstorms" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:2 [ 0 => "S.H. Kim" 1 => "J.W. Jeon" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:5 [ "tituloSerie" => "Education IEEE Transactions on" "fecha" => "2009" "volumen" => "52" "numero" => "1" "paginaInicial" => "99" ] ] ] ] ] ] 15 => array:3 [ "identificador" => "bib0080" "etiqueta" => "Lawrence, 2012" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Lawrence Livermore National Laboratory, POSIX Threads Programming Exercise [2012,8]." ] ] ] 16 => array:3 [ "identificador" => "bib0085" "etiqueta" => "Lee et al., 2011" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Lee, J.W., Kester, M.S. & Schulzrinne, H. 2011, “Follow the river and you will find the C”, Proceedings of the 42nd ACM technical symposium on Computer science educationACM, New York, NY, USA, pp. 411." ] ] ] 17 => array:3 [ "identificador" => "bib0090" "etiqueta" => "Merino et al., 2012" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "An adaptive and innovative question-driven competition-based intelligent tutoring system for learning" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:4 [ 0 => "P.J.M. Merino" 1 => "M.F. Molina" 2 => "M.M. Organero" 3 => "C.D. Kloos" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:5 [ "tituloSerie" => "Expert Syst. Appl." "fecha" => "2012" "volumen" => "39" "numero" => "8" "paginaInicial" => "6932" ] ] ] ] ] ] 18 => array:3 [ "identificador" => "bib0095" "etiqueta" => "Monzón et al., 2012" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Application of Deadlock Risk Evaluation of Architectural Models”" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:3 [ 0 => "A. Monzón" 1 => "J.L. Fernández" 2 => "J.A. de la Puente" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "Software: Practice and Experience" "fecha" => "2012" "volumen" => "42" "numero" => "9" "paginaInicial" => "1137" "paginaFinal" => "1163" ] ] ] ] ] ] 19 => array:3 [ "identificador" => "bib0100" "etiqueta" => "Nethercote and Seward, 2007" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Valgrind: a framework for heavyweight dynamic binary instrumentation" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:2 [ 0 => "N. Nethercote" 1 => "J. Seward" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "SIGPLAN Not." "fecha" => "2007" "volumen" => "42" "numero" => "6" "paginaInicial" => "89" "paginaFinal" => "100" ] ] ] ] ] ] 20 => array:3 [ "identificador" => "bib0105" "etiqueta" => "Pardo and Kloos, 2011" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "SubCollaboration: large-scale group management in collaborative learning" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:2 [ 0 => "A. Pardo" 1 => "C.D. Kloos" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "Softw. Pract. Exper." "fecha" => "2011" "volumen" => "41" "numero" => "4" "paginaInicial" => "449" "paginaFinal" => "465" ] ] ] ] ] ] 21 => array:3 [ "identificador" => "bib0110" "etiqueta" => "Pinto et al., 2012" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Localization of Mobile Robots Using an Extended Kalman Filter in a LEGO NXT”, Education" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:3 [ 0 => "M. Pinto" 1 => "A.P. Moreira" 2 => "A. Matos" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:5 [ "tituloSerie" => "IEEE Transactions on" "fecha" => "2012" "volumen" => "55" "numero" => "1" "paginaInicial" => "135" ] ] ] ] ] ] 22 => array:3 [ "identificador" => "bib0115" "etiqueta" => "Rodriguez-Andina and Gomes, 2013" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Guest Editorial Special Section on Information Technologies Within Engineering Education”, Industrial Informatics" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:2 [ 0 => "J.J. Rodriguez-Andina" 1 => "L. Gomes" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:5 [ "tituloSerie" => "IEEE Transactions on" "fecha" => "2013" "volumen" => "9" "numero" => "1" "paginaInicial" => "546" ] ] ] ] ] ] 23 => array:3 [ "identificador" => "bib0120" "etiqueta" => "Sáez and Crespo, 2013" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Mejora de los Test de Planificabilidad para Asignación Incremental de Tareas en Sistemas Multiprocesadores de Tiempo Real" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:2 [ 0 => "S. Sáez" 1 => "A. Crespo" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "Revista Iberoamericana de Automática e Informática Industrial RIAI" "fecha" => "2013" "volumen" => "10" "numero" => "2" "paginaInicial" => "197" "paginaFinal" => "203" ] ] ] ] ] ] 24 => array:3 [ "identificador" => "bib0125" "etiqueta" => "Salido et al., 2011" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "CTRWeb: Una Herramienta de Programación para Telecontrol de Sistemas Físicos Educativos" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:4 [ 0 => "J. Salido" 1 => "A. Lillo" 2 => "O. Déniz Suárez" 3 => "G. Bueno" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:7 [ "tituloSerie" => "Revista iberoamericana de automática e informática industrial" "fecha" => "2011" "volumen" => "8" "numero" => "1" "paginaInicial" => "89" "paginaFinal" => "99" "itemHostRev" => array:3 [ "pii" => "S001502820500155X" "estado" => "S300" "issn" => "00150282" ] ] ] ] ] ] ] 25 => array:3 [ "identificador" => "bib0130" "etiqueta" => "Santana et al., 2013" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Remote Laboratories for Education and Research Purposes in Automatic Control Systems”, Industrial Informatics" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:5 [ 0 => "I. Santana" 1 => "M. Ferre" 2 => "E. Izaguirre" 3 => "R. Aracil" 4 => "L. Hernandez" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:5 [ "tituloSerie" => "IEEE Transactions on" "fecha" => "2013" "volumen" => "9" "numero" => "1" "paginaInicial" => "547" ] ] ] ] ] ] 26 => array:3 [ "identificador" => "bib0135" "etiqueta" => "Savage et al., 1997" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "Eraser: a dynamic data race detector for multithreaded programs" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:5 [ 0 => "S. Savage" 1 => "M. Burrows" 2 => "G. Nelson" 3 => "P. Sobalvarro" 4 => "T. Anderson" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "ACM Trans. Comput. Syst." "fecha" => "1997" "volumen" => "15" "numero" => "4" "paginaInicial" => "391" "paginaFinal" => "411" ] ] ] ] ] ] 27 => array:3 [ "identificador" => "bib0140" "etiqueta" => "Serebryany and Iskhodzhanov, 2009" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "ThreadSanitizer: data race detection in practice" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:2 [ 0 => "K. Serebryany" 1 => "T. Iskhodzhanov" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:3 [ "tituloSerie" => "Proceedings of the Workshop on Binary Instrumentation and ApplicationsACM" "fecha" => "2009" "paginaInicial" => "p62" ] ] ] ] ] ] 28 => array:3 [ "identificador" => "bib0145" "etiqueta" => "Sierra et al., 2012" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Sierra, A.J., Ariza, T., Fernandez, F.J. & Madinabeitia, G. 2012, “TVSP: A Tool for Validation Software Projects in programming labs”, Global Engineering Education Conference (EDUCON), 2012 IEEE, april, pp. 1." ] ] ] 29 => array:3 [ "identificador" => "bib0150" "etiqueta" => "Sifakis, 2011" "referencia" => array:1 [ 0 => array:2 [ "contribucion" => array:1 [ 0 => array:2 [ "titulo" => "A vision for computer science — the system perspective" "autores" => array:1 [ 0 => array:2 [ "etal" => false "autores" => array:1 [ 0 => "J. Sifakis" ] ] ] ] ] "host" => array:1 [ 0 => array:1 [ "Revista" => array:6 [ "tituloSerie" => "Central European Journal of Computer Science" "fecha" => "2011" "volumen" => "1" "numero" => "1" "paginaInicial" => "108" "paginaFinal" => "116" ] ] ] ] ] ] 30 => array:3 [ "identificador" => "bib0155" "etiqueta" => "Sun and Microsystems, 2005" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Sun Microsystems. 2005, Online [2005] at http://jcp.org/aboutJava/communityprocess/pr/jsr220/index.html-last update, Enterprise Java Beans [Homepage of SUN],.[Online]." ] ] ] 31 => array:3 [ "identificador" => "bib0160" "etiqueta" => "Weber and Rehkopf, 2009" "referencia" => array:1 [ 0 => array:1 [ "referenciaCompleta" => "Weber, J. & Rehkopf, A. 2009, “A Java-based remote GUI concept for distributed automation systems”, Emerging Technologies Factory Automation, 2009. ETFA 2009. IEEE Conference on, sept., pp. 1." ] ] ] ] ] ] ] ] "idiomaDefecto" => "es" "url" => "/16977912/0000001000000004/v1_201310030057/S1697791213000599/v1_201310030057/es/main.assets" "Apartado" => array:4 [ "identificador" => "7980" "tipo" => "SECCION" "es" => array:2 [ "titulo" => "Artículos" "idiomaDefecto" => true ] "idiomaDefecto" => "es" ] "PDF" => "https://static.elsevier.es/multimedia/16977912/0000001000000004/v1_201310030057/S1697791213000599/v1_201310030057/es/main.pdf?idApp=UINPBA00004N&text.app=https://www.elsevier.es/" "EPUB" => "https://multimedia.elsevier.es/PublicationsMultimediaV1/item/epub/S1697791213000599?idApp=UINPBA00004N" ]
| año/Mes | Html | Total | |
|---|---|---|---|
| 2024 Noviembre | 3 | 2 | 5 |
| 2024 Octubre | 7 | 6 | 13 |
| 2024 Septiembre | 14 | 8 | 22 |
| 2024 Agosto | 6 | 1 | 7 |
| 2024 Julio | 10 | 3 | 13 |
| 2024 Junio | 14 | 5 | 19 |
| 2024 Mayo | 6 | 1 | 7 |
| 2024 Abril | 9 | 7 | 16 |
| 2024 Marzo | 105 | 5 | 110 |
| 2024 Febrero | 6 | 1 | 7 |
| 2024 Enero | 8 | 9 | 17 |
| 2023 Diciembre | 4 | 7 | 11 |
| 2023 Noviembre | 8 | 7 | 15 |
| 2023 Octubre | 8 | 6 | 14 |
| 2023 Septiembre | 3 | 4 | 7 |
| 2023 Agosto | 8 | 3 | 11 |
| 2023 Julio | 8 | 6 | 14 |
| 2023 Junio | 25 | 4 | 29 |
| 2023 Mayo | 32 | 8 | 40 |
| 2023 Abril | 36 | 3 | 39 |
| 2023 Marzo | 13 | 5 | 18 |
| 2023 Febrero | 14 | 8 | 22 |
| 2023 Enero | 9 | 4 | 13 |
| 2022 Diciembre | 11 | 7 | 18 |
| 2022 Noviembre | 9 | 10 | 19 |
| 2022 Octubre | 18 | 11 | 29 |
| 2022 Septiembre | 8 | 15 | 23 |
| 2022 Agosto | 23 | 9 | 32 |
| 2022 Julio | 15 | 12 | 27 |
| 2022 Junio | 10 | 11 | 21 |
| 2022 Mayo | 6 | 6 | 12 |
| 2022 Abril | 15 | 16 | 31 |
| 2022 Marzo | 42 | 9 | 51 |
| 2022 Febrero | 12 | 6 | 18 |
| 2022 Enero | 14 | 9 | 23 |
| 2021 Diciembre | 9 | 8 | 17 |
| 2021 Noviembre | 13 | 13 | 26 |
| 2021 Octubre | 16 | 7 | 23 |
| 2021 Septiembre | 13 | 4 | 17 |
| 2021 Agosto | 11 | 6 | 17 |
| 2021 Julio | 11 | 6 | 17 |
| 2021 Junio | 6 | 5 | 11 |
| 2021 Mayo | 28 | 4 | 32 |
| 2021 Abril | 32 | 20 | 52 |
| 2021 Marzo | 7 | 10 | 17 |
| 2021 Febrero | 8 | 6 | 14 |
| 2021 Enero | 8 | 6 | 14 |
| 2020 Diciembre | 8 | 8 | 16 |
| 2020 Noviembre | 5 | 3 | 8 |
| 2020 Octubre | 4 | 4 | 8 |
| 2020 Septiembre | 11 | 8 | 19 |
| 2020 Agosto | 8 | 6 | 14 |
| 2020 Julio | 6 | 11 | 17 |
| 2020 Junio | 7 | 6 | 13 |
| 2020 Mayo | 8 | 3 | 11 |
| 2020 Abril | 5 | 1 | 6 |
| 2020 Marzo | 13 | 4 | 17 |
| 2020 Febrero | 12 | 5 | 17 |
| 2020 Enero | 4 | 7 | 11 |
| 2019 Diciembre | 11 | 7 | 18 |
| 2019 Noviembre | 6 | 7 | 13 |
| 2019 Octubre | 7 | 4 | 11 |
| 2019 Septiembre | 7 | 4 | 11 |
| 2019 Agosto | 6 | 6 | 12 |
| 2019 Julio | 4 | 9 | 13 |
| 2019 Junio | 37 | 10 | 47 |
| 2019 Mayo | 62 | 24 | 86 |
| 2019 Abril | 34 | 8 | 42 |
| 2019 Marzo | 4 | 5 | 9 |
| 2019 Febrero | 6 | 5 | 11 |
| 2019 Enero | 3 | 17 | 20 |
| 2018 Diciembre | 4 | 5 | 9 |
| 2018 Noviembre | 13 | 6 | 19 |
| 2018 Octubre | 6 | 26 | 32 |
| 2018 Septiembre | 18 | 5 | 23 |
| 2018 Agosto | 3 | 8 | 11 |
| 2018 Julio | 7 | 5 | 12 |
| 2018 Junio | 14 | 1 | 15 |
| 2018 Mayo | 24 | 6 | 30 |
| 2018 Abril | 24 | 9 | 33 |
| 2018 Marzo | 28 | 1 | 29 |
| 2018 Febrero | 18 | 4 | 22 |
| 2018 Enero | 19 | 1 | 20 |
| 2017 Diciembre | 22 | 0 | 22 |
| 2017 Noviembre | 26 | 0 | 26 |
| 2017 Octubre | 15 | 6 | 21 |
| 2017 Septiembre | 4 | 4 | 8 |
| 2017 Agosto | 3 | 8 | 11 |
| 2017 Julio | 5 | 7 | 12 |
| 2017 Junio | 16 | 10 | 26 |
| 2017 Mayo | 7 | 5 | 12 |
| 2017 Abril | 3 | 2 | 5 |
| 2017 Marzo | 5 | 80 | 85 |
| 2017 Febrero | 3 | 6 | 9 |
| 2017 Enero | 9 | 7 | 16 |
| 2016 Diciembre | 9 | 4 | 13 |
| 2016 Noviembre | 15 | 4 | 19 |
| 2016 Octubre | 21 | 9 | 30 |
| 2016 Septiembre | 15 | 3 | 18 |
| 2016 Agosto | 5 | 3 | 8 |
| 2016 Julio | 10 | 1 | 11 |
| 2016 Junio | 10 | 7 | 17 |
| 2016 Mayo | 10 | 8 | 18 |
| 2016 Abril | 26 | 1 | 27 |
| 2016 Marzo | 25 | 2 | 27 |
| 2016 Febrero | 28 | 2 | 30 |
| 2016 Enero | 29 | 10 | 39 |
| 2015 Diciembre | 26 | 8 | 34 |
| 2015 Noviembre | 25 | 2 | 27 |
| 2015 Octubre | 19 | 5 | 24 |
| 2015 Septiembre | 49 | 6 | 55 |
| 2015 Agosto | 38 | 3 | 41 |
| 2015 Julio | 51 | 3 | 54 |
| 2015 Junio | 30 | 3 | 33 |
| 2015 Mayo | 30 | 4 | 34 |
| 2015 Abril | 11 | 8 | 19 |
| 2015 Marzo | 9 | 5 | 14 |
| 2015 Febrero | 6 | 7 | 13 |
| 2015 Enero | 9 | 4 | 13 |
| 2014 Diciembre | 12 | 0 | 12 |
| 2014 Noviembre | 6 | 4 | 10 |
| 2014 Octubre | 7 | 2 | 9 |
| 2014 Septiembre | 14 | 1 | 15 |
| 2014 Agosto | 19 | 5 | 24 |
| 2014 Julio | 28 | 6 | 34 |
| 2014 Junio | 21 | 3 | 24 |
| 2014 Mayo | 10 | 4 | 14 |
| 2014 Abril | 15 | 5 | 20 |
| 2014 Marzo | 48 | 30 | 78 |
| 2014 Febrero | 46 | 21 | 67 |
| 2014 Enero | 72 | 23 | 95 |
| 2013 Diciembre | 65 | 30 | 95 |
| 2013 Noviembre | 72 | 43 | 115 |
| 2013 Octubre | 77 | 37 | 114 |
Mostrar todo