38 search results - page 5 / 8 » The Degree of Regularity of HFE Systems |
131
click to vote
FOCS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
94
Voted
CASC
2007
Springer
15 years 6 months ago
2007
Springer
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...
84
Voted
SIGMETRICS
2005
ACM
15 years 6 months ago
2005
ACM
—To model P2P networks that are commonly faced with high rates of churn and random departure decisions by end-users, this paper investigates the resilience of random graphs to li...
93
Voted
ITICSE
2004
ACM
15 years 5 months ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
92
Voted
CONCURRENCY
2006
15 years 12 days ago
2006
To keep up with a large degree of instruction level parallelism (ILP), the Itanium 2 cache systems use a complex organization scheme: load/store queues, banking and interleaving. ...