When running 16 CPU-intensive virtualized workloads, a server based on the 45nm Quad-Core Intel Xeon processor E5440 completed each workload by as much as 14 percent faster, using 29 percent less power, than a server based on the Quad-Core Intel Xeon processor X5355 (65nm). The 45nm processor was up to 43 percent faster and used up to 44 percent less power per workload than the Dual-Core Intel ...

ÐQuadtree-based adaptive Cartesian/Quad (quadrilateral) grid generator, grid adaptor and ̄ow solver have been developed and fully demonstrated in this study. Given the de®nition of geometries (cubic B-splines and straight line segments), geometrically-adaptive, body-®tted Quad grids are generated automatically. These grids are then overlapped with a large Cartesian cell which is subdivided recur...

The problem of image reconstruction from projections in computerized tomography, when cast as a system of linear equations, leads to an inconsistent system. The problem is studied under very adverse conditions, consisting of lowcontrast images and a strongly underdetermined system, where the number of equations is only about 25% of the number of variables (fewer equations enable the use of less...

Golubitsky, Stewart, Buono and Collins proposed two models for the achitecture of central pattern generators (CPGs): one for bipeds (which we call leg) and one for quadrupeds (which we call quad). In this paper we use symmetry techniques to classify the possible spatiotemporal symmetries of periodic solutions that can exist in leg (there are 10 nontrivial types) and we explore the possibility t...

The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a standard RDF triple, by adding a new parameter of the ‘context’ of an RDF triple, thus informs a reasoner to distinguish between the knowledge in various contexts. Although this distinction separates the triples in an RD...

We formalize a combinatorial principle, called the 3XOR principle, due to Feige, Kim and Ofek [FKO06], as a family of unsatisfiable propositional formulas for which refutations of small size in any propositional proof system that possesses the feasible interpolation property imply an efficient deterministic refutation algorithm for random 3SAT with n variables and Ω(n) clauses. Such small size ...

This paper describes how we maintain color and spatial index information on more than 1,000,000 images and how we allow users to browse the spatial color feature space. We break down all our images in color-based quad trees and we store all quad trees in our main-memory database. We allow users to browse the quad trees directly, or they can pre-select images through our color bit vector, which ...

Quad-rotor helicopter is an Unmanned Aerial Vehicle (UAV), whose lift is generated by four rotors located on the corner of X-shape. Due to simplicity of its dynamics and its ability to hover, quadrotor helicopter becomes as a popular platform for UAV. Current designs mostly consider a linear model for controller design. In this paper, we derivate nonlinear dynamic equations of the quadrotor UAV...