Browsing by Subject "Execution"

Now showing 1 - 3 of 3
  • Thumbnail Image
    Publication
    Embargo
    Fix the code. Don’t tweak the hardware: A newcompiler approach to Voltage-Frequency scaling
    (IEEE/ACM, ) Jimborean, Alexandra; Koukos, Konstantinos; Spiliopoulos, Vasileios; Black-Schaffer, David; Kasiras, Stefanos; Ingeniería y Tecnología de Computadores
    Traditional compiler approaches to optimize power effi-ciency aim to adjust voltage and frequency at runtime tomatch the code characteristics to the hardware (e.g., run-ning memory-bound phases at a lower frequency). However,such approaches are constrained by three factors: (i) voltage-frequency transitions are too slow to be applied at instructiongranularity, (ii) larger code regions are seldom unequivocallymemory- or compute-bound, and, (iii) the available voltagescaling range for future technologies is rapidly shrinking.These factors necessitate new approaches to address power-efficiency at the code-generation level. This paper proposesone such approach to automatically generate power-efficientcode using a decoupled access/execute (DAE) model.In DAE a program is split into tasks, where each task con-sists of two sufficiently coarse-grained phases to enable ef-fective Dynamic Voltage Frequency Scaling (DVFS): (i) theaccess-phase for data prefetch (heavily memory-bound), and(ii) theexecute-phase that performs the actual computation(heavily compute-bound). Our contribution is to provide acompiler methodology to automatically generate the access-phases for a task-based programming system. Our approachis capable of handling both affine (through a polyhedral anal-ysis) and non-affine codes (through optimized task skele-tons). Our evaluation shows that the automatically gener-ated versions improve EDP by 25% on average comparedto a coupled execution, without any performance degrada-tion, and surpasses the EDP savings of the correspondinghand-crafted tasks by 5%
  • Thumbnail Image
    Publication
    Open Access
    El proceso por despido disciplinario.
    (Universidad de Murcia, Servicio de Publicaciones., 2026) Ibáñez Ramos, Marta; Sin departamento asociado
    El trabajo es uno de los aspectos fundamentales de la vida y por tanto, la pérdida del mismo puede suponer un perjuicio enorme para el trabajador. Ante un tema de tanta relevancia, en el presente estudio se abordará la forma en que el trabajador puede impugnar la extinción de la relación laboral por parte unilateral del empresario: el proceso por despido disciplinario. En el mismo se analizarán las características propias de la demanda de despido y el breve plazo con el que cuenta el trabajador para interponer la reclamación por despido, así como las particularidades que existen en el acto del juicio en el proceso por despido. Por otro lado, se analizará las posibles calificaciones que puede hacer el juez del despido en la sentencia, los supuestos y consecuencias de los mismos, así como todo lo relativo a la ejecución y los medios de impugnación de la sentencia recogidos legalmente. . Del análisis realizado, se ha obtenido información sobre la situación actual del despido, tanto a nivel nacional como internacional, así como el impacto que han tenido las diferentes reformas, leyes y sentencias dictadas recientemente por los tribunales españoles en la aplicación de dicho proceso.
  • Thumbnail Image
    Publication
    Open Access
    La tensión consensual y real en las relaciones contractuales (siglos XIV-XIX)
    (Ministerio de la Presidencia, Justicia y Relaciones con las Cortes, 2025) Álvarez Cora, Enrique; Historia Jurídica y de Ciencias Penales y Criminológicas
    El trabajo estudia las interpretaciones de los juristas modernos y contemporáneos para resolver los desajustes técnicos del derecho castellano que se derivan de la persistencia de la categoría del contrato real desde que el Ordenamiento de Alcalá de 1348 establece el principio de la eficacia obligacional del pacto nudo y aun del consentimiento nudo, que será también esencialmente recogido en el Código Civil.