1950 search results - page 129 / 390 » Varieties of Increasing Trees |
149
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
247
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
As computer systems are essential components of many critical commercial services, the need for secure online transactions is now becoming evident. The demand for such application...
162
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
135
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
We describe the design, deployment, and experience with a wireless sensor network for high-fidelity monitoring of electrical usage in buildings. A network of 38 mote-class AC met...
144
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We present the Constrained Bi-directional RapidlyExploring Random Tree (CBiRRT) algorithm for planning paths in configuration spaces with multiple constraints. This al...