1
Published 2006
Table of Contents: ... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...
View full text
Electronic eBook