190 search results - page 29 / 38 » Resources, Concurrency and Local Reasoning |
TPDS
2008
13 years 7 months ago
2008
Multiple applications that execute concurrently on heterogeneous platforms compete for CPU and network resources. In this paper, we consider the problem of scheduling applications ...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
FTDCS
2003
IEEE
14 years 20 days ago
2003
IEEE
Mobile clients retrieve and update databases at servers. They use transactions in order to ensure the consistency of shared data in the presence of concurrent accesses. Transactio...
ENTCS
2008
13 years 7 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— For certain applications, field robotic systems require small size for cost, weight, access, stealth or other reasons. Small size results in constraints on critical resources s...