Your search returned 10 results.

Sort
Results
1.
Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF by
  • García, Carlos Diego
  • Pons, Claudia Fabiana [Director/a]
Material type: Text Text; Format: large print regular print
Dissertation note: Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata, Facultad de Informática, 2008.
Availability: Items available for reference: Biblioteca Fac.Informática: Consulta en Sala (1)Call number: TES 08/06 .

2.
A lightweight approach for the semantic validation of model refinements by
  • Pons, Claudia Fabiana
  • García, Carlos Diego
Series: ^p Datos electrónicos (1 archivo : 297 KB)
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@37940 : , 2008
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0119.

3.
Practical verification strategy for refinement conditions in UML models by
  • Pons, Claudia Fabiana
  • García, Carlos Diego
Series: ^p Datos electrónicos (1 archivo : 100 KB)
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@37940 : , 2006
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0120.

4.
An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE by
  • Pons, Claudia Fabiana
  • García, Carlos Diego
Series: ^p Datos electrónicos (1 archivo : 270 KB)
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@37940 : , 2006
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0121.

5.
A domain specific language for the development of collaborative systems by
  • Bibbó, Luis Mariano
  • Pons, Claudia Fabiana
  • García, Carlos Diego
Series: ^p Datos electrónicos (1 archivo : 400 KB)
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@37940 : , 2008
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0163.

6.
An energy-aware performance analysis of SWIMM : Smith-Waterman implementation on Intel's Multicore and Manycore architectures by
  • Rucci, Enzo
  • García, Carlos Diego
  • Botella, Guillermo
  • De Giusti, Armando Eduardo
  • Naiouf, Ricardo Marcelo
  • Prieto-Matias, Manuel
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@NULL : , 2015
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0800.

7.
Smith-Waterman algorithm on heterogeneous systems : a case study by
  • Rucci, Enzo
  • De Giusti, Armando Eduardo
  • Naiouf, Ricardo Marcelo
  • Botella, Guillermo
  • García, Carlos Diego
  • Prieto-Matias, Manuel
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@NULL : , 2014
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0824.

8.
Smith-Waterman protein search with OpenCL on an FPGA by
  • Rucci, Enzo
  • De Giusti, Armando Eduardo
  • Naiouf, Ricardo Marcelo
  • García, Carlos Diego
  • Botella, Guillermo
  • Prieto-Matias, Manuel
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@NULL : , 2015
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0831.

9.
Accelerating Smith-Waterman alignment of long DNA sequences with OpenCL on FPGA by
  • Rucci, Enzo
  • García, Carlos Diego
  • Botella, Guillermo
  • De Giusti, Armando Eduardo
  • Naiouf, Ricardo Marcelo
  • Prieto-Matias, Manuel
Material type: Article Article; Format: large print regular print
Publication details: : , 2017
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0918.

10.
SWIFOLD : Smith-Waterman implementation on FPGA with OpenCL for long DNA sequences by
  • Rucci, Enzo
  • García, Carlos Diego
  • Botella, Guillermo
  • De Giusti, Armando Eduardo
  • Naiouf, Ricardo Marcelo
  • Prieto-Matias, Manuel
Material type: Article Article; Format: large print regular print
Publication details: : , 2018
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0934 .

Pages

Powered by Koha