13383 search results - page 407 / 2677 » Abstractions from proofs |
142
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a passive filter for the front end of a high speed serial link receiver to aid timing recovery. The filter provides simultaneous lowpass and highpass tran...
181
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
—Starting from the strict interpolation equations for multivariate polynomials, an upper bound is developed for the number of patterns that can be memorized by a nonlinear feedfo...
189
click to vote
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
We define a resolution-style rule for solving the Max-SAT problem of Signed CNF formulas (Signed Max-SAT) and prove that our rule provides a complete calculus for that problem. F...
172
click to vote
LICS
2006
IEEE
16 years 27 days ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
202
click to vote
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...