5015 search results - page 868 / 1003 » Model Checking a Path |
104
click to vote
COMPGEOM
2004
ACM
15 years 7 months ago
2004
ACM
Triangle strips have been widely used for efficient rendering. It is NP-complete to test whether a given triangulated model can be represented as a single triangle strip, so many...
139
Voted
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
One method of viral marketing involves seeding certain consumers within a population to encourage faster adoption of the product throughout the entire population. However, determi...
145
Voted
NEUROSCIENCE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. A general principle of cortical architecture is the bidirectional flow of information along feedforward and feedback connections. In the feedforward path, converging con...
104
click to vote
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
—Aspnes et al [2] introduced an innovative game for modeling the containment of the spread of viruses and worms (security breaches) in a network. In this model, nodes choose to i...
129
click to vote
USENIX
2008
15 years 4 months ago
2008
: The paravirtualized I/O driver domain model, used in Xen, provides several advantages including device driver isolation in a safe execution environment, support for guest VM tran...