43264 search results - page 8208 / 8653 » Comparing models of computation |
143
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
129
Voted
CPAIOR
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...
141
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
128
Voted
FUN
2010
Springer
15 years 8 months ago
2010
Springer
The Christmas gift exchange is a popular party game played around Christmas. Each participant brings a Christmas present to the party, and a random ordering of the participants, ac...
106
Voted
CLUSTER
2009
IEEE
15 years 8 months ago
2009
IEEE
—Achieving high-performance message passing on top of generic ETHERNET hardware suffers from the NIC interruptdriven model where coalescing is usually involved. We present an in-...