7167 search results - page 1330 / 1434 » A Technique for Invariant Generation |
169
click to vote
CODES
2008
IEEE
16 years 24 days ago
2008
IEEE
Instruction set extensions (ISEs) can accelerate embedded processor performance. Many algorithms for ISE generation have shown good potential; some of them have recently been expa...
164
click to vote
FOCS
2008
IEEE
16 years 24 days ago
2008
IEEE
Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandom number generators do not exist. This famous result is...
160
click to vote
FOCS
2008
IEEE
16 years 24 days ago
2008
IEEE
We study the k-wise independent relaxation of the usual model G(N, p) of random graphs where, as in this model, N labeled vertices are fixed and each edge is drawn with probabili...
157
click to vote
HICSS
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...
157
click to vote
ICCAD
2008
IEEE
16 years 23 days ago
2008
IEEE
— The area-I/O flip-chip package provides a high chip-density solution to the demand of more I/O’s in VLSI designs; it can achieve smaller package size, shorter wirelength, an...