4889 search results - page 832 / 978 » A Refactoring Approach to Parallelism |
190
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
172
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
Designing cyber-physical systems with high efficiency, adaptability, autonomy, reliability and usability is a challenging task. In this paper, we focus on minimizing networkwide ...
167
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model supports a co-design approach for ...
168
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...
162
click to vote
IEEECGIV
2009
IEEE
16 years 1 months ago
2009
IEEE
—There are several methods used for plotting curves in CAGD, e.g., by directly computing their basis functions (polynomials) or using their recursive algorithms. For the former m...