3946 search results - page 440 / 790 » The computational complexity of choice sets |
193
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 8 months ago
2010
Eurographics
We present a new method suitable for general purpose graphics processing units to render self-shadows on dynamic height fields under dynamic light environments in real-time. Visib...
184
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Packet-switched networks-on-chip (NoC) have been proposed as an efficient communication infrastructure for multi-core architectures. Adding virtual channels to a NoC helps to avoi...
180
click to vote
SIGMETRICS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...
295
click to vote
ECCB
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
175
click to vote
JSC
2008
15 years 6 months ago
2008
We describe the design, implementation and experimental evaluation of new algorithms for computing the approximate factorization of multivariate polynomials with complex coefficie...