Sciweavers

26 search results - page 6 / 6
» Equational Cryptographic Reasoning in the Maude-NRL Protocol...
Sort
View
103
Voted
PARCO
2003
14 years 11 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