5550 search results - page 335 / 1110 » Different Approaches to Proof Systems |
203
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Previous work showed that statistical analysis techniques could successfully be used to construct compact signatures of distinct operational problems in Internet server systems. B...
176
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
147
Voted
HPCC
2007
Springer
16 years 28 days ago
2007
Springer
Although event tracing of parallel applications offers highly detailed performance information, tracing on current leading edge systems may lead to unacceptable perturbation of the...
187
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
The typical workload in a database system consists of a mixture of multiple queries of different types, running concurrently and interacting with each other. Hence, optimizing per...
155
click to vote
PERVASIVE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper we report on a field study comparing a commercial pedestrian navigation system to a tactile navigation system called Tactile Wayfinder. Similar to previous ...