1
Published 2005
Table of Contents: ... -- The COOLFluiD Parallel Architecture -- Calculation of Single-File Diffusion Using Grid-Enabled Parallel Generic...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Automata -- Calculation of Bridge Function and Thermodynamic Properties of Lennard-Jones Fluid using...
View full text
Electronic eBook