9067 search results - page 1806 / 1814 » Adaptive Model Checking |
112
click to vote
TSE
2010
14 years 10 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
TVCG
2010
14 years 10 months ago
2010
—We present a scheme for view-dependent level-of-detail control that is implemented entirely on programmable graphics hardware. Our scheme selectively refines and coarsens an ar...
TVCG
2010
14 years 10 months ago
2010
—Many visualization applications benefit from displaying content on real-world objects rather than on a traditional display (e.g., a monitor). This type of visualization display ...
WINET
2010
14 years 10 months ago
2010
By introducing a mobility anchor point (MAP), Hierarchical Mobile IPv6 (HMIPv6) reduces the signaling overhead and handoff latency associated with Mobile IPv6. In this paper, we pr...
123
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Interference alignment is a transmission technique for exploiting all available degrees of freedom in the symmetric frequency- or time-selective interference channel with an arbit...