Browsing Escuela de Informática by Author "Sánchez Salazar, José"

Now showing items 1-2 of 2

    • Compresión BZIP2 optimizada usando colas libres de bloqueo 

      Sánchez Salazar, José; Aymerich Sánchez, Edward (Universidad Nacional (Costa Rica), 2017-07)
      Debido a que la tendencia actual es tener más y más procesadores (cores) disponibles en cada computadora, la escalabilidad de las estructuras de datos usadas en programación paralela debe ser considerada cuidadosamente, ...

    • Reasoning tradeoffs in languages with enhanced modularity features 

      Sánchez Salazar, José; Leavens, Gary (Modularity 2016: Proceedings of the 15th International Conference on Modularity 13-24 2016, 2016-03)
      The continuous need for more ambitious, more complex, and more dependable software systems demands mechanisms to modularize such systems and reason about their correctness. The reasoning process is affected by the programming ...