Scaling up partial evaluation for optimizing the Sun commercial RPC protocol
We report here a successful experiment in using partial evaluation on a realistic program,
namely the Sun commercial RPC (Remote Procedure Call) protocol. The Sun RPC is …
namely the Sun commercial RPC (Remote Procedure Call) protocol. The Sun RPC is …
Effective specialization of realistic programs via use sensitivity
In order to exploit specialization opportunities that exist in programs written by researchers
outside of the programming language community, a partial evaluator needs to effectively …
outside of the programming language community, a partial evaluator needs to effectively …
[BOOK][B] Program Specialization
R Marlet - 2013 - books.google.com
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 …
method to make programs faster (and possibly smaller) when some inputs can be known in …
Efficient implementations of software architectures via partial evaluation
The notion of flexibility (that is, the ability to adapt to changing requirements or execution
contexts) is recognized as a key concern in structuring software, and many architectures …
contexts) is recognized as a key concern in structuring software, and many architectures …
Map** software architectures to efficient implementations via partial evaluation
Flexibility is recognized as a key feature in structuring software, and many architectures
have been designed to that effect. However, they often come with performance and code …
have been designed to that effect. However, they often come with performance and code …
[PDF][PDF] E cient implementations of software architectures via partial evaluation
The notion of exibility (that is, the ability to adapt to changing requirements or execution
contexts) is recognized as a key concern in structuring software, and many architectures …
contexts) is recognized as a key concern in structuring software, and many architectures …
[BOOK][B] Ingénierie de la spécialisation de programmes 1: principes et applications
M Renaud - 2011 - books.google.com
Page 1 collection Logique et programmation dirigée par Marc Pouzet Ingénierie de la
spécialisation de programmes 1 principes et applications Renaud Marlet Page 2 Page 3 …
spécialisation de programmes 1 principes et applications Renaud Marlet Page 2 Page 3 …
IRISA/INRIA
G Muller, EN Volanschi, R Marlet - Proceedings of the ACM …, 1997 - books.google.com
We report here a successful experiment in using partial evaluation on a realistic program,
namely the Sun commercial RPC (Remote Procedure Call) protocol. The Sun RPC is …
namely the Sun commercial RPC (Remote Procedure Call) protocol. The Sun RPC is …
[PDF][PDF] devant l'Universit e de Rennes
U Fritzke Jr - 131.254.254.45
Assurer le fonctionnement correct, la disponibilit e et les performances des syst emes malgr
e les al eas de la nature demeurent des sujets de recherche capitaux dans beaucoup de …
e les al eas de la nature demeurent des sujets de recherche capitaux dans beaucoup de …