6274 search results - page 233 / 1255 » Proofs, Programs, Processes |
153
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
183
click to vote
FSTTCS
2003
Springer
16 years 8 days ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
171
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
Experience has shown that development using shared-memory concurrency, the prevalent parallel programming paradigm today, is hard and synchronization primitives nonintuitive becaus...
200
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
As the number of I/O-intensive MPI programs becomes increasingly large, many efforts have been made to improve I/O performance, on both software and architecture sides. On the sof...
161
click to vote
IFIP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract Flow Accounting is a passive monitoring mechanism implemented in routers that gives insight into tra c behavior and network characteristics. However, processing of Flow Ac...