• New formats for computing with real-numbers under round-to-nearest 

      Hormigo-Aguilar, Javier; Villalba-Moreno, Julio (2015-09-17)
      In this paper, a new family of formats to deal with real number for applications requiring round to nearest is proposed. They are based on shifting the set of exactly represented numbers which are used in conventional ...
    • New Results on Non-normalized Floating-point Formats 

      Gonzalez-Navarro, Sonia; Hormigo-Aguilar, Javier (IEEE Computer Society, 2019)
      Compulsory normalization of the represented numbers is a key requirement of the floating-point standard. This requirement contributes to fundamental characteristics of the standard, such as taking the most of the precision ...
    • ReduxSTM: Optimizing STM designs for Irregular Applications 

      Pedrero Luque, Manuel; Gutierrez-Carrasco, Eladio Damian; Romero-Montiel, Sergio; Plata-Gonzalez, Oscar Guillermo (2018-11-15)
    • Speculative Barriers with Transactional Memory 

      Pedrero Luque, Manuel; Quislant, Ricardo; Gutierrez-Carrasco, Eladio Damian; López-Zapata, Emilio; Plata-Gonzalez, Oscar Guillermo (IEEE, 2020-12-14)
      Transactional Memory (TM) is a synchronization model for parallel programming which provides optimistic concurrency control. Transactions can run in parallel and are only serialized in case of conflict. In this work we use ...
    • TraTSA: A Transprecision Framework for Efficient Time Series Analysis 

      Fernández-Vega, Iván; Quislant, Ricardo; Gonzalez-Navarro, Sonia; Gutierrez-Carrasco, Eladio Damian; Plata, Óscar G. (Elsevier, 2022-09)
      Time series analysis (TSA) comprises methods for extracting information in domains as diverse as medicine, seismology, speech recognition and economics. Matrix Profile (MP) is the state-of-the-art TSA technique, which ...
    • Unbiased Rounding for HUB Floating-point Addition 

      Villalba-Moreno, Julio; Hormigo-Aguilar, Javier; Gonzalez-Navarro, Sonia (2018-06-28)
      Half-Unit-Biased (HUB) is an emerging format based on shifting the represented numbers by half Unit in the Last Place. This format simplifies two’s complement and roundto- nearest operations by preventing any carry ...