60 search results - page 2 / 12 » Refinement Based Validation of an Algorithm for Detecting Di... |
IJACTAICIT
2010
13 years 3 months ago
2010
Amidst the proliferation of different resources available on the Grid, today, it is vital to optimally discover the appropriate resource from amongst a repository of the resources...
VLSID
2002
IEEE
13 years 11 months ago
2002
IEEE
à This paper addresses the problem of static and dynamic variable voltage scheduling of multi-rate periodic task graphs (i.e., tasks with precedence relationships) and aperiodic t...
CONCUR
2007
Springer
13 years 10 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
GLOBECOM
2010
IEEE
13 years 4 months ago
2010
IEEE
IEEE 802.15.4 multi-hop wireless networks are an important communication infrastructure for many applications, including industrial control, home automation, and smart grids. Exist...
VTC
2007
IEEE
14 years 17 days ago
2007
IEEE
—This paper presents a novel strategy for interference mitigation in an uplink of high reuse cellular networks through distributive processing. It is proposed that the neighborin...