3758 search results - page 477 / 752 » A Complete Subsumption Algorithm |
195
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Several industrial FPGA routing architectures have been shown to have no efficient routing algorithms (unless P=NP) [3,4]. Here, we further investigate if the intractability of th...
183
click to vote
TLCA
1993
Springer
15 years 10 months ago
1993
Springer
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...
185
click to vote
IFIP
1989
Springer
15 years 10 months ago
1989
Springer
The designation “fault tolerant software” has been used for techniques ranging from roll-back and retry to N-version programming, from data mirroring to functional redundancy....
153
click to vote
CTRSA
2007
Springer
15 years 10 months ago
2007
Springer
Side-channel attacks on block ciphers and public key algorithms have been discussed extensively. However, there is only sparse literature about side-cannel attacks on stream cipher...
162
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper presents the CONTRACT framework to address a fundamental deficiency of the IP network control plane, namely the lack of coordination between an IGP and other control...