9871 search results - page 1581 / 1975 » On the Structure of Low Sets |
179
click to vote
IPPS
2008
IEEE
16 years 1 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...
192
click to vote
IROS
2008
IEEE
16 years 1 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...
156
click to vote
KBSE
2008
IEEE
16 years 1 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...
171
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the ...
160
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...