10828 search results - page 1879 / 2166 » Improving the application of process models |
227
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
192
click to vote
RTCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Although energy-efficient real-time task scheduling has attracted a lot of attention in the past decade, most existing results assumed deterministic execution lengths f...
175
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
Building a “Straightforward” path in wireless ad hoc sensor networks (WASNs) not only avoids wasting energy in detours, but also incurs less interference in other transmission...
204
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Multiple programming models are emerging to address an increased need for dynamic task parallelism in applications for multicore processors and shared-address-space parallel compu...
228
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
: In this paper, we present a mobile augmented reality application that is based on the acquisition of user-generated content obtained by 3D snapshotting. To take a 3D snapshot of ...