Java Memory Model aware Software validation

The Java Memory Model (JMM) provides a semantics of Java multithreading for any implementation platform. The JMM is defined in a declarative fashion with an allowed program execution being defined in terms of existence of "commit sequences" (roughly, the order in which actions in the execution are committed). In this work, we develop OpMM, an operational under-approximation of the JMM. The immediate motivation of this work lies in integrating a formal specification of the JMM with software model checkers. We show how our operational memory model description can be integrated into a Java Path Finder (JPF) style model checker for Java programs.

Does lean imply green?: a study of the power performance implications of Java runtime bloat

The presence of software bloat in large flexible software systems can hurt energy efficiency. However, identifying and mitigating bloat is fairly effort intensive. To enable such efforts to be directed where there is a substantial potential for energy savings, we investigate the impact of bloat on power consumption under different situations. We conduct the first systematic experimental study of the joint power-performance implications of bloat across a range of hardware and software configurations on modern server platforms. The study employs controlled experiments to expose different effects of a common type of Java runtime bloat, excess temporary objects, in the context of the SPECPower_ssj2008 workload. We introduce the notion of equi-performance power reduction to characterize the impact, in addition to peak power comparisons. The results show a wide variation in energy savings from bloat reduction across these configurations. Energy efficiency benefits at peak performance tend to be most pronounced when bloat affects a performance bottleneck and non-bloated resources have low energy-proportionality. Equi-performance power savings are highest when bloated resources have a high degree of energy proportionality. We develop an analytical model that establishes a general relation between resource pressure caused by bloat and its energy efficiency impact under different conditions of resource bottlenecks and energy proportionality. Applying the model to different "what-if" scenarios, we predict the impact of bloat reduction and corroborate these predictions with empirical observations. Our work shows that the prevalent software-only view of bloat is inadequate for assessing its power-performance impact and instead provides a full systems approach for reasoning about its implications.

El tertium narrativo de los Evangelios : paradigma de un lenguaje nuevo desde la óptica ricoeuriana de Adolphe Gesché

Introducción: En las obras de Adolphe Gesché (1928-2003) aparecen temáticas que echan sus raíces en la teología dogmática y en la fundamental. Realiza su camino académico de licenciatura en filosofía y letras en la Universidad Católica de Lovaina, donde también, posteriormente, se licencia y doctora en teología. Más tarde realiza su magíster con una tesis sobre patrología. Si bien nunca faltarán en su madurez bibliográfica estos recursos de la primera hora, enfocará sus investigaciones y desarrollos hacia horizontes más dogmáticos. Estos últimos serán tratados desde abordajes múltiples, como la moral, la antropología, la psicología, filosofía y estética, la literatura y la teología comparada. Es precisamente en esta nota o personalidad de su “teologizar desde el encuentro” donde radicará la disertación presente, subrayando la riqueza de variados afluentes y detectando esas pistas de enlaces o convergencias que abren la posibilidad de la aplicación interdisciplinaria y del diálogo entre esos campos. Cabe destacar en Gesché el sustrato de diálogo con otras áreas humanísticas debido a sus estudios en humanidades y en filosofía y letras realizados en la Facultad de Saint Louis, Bruselas, previos a su ordenación sacerdotal. Gesché se esfuerza en sus obras por proveerse de un método interno y, al mismo tiempo, de una propuesta metodológica para futuras investigaciones. Lo confirmará el teólogo mismo al decir que “este recorrido constituye una experiencia que deseo realizar, tanto más que, a mi juicio, resulta decisiva para nuestra postmodernidad”. Se utilizará como material fuente su obra teológica magna sistematizada en siete tomos que llevan por título “Dios para pensar”, pero esto no impedirá recurrir a textos de algunas otras obras de su autoría y a su Fichero temático personal. La disertación apuntará al estudio de la importancia que Gesché confiere a la dimensión narrada del evangelio como principal fuente de luz sobre la persona e identidad de Jesucristo, constituyéndose en un modelo de relato que configura la identidad de aquel que narra, ejerciendo, también, una eficacia para aquel que lo lee. Texto, sujeto y lector serán, entonces, los ejes de su estudio y, también, la estructura de la disertación. Es el evangelio, en su esencia “narrado”, el que confiere identidad a la persona de Jesucristo. Esta dimensión narrativa del texto evangélico supera dos polos generados en la tradición teológica apoyados uno en la historia y el otro en el dogma. Ésta será la principal tesis sostenida por el teólogo y planteará el advenimiento de un tercero para resolver el ahogo de los encierros narcisistas...

