2863 search results - page 458 / 573 » Comparing Operating Systems Using Robustness Benchmarks |
139
Voted
SIGMOD
1998
ACM
15 years 7 months ago
1998
ACM
The CONTROL project at U.C. Berkeley has developed technologies to provide online behavior for data-intensive applications. Using new query processing algorithms, these technologi...
109
click to vote
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
Landing on distant planets is always a challenging task due to the distance and hostile environments found. In the design of autonomous hazard avoidance systems we find the particu...
136
click to vote
FPL
2006
Springer
15 years 6 months ago
2006
Springer
This work shows a modular architecture based on FPGA's to solve the eigenvalue problem according to the Jacobi method. This method is able to solve the eigenvalues and eigenv...
128
click to vote
ERSA
2008
15 years 4 months ago
2008
This paper presents an accelerator for k-th nearest neighbor thinning, a run time intensive algorithmic kernel used in recent multi-objective optimizers. We discuss the thinning al...
241
click to vote
ENTCS
2002
15 years 2 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...