Now showing items 1-2 of 2

    • Automated workarounds from Java program specifications based on SAT solving 

      Uva, Marcelo; Ponzio, Pablo; Regis, Germán; Aguirre, Nazareno; Frías, Marcelo (2018-11)
      "The failures that bugs in software lead to can sometimes be bypassed by the so-called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to ...
    • Sampling from the 𝒢I0 distribution 

      Chan, Debora; Rey, Andrea; Gambini, Juliana; Frery, Alejandro C. (2018-12)
      "Synthetic Aperture Radar (SAR) images are widely used in several environmental applications because they provide information which cannot be obtained with other sensors. The 𝒢I0 distribution is an important model for ...