9716 search results - page 110 / 1944 » The Case for Energy-Proportional Computing |
153
click to vote
ICCV
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper deals with the concept of auto-calibration, i.e. methods to calibrate a camera on-line. In particular, we deal with minimal conditions on the intrinsic parameters neede...
203
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
149
click to vote
ACMDIS
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the teleradiology application CHILI from the graphical user interface point of view. We present the most important design decisions taken during the construct...
156
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present BoP, a content-based publish/subscribe system for arbitrary Boolean subscriptions and advertisements. BoP targets at the time and space-efficient matchin...
148
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...