13866 search results - page 2322 / 2774 » Dynamical Systems Game |
156
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—There exists a certain level of ambiguity regarding whether network coding can further improve download performance in P2P content distribution systems, as compared to commonly ...
223
click to vote
LATA
2010
Springer
15 years 5 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
181
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
184
click to vote
PAMI
2010
15 years 5 months ago
2010
—We consider the problem of inferring and modeling topics in a sequence of documents with known publication dates. The documents at a given time are each characterized by a topic...
188
click to vote
POPL
2010
ACM
15 years 5 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...