1508 search results - page 132 / 302 » Efficient Path Profiling |
TSE
2008
14 years 11 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
CN
2004
14 years 11 months ago
2004
Energy is the most critical resource in the life of a wireless sensor node. Therefore, its usage must be optimized to maximize the network life. It is known that for higher path l...
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Opportunistic routing is a well-known technique that exploits the broadcast nature of wireless transmissions and path diversity to form the route in an adaptive manner based on cur...
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper we formulate a power loading problem for the spatial subchannels (parallel channels) of a single-carrier MIMO-SVD system. The power loading solution is designed to mi...
ICCAD
2010
IEEE
14 years 9 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...