Sciweavers

3531 search results - page 512 / 707
» Virtualizing Disk Performance
Sort
View
ICCV
1995
IEEE
14 years 1 months ago
In Defence of the 8-Point Algorithm
The fundamental matrix is a basic tool in the analysis of scenes taken with two uncalibrated cameras, and the 8-point algorithm is a frequently cited method for computing the fund...
Richard I. Hartley
POPL
1997
ACM
14 years 1 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
CDC
2009
IEEE
107views Control Systems» more  CDC 2009»
14 years 1 months ago
Fuel cell based auxiliary power unit modeling, optimization, and control
In this paper, a control oriented nonlinear model is developed for a fuel cell based auxiliary power unit which includes a solid oxide fuel cell, an autothermal reforming, and a ba...
Jian Chen, Jing Sun
FLAIRS
2007
13 years 12 months ago
Inference of Edge Replacement Graph Grammars
We describe an algorithm and experiments for inference of edge replacement graph grammars. This method generates candidate recursive graph grammar productions based on isomorphic ...
Jacek P. Kukluk, Lawrence B. Holder, Diane J. Cook
USENIX
2007
13 years 12 months ago
Supporting Multiple OSes with OS Switching
—People increasingly put more than one OSes into their computers and devices like mobile phones. Multi-boot and virtualization are two common technologies for this purpose. In th...
Jun Sun 0002, Dong Zhou, Steve Longerbeam