El lenguaje místico en Santa Catalina de Siena

Resumen: El lenguaje místico posee características propias, una de ellas es la inefabilidad. En este artículo la autora, basándose en los conceptos elaborados por M. De Certeau, analiza en primer lugar los rasgos que posee este lenguaje en la obra de Santa Catalina de Siena. En segundo lugar el artículo explora la matriz epistolar que posee Il Dialogo della Divina Provvidenza, la obra más importante de la santa. Aquí se observa de qué manera una gramática hablada conserva las entonaciones propias de la meditación que le da origen. Teniendo su origen en una carta Il Dialogo no sólo manifiesta el lenguaje oral usado en su época sino su estatuto privado y público a la vez.

Más allá del lenguaje : la metáfora como recurso expresivo en el Cantar de los Cantares

Resumen: Partiendo del antiguo debate acerca de cuál es la clave de lectura más adecuada para comprender el Cantar de los Cantares –literal o alegórica, y en qué sentido cada una de ellas–, se vuelve sobre el texto en cuanto literatura poética, dejándolo hablar por sí mismo. Allí aparece inmediatamente el rol protagónico de la metáfora como recurso expresivo que permite referir a una realidad pluridimensional. Estudiando el uso de la metáfora en el Cantar, a partir de algunos ejemplos, se reconoce en el poema un grado muy elaborado de metaforización, donde las imágenes se acumulan e interactúan generando varios niveles de sentido simultáneos, que no se eliminan sino que se enriquecen mutuamente. Detrás de este complejo entramado de metáforas, emerge el referente principal del libro y la metáfora se revela como lenguaje especialmente adecuado para decir tanto lo humano como lo divino.

¿Visionaria o mística? Hildegarda de Bingen en la encrucijada de lenguaje y experiencia del misterio cristiano

Resumen: Ante la próxima proclamación de Hildegarda de Bingen como doctora de la Iglesia, anunciada por el Papa Benedicto XVI para el 7 de octubre de 2012, el artículo realiza una reflexión sobre la relación entre experiencia y lenguaje en la mística cristiana. Tras el necesario deslinde de los marcos epistemológicos en los que ha sido tratada la cuestión –histórico, fenomenológico y teológico–, plantea una respuesta integradora de ambas tradiciones sobre la base del principio estético teológico que Hans Urs von Balthasar denominó como “visión de la figura”. La tesis se apoya sobre el análisis del texto descriptivo, interpretativo y plástico del Prólogo y Primera Visión; I Parte de Scivias y sobre el Corpus epistolar que tuvieron por destinatarios a Bernardo de Claraval y a Guibert de Gembloux.

La “experiencia religiosa” forjadora de un lenguaje teológico significativo en John Henry Newman

El autor plantea la cuestión de lo significativo del lenguaje teológico a partir del concepto de experiencia en el pensamiento del cardenal Newman. Su itinerario de fe y conversión, enraizado en un diálogo personal con Dios, le ha dado tanto a su teología como a su predicación, un atractivo que trasciende su época y que puede servir de estímulo actualmente en la comunicación teológica.

La idea de “Nación” en el lenguaje político hispanoamericano, 1808-1814 : los límites monárquicos de la imaginación liberal

Resumen: Este trabajo aborda el concepto de Nación y otros relacionados con la noción de soberanía en el lenguaje político hispanoamericano para el período 1808-1814. Se analizan algunos trabajos que dan cuenta de los diversos significados asociados a este concepto en los procesos revolucionarios americano y español. Las distintas concepciones sostenidas por los actores sociales del período señalado se vinculan luego en perspectiva con su posible derivación como proyección de la Nación en la cultura constituyente de Cádiz.

Sayagués y lengua gauchesca : paralelismos y divergencias en la construcción de un lenguaje especial

Integran este número de la revista ponencias presentadas en Studia Hispanica Medievalia VIII: Actas de las IX Jornadas Internacionales de Literatura Española Medieval, 2008, y de Homenaje al Quinto Centenario de Amadis de Gaula.

Un modelo de programación por metas para la elaboración del contrato-programa de un hospital público

[ES] Proponemos un modelo de programación por metas para la estimación del plan de producción (case-mix) que debe reflejarse en el Contrato–Programa que suscriben anualmente los Hospitales Públicos y la Administración. Las variables de decisión son los volúmenes de actividad de cada servicio médico del hospital y los atributos son los indicadores básicos que se manejan al elaborar el Contrato-Programa: fi nanciación, número de altas, estancia media y peso de complejidad. Para resolver nuestro modelo empleamos la herramienta SOLVER de la hoja de cálculo EXCEL. La utilización de esta herramienta permite simular varios escenarios de una manera ágil, lo que es de gran ayuda para el estudio y discusión de las cantidades a contratar entre el Hospital y la Administración. El artículo finaliza con una breve presentación de los resultados obtenidos al aplicar nuestro modelo a un hospital de tamaño medio (118 camas) del Servicio Vasco de Salud.

Un entorno de programación multinivel y control modular de robots

En este proyecto final de carrera se van a tratar los aspectos referentes a la ampliación de robots. Para ello se utilizará una placa Arduino que se comunicará con el robot por puerto serie. Esta placa, servirá de plataforma de comunicación entre un PC y el robot, ofreciendo una interfaz del robot anterior con la capacidad de ampliación de la placa Arduino. En el transcurso del proyecto se ha realizado una capa intermedia de código C++ que gestiona el uso de la placa Arduino y del robot iRobot Create a través de la misma. Con objeto de dar también soporte a la programación del robot iRobot Create, se ha elegido un simulador y se le ha dado soporte en la capa anteriormente citada.

Programazioaren oinarriak: C-ko eta Java-ko praktikak

Helburuak: Ikasmaterial honen helburu nagusia ikasleek C-ko eta Java-ko klase teorikoetan lantzen dituzten ezagutzak sendotzea da. Norentzat: Programazioari buruzko lehen ezagutzak sendotu nahi dituen edozein ikasleei zuzenduta, baina bereziki telekomunikazio ikasketak egiten ari diren ikasleei.

Influencia de los medios tecnológicos de la imagen en el lenguaje pictórico

Ponencia leída en el Foro de Comunicaciones IkasArt II (BEC Barakaldo, 2010.06.17)

Programación por metas con niveles de aspiración imprecisos

En la programación por metas borrosa se trabaja con metas imprecisas del tipo “esencialmente menor (mayor) que bi”, las cuales se modelan mediante conjuntos borrosos, cuya función de pertenencia mide el grado de satisfacción respecto del logro de la meta. Para valores menores (mayores) que el nivel de aspiración bi el grado de satisfacción va disminuyendo monótonamente hasta un umbral, fijado por el decisor, a partir del cual el grado de satisfacción es nulo. El hecho de que el umbral no se pueda sobrepasar conduce, en algunos casos, a problemas infactibles, para evitar lo cual se tiende a ampliar excesivamente dicho umbral. En este trabajo, en lugar de maximizar el grado de satisfacción, proponemos un enfoque similar al de la programación por metas estándar, de manera que lo que pretendemos es minimizar la distancia a los niveles de aspiración. Obtenemos un programa matemático con función objetivo cuadrática y restricciones lineales y, por tanto, fácil de resolver. Se incluye un ejemplo numérico en el que se compara el enfoque propuesto con la programación por metas estándar y con el enfoque borroso ordinario.

Aprendizaje basado en proyectos en Diseño y Construcción de Sistemas Digitales

Duración (en horas): Más de 50 horas. Destinatario: Estudiante y Docente