1755 search results - page 222 / 351 » An efficient simulation algorithm based on abstract interpre... |
161
Voted
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Cooperative communications have been demonstrated to be effective in combating the multiple fading effects in wireless networks, and improving the network performance in ...
139
click to vote
ASPDAC
2012
ACM
13 years 11 months ago
2012
ACM
Abstract— Integrating optical interconnects into the nextgeneration multi-/many-core architecture has been considered a viable solution to addressing the limitations in throughpu...
116
Voted
ICANNGA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present an approach for automated generation of proactive aggregation protocols using Genetic Programming. First a short introduction into aggregation and proactive pr...
137
Voted
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
We present an image-based Simultaneous Localization and Mapping (SLAM) framework with online, appearanceonly loop closing. We adopt a layered approach with metric maps over small ...
139
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...