1410 search results - page 125 / 282 » Proving theorems by reuse |
174
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this note, the novel representation is proposed for a linear periodic continuous-time system with T-periodic real-valued coefficients. We prove that a T-periodic real-valued fac...
171
Voted
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...
190
Voted
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...
208
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
147
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...