8025 search results - page 360 / 1605 » Combinators Introduction: An Algorithm |
199
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
187
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We suggest a new navigation approach to mobile robots, within a nonlinear model predictive control framework where a navigation function is used as a control Lyapunov function....
201
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Speech recognition techniques have been developed dramatically in recent years. Nevertheless, errors caused by environmental noise are still a serious problem in recognition. Empl...
201
click to vote
LION
2007
Springer
16 years 1 months ago
2007
Springer
The problem of finding the broadcast scheme with minimum power consumption in a wireless ad-hoc network is NP-hard. This work presents a new hybrid algorithm to solve this problem...
200
click to vote
ICSM
2005
IEEE
16 years 26 days ago
2005
IEEE
Large-scale legacy programs take long time to compile, thereby hampering productivity. This paper presents algorithms that reduce compilation time by analyzing syntactic dependenc...