1
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Performance Evaluation of Memory Management Configurations in Linux for an OS-Level Design Space Exploration...
View full text
Electronic eBook