Télécharger le livre :  Ingénierie de la spécialisation de programmes 2

La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance....
Editeur : Hermés science
Parution : 2011-09-21
Collection : Logique et programmation
Format(s) : PDF sans DRM
89,67

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Ingénierie de la spécialisation de programmes 1

La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à...
Editeur : Hermés science
Parution : 2011-09-21
Collection : Logique et programmation
Format(s) : PDF sans DRM
92,84

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Program Specialization

This book presents the principles and techniques of program specialization — a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program...
Editeur : Wiley-ISTE
Parution : 2013-01-24

Format(s) : PDF, ePub
210,27

Téléchargement immédiat
Dès validation de votre commande