366 search results - page 37 / 74 » Four equivalent equivalences of reductions |
98
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a reduced order inodeling methodology, based on the utilization of optimal non-uniform grids generated by Gaussian spectral rules, for the direct passive...
120
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
121
click to vote
PKC
1998
Springer
15 years 5 months ago
1998
Springer
The ElGamal encryption scheme has been proposed several years ago and is one of the few probabilistic encryption schemes. However, its security has never been concretely proven bas...
104
Voted
CAV
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
A 3D biped with knees and a hip is naturally modeled as a nontrivial hybrid system; impacts occur when the knee strikes and when the foot impacts the ground causing a switch in the...