26 search results - page 6 / 6 » Equational Cryptographic Reasoning in the Maude-NRL Protocol... |
114
click to vote
PARCO
2003
15 years 20 days ago
2003
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...