Garzón Gracía, Martín; Ortega López, Gloria; García Fernández, Inmaculada · Editorial Universidad de Almería · 2014 · ISBN 9788416027583
This thesis, entitled High Performance Computing for solving large sparse systems. Optical Diffraction Tomography as a case of study investigates the computational issues related to the resolution of linear systems o...
Idioma Spanish
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
The Projected Aggregation Methods (PAM) for solving linear systems of equali- ties and/or inequalities, generate a new iterate xk+1 by projecting the current point xk onto a separating hyperplane generated by a given lin...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
A grande maioria dos Sistemas de Gerenciamento de Aprendizagem predominantemente em uso no ensino com suporte computacional são estáticos e lineares, ou seja, apresentam o mesmo conteúdo instrucional para os diversos ...
Idioma Portuguese
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
We describe the implementation of a first-order linearly typed assembly language, HBAL, that allows the safe reuse of heap space for elements of different types Linear typing ensures the single pointer property, disallow...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
En este trabajo se presenta una especificación del protocolo de comunicación Gnutella para redes Peer-to-Peer.
Se realizó un modelo de este protocolo utilizando SPIN, un sistema de verificación automática que inclu...
Idioma Spanish
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.