2231 search results - page 383 / 447 » Hierarchical back-face computation |
155
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
The convergence of computers and the physical world is the theme for next generation networking research. This trend calls for real-time network infrastructure, which requires a h...
130
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
146
click to vote
ASAP
2007
IEEE
15 years 11 months ago
2007
IEEE
Existing SIMD extensions cannot efficiently vectorize the histogram function due to memory collisions. We propose two techniques to avoid this problem. In the first, a hierarchi...
125
click to vote
ICPADS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we address one of the Wireless Sensor Network (WSN) management problems – optimization on the execution of multiple commands. The objective of the paper is to pro...
111
Voted
P2P
2007
IEEE
15 years 10 months ago
2007
IEEE
Location based services are becoming increasingly popular as devices that determine geographical position become more available to end users. The main problem of existing solution...