17967 search results - page 3229 / 3594 » Functional timing optimization |
119
click to vote
ECCC
2007
15 years 4 months ago
2007
The OR-SAT problem asks, given Boolean formulae φ1, . . . , φm each of size at most n, whether at least one of the φi’s is satisfiable. We show that there is no reduction fr...
181
click to vote
MIS
2008
Springer
15 years 4 months ago
2008
Springer
The IEEE 802.16 standard provides a specification for a fixed and mobile broadband wireless access system, offering high data rate transmission of multimedia services with differen...
133
click to vote
JSAT
2006
15 years 4 months ago
2006
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
146
click to vote
MICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
In the past few years, several research works have demonstrated that sampling can drastically speed up architecture simulation, and several of these sampling techniques are already...
147
Voted
GPEM
2007
15 years 4 months ago
2007
Our rapidly growing knowledge regarding genetic variation in the human genome offers great potential for understanding the genetic etiology of disease. This, in turn, could revolut...