1795 search results - page 274 / 359 » On the Complexity of Circuit Satisfiability |
156
click to vote
IPPS
2008
IEEE
16 years 17 days ago
2008
IEEE
Resource allocation is a fundamental but challenging problem due to the complexity of cluster computing systems. In enterprise service computing, resource allocation is often asso...
169
click to vote
RTCSA
2008
IEEE
16 years 16 days ago
2008
IEEE
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...
178
click to vote
ASIAMS
2007
IEEE
16 years 15 days ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
154
Voted
DATE
2007
IEEE
16 years 15 days ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
159
click to vote
ICDE
2007
IEEE
16 years 14 days ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...