Buscar recursos académicos

A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for thi...

"This work is a feasibility study of introducing adsorption solar cooling systems in Argentina. After comparison of various solar cooling technologies, adsorption was chosen because of operation simplicity, use of enviro...

La especialización de programas es una manera particular de producir programas automáticamente. En ella se utiliza un programa fuente general dado para generar diversas versiones particulares, especializadas, del mismo...