1795 search results - page 274 / 359 » On the Complexity of Circuit Satisfiability |
95
Voted
IPPS
2008
IEEE
15 years 7 months 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...
112
Voted
RTCSA
2008
IEEE
15 years 7 months 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 ...
127
click to vote
ASIAMS
2007
IEEE
15 years 7 months 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...
DATE
2007
IEEE
15 years 7 months 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...
100
Voted
ICDE
2007
IEEE
15 years 7 months 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...