1888 search results - page 341 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
135
Voted
WMCSA
2012
IEEE
13 years 10 months ago
2012
IEEE
A growing class of smartphone applications are tasking applications that run continuously, process data from sensors to determine the user’s context (such as location) and activ...
116
Voted
CASES
2004
ACM
15 years 6 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
153
Voted
MOBISYS
2009
ACM
16 years 3 months ago
2009
ACM
We design, implement, and evaluate a vehicular communication system that improves uplink connectivity through multi-lobe beam pattern switching on a smart antenna. Directionality ...
133
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
152
click to vote
ICPADS
2010
IEEE
15 years 13 days ago
2010
IEEE
To fully tap into the potential of heterogeneous machines composed of multicore processors and multiple accelerators, simple offloading approaches in which the main trunk of the ap...