Sciweavers

26 search results - page 6 / 6
» Equational Cryptographic Reasoning in the Maude-NRL Protocol...
Sort
View
PARCO
2003
13 years 8 months ago
Cache Memory Behavior of Advanced PDE Solvers
Three different partial differential equation (PDE) solver kernels are analyzed in respect to cache memory performance on a simulated shared memory computer. The kernels implement...
Dan Wallin, Henrik Johansson, Sverker Holmgren