1795 search results - page 273 / 359 » On the Complexity of Circuit Satisfiability |
180
click to vote
CPAIOR
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The multileaf collimator sequencing problem is an important component in effective cancer treatment delivery. The problem can be formulated as finding a decomposition of...
150
click to vote
MODELS
2009
Springer
16 years 21 days ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
145
click to vote
HICSS
2008
IEEE
16 years 18 days ago
2008
IEEE
Research has shown that decentralized networks and organizations perform better and have more satisfied members than centralized ones. Further, decentralized self-organizing netwo...
177
click to vote
ICAC
2008
IEEE
16 years 18 days ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
155
click to vote
ICC
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract— Achieving minimal loss while satisfying an acceptable delay profile remains to be an open problem under the RED queuing discipline. In this paper, we present a framewo...