11231 search results - page 1886 / 2247 » Digging for Data Structures |
128
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Multicore processors are marking the beginning of a new era of computing where massive parallelism is available and necessary. Slightly slower but easy to parallelize kernels are ...
128
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
151
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we study sensor fusion for the attitude estimation of Micro Aerial Vehicles (MAVs), in particular mechanical flying insects. First, following a geometric approa...
121
click to vote
ISM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Online community platforms and multimedia content delivery are merging in recent years. Current platforms like Facebook and YouTube are client-server based which result...
119
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...