3463 search results - page 505 / 693 » Modeling and executing master-worker applications in compone... |
215
click to vote
FORTE
1994
15 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
242
click to vote
GRID
2010
Springer
15 years 3 months ago
2010
Springer
The Grid paradigm of accessing heterogeneous distributed resources proved to be extremely effective, as many organizations are relying on Grid middlewares for their computational ...
148
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...
187
click to vote
PPPJ
2009
ACM
16 years 1 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
173
click to vote
AINA
2007
IEEE
16 years 23 days ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...