Your search returned 118 results.

Sort
Results
1.
Implementación de un model checker para lógicas modales en Haskell by
  • Cardós, Marcelo A
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

2.
Mecanismos de sincronización en programación funcional concurrente by
  • Blanco, Javier
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

3.
HARMONY : Sistema funcional de ayuda a la composición musical by
  • Labra Gayo, José Emilio
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

4.
Integrating interactive tools using Concurrent Haskell and synchronous events by
  • Karlsen, Einar W
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

5.
Multithreading en entornos de ejecución multitarea by
  • Moure, Juan C
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

6.
Improvement of a parallel system for image processing by
  • Printista, Alicia Marcela
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

7.
DTS : Un entorno de planificación distribuido de bajo coste by
  • Luque, Emilio
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

8.
Diagramabilidad de sistemas de tiempo-real multitarea-monoprocesador by
  • Cayssials, Ricardo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

9.
Proposta de uma arquitetura multi-threading voltada para sistemas multi-procesos by
  • Navaux, Philippe O. A
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

10.
Evaluation of a local strategy for high performance memory management by
  • Midorikawa, Edson Toshimi
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

11.
Synthesis of a specific processor from a high level programming language (Ada) description by
  • Deschamps, Jean-Pierre
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

12.
Análisis de factibilidad de sistema de tiempo real PMC con granularidad gruesa by
  • Orozco, Javier
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

13.
Un protocolo para replicación dinámica de datos by
  • Zanconi, Marcelo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

14.
Sobre la diagramabilidad de sistemas de tiempo real híbridos by
  • Santos, Juan Miguel
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

15.
Implementación y análisis de CBTv2 en el medioambiente Ns by
  • Rigotti, Guillermo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

16.
Una arquitectura para la transformada numérica de Mersenne by
  • Gil, Daniel A
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

17.
An efficient adaptative predictive load balancing method for distributed systems by
  • Esquivel, Susana Cecilia
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

18.
Paralelización de algoritmos de sort-merge sobre distintas arquitecturas : Evaluación de performance by
  • De Giusti, Laura Cristina
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

19.
Visualizador de animaciones flic en Java by
  • Aguirre, Guillermo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

20.
Análisis automático del rendimiento de ejecución de programas paralelos by
  • Espinoza, Antonio
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

Pages

Powered by Koha