5863 search results - page 1101 / 1173 » On Model-Checking of P Systems |
203
Voted
PPL
2011
14 years 6 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 ...
187
Voted
ASPLOS
2012
ACM
13 years 11 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...
163
Voted
HPCA
2012
IEEE
13 years 11 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...
188
Voted
VEE
2012
ACM
13 years 11 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...
169
Voted
SIGIR
2012
ACM
13 years 6 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...