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