5863 search results - page 1101 / 1173 » On Model-Checking of P Systems |
258
click to vote
PPL
2011
14 years 8 months ago
2011
Petascale parallel computers with more than a million processing cores are expected to be available in a couple of years. Although MPI is the dominant programming interface today ...
223
click to vote
ASPLOS
2012
ACM
14 years 1 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
190
click to vote
HPCA
2012
IEEE
14 years 1 months ago
2012
IEEE
Main memory latencies have always been a concern for system performance. Given that reads are on the critical path for CPU progress, reads must be prioritized over writes. However...
233
click to vote
VEE
2012
ACM
14 years 1 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
205
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
Finding topic experts on microblogging sites with millions of users, such as Twitter, is a hard and challenging problem. In this paper, we propose and investigate a new methodolog...