7106 search results - page 251 / 1422 » Restricted Complexity, General Complexity |
139
click to vote
CPHYSICS
2004
15 years 4 months ago
2004
We present a hybrid kinetic-MHD model consisting of 3 species, the bulk fluid ions and electrons, and a kinetic minority hot particle species. The 3 species equations are derived ...
158
click to vote
PIMRC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- Due to the limited energy supplies of nodes in wireless networks, achieving energy efficiency is crucial for extending the lifetime of these networks. Thus, we study eff...
158
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
129
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
127
Voted
CATS
2008
15 years 5 months ago
2008
We study the consistency problem for extended global cardinality (EGC) constraints. An EGC constraint consists of a set X of variables, a set D of values, a domain D(x) D for eac...