8025 search results - page 360 / 1605 » Combinators Introduction: An Algorithm |
186
click to vote
VMCAI
2009
Springer
16 years 1 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...
163
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....
181
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...
180
click to vote
LION
2007
Springer
16 years 29 days 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...
183
click to vote
ICSM
2005
IEEE
16 years 12 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...