851 search results - page 156 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
PPOPP
2009
ACM
14 years 11 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
MOBISYS
2010
ACM
14 years 1 months ago
2010
ACM
We present Darwin, an enabling technology for mobile phone sensing that combines collaborative sensing and classification techniques to reason about human behavior and context on ...
SC
2009
ACM
14 years 5 months ago
2009
ACM
One of the main advantages of using a scientific workflow management system (SWfMS) to orchestrate data flows among scientific activities is to control and register the whole work...
GIS
2010
ACM
13 years 5 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
Optimized opportunistic multicast scheduling (OMS) has been studied previously by the authors for homogeneous cellular networks, where the problem of efficiently transmitting a co...