16 search results - page 4 / 4 » Model-Checking Parameterized Concurrent Programs Using Linea... |
148
click to vote
VEE
2012
ACM
13 years 11 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...