2487 search results - page 411 / 498 » cases 2009 |
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
We present a fast multi-robotic exploration methodology for 2D and 3D terrains. An asynchronous exploration strategy is introduced which shows significant improvements over the ex...
99
Voted
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...
124
click to vote
LCPC
2009
Springer
15 years 5 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...
118
Voted
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
118
click to vote
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Nanometer CMOS scaling has resulted in greatly increased circuit variability, with extremely adverse consequences on design predictability and yield. A number of recent works have...