345 search results - page 34 / 69 » Computer-Assisted Simulation Proofs |
159
click to vote
CTRSA
2011
Springer
14 years 6 months ago
2011
Springer
Non-malleability of a cryptographic primitive is a fundamental security property which ensures some sort of independence of cryptographic values. The notion has been extensively st...
125
click to vote
IJISEC
2007
15 years 2 months ago
2007
In recent years, a large number of identity-based key agreement protocols from pairings have been proposed. Some of them are elegant and practical. However, the security of this ty...
102
click to vote
DAC
1999
ACM
16 years 3 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
137
Voted
MICCAI
2004
Springer
16 years 3 months ago
2004
Springer
We propose a new voxel similarity measure which utilises local image structure as well intensity information. Gaussian scale space derivatives are used to provide the structural in...
ICCAD
2007
IEEE
2007
IEEE
Stabilizing schemes for piecewise-linear reduced order models via projection and weighting functions
15 years 11 months ago
— In this paper we present several results concerning the stabilization of piecewise-linear reduced order models. We include proofs of internal and external stability for models ...