Your search returned 10 results.

Results
		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; Literary form: Not fiction Publication details: 2008 Dissertation note: Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata, Facultad de Informática, 2008. Online access: Click here to access online Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 08/06 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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; Literary form: Not fiction Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).