- Article de bases documentaires
|- 10 août 2013
|- Réf : H3160
exécutable basique similaire à une fonction écrite en langage C. Un program est une collection de kernels... cette technique SPMD ( Single Program, Multiple Data ) ; soit en utilisant une architecture orientée « Tâches... result[id]=a[id]+b[id]; } Partie 5 : création des programs et kernels Rappelons qu'un program... est une collection de kernel (analogue à une librairie dynamique). cl_program clCreateProgramWithSource (cl...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
- Article de bases documentaires
|- 10 août 2017
|- Réf : H3310
sur les nombreux tutoriaux ou ouvrages plus complets BERTOT (Y.), CASTÉRAN (P.) - Interactive Theorem Proving and Program... the 22nd International Conference on Theorem Proving in Higher Order Logics , sont des logiciels... The Coq Development Team - BERTOT (Y.), CASTÉRAN (P.) - Interactive Theorem Proving and... Program Development — Coq’Art : The Calculus of Inductive Constructions . ). L’avantage...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
- Article de bases documentaires
|- 10 févr. 2016
|- Réf : TRP3309
formal derivation of programs. ) soient assez anciennes, leurs mises en place datent des années 1980... .) - Systematic software development using VDM. et/ou la méthode B ABRIAL Jr., The B Book - Assigning programs... la méthode B ABRIAL Jr., The B Book - Assigning programs to meanings. , SCADE DORMOY (F.-X.) - Scade 6... ., The B Book - Assigning programs to meanings. Sous la direction de BOULANGER (J.-L.) - Mise...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.