709 search results - page 80 / 142 » An Equational Theory for Transactions |
105
click to vote
JSW
2007
14 years 11 months ago
2007
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...
113
click to vote
PARCO
2003
15 years 17 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...
JCISE
2002
14 years 11 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
107
click to vote
SIMPRA
2011
14 years 6 months ago
2011
In this paper we present a GPU-based multigrid approach for simulating elastic deformable objects in real time. Our method is based on a finite element discretization of the defo...