266 search results - page 14 / 54 » Can Saturation Be Parallelised |
APAL
2007
13 years 7 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
CN
2006
13 years 7 months ago
2006
The reliable Border Gateway Protocol (BGP) is essential for supporting high quality Internet data communication. In present Internet, due to the lack of differentiation mechanism ...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
We present a study of radiometric calibration and the incamera imaging process through an extensive analysis of more than 10,000 images from over 30 cameras. The goal is to invest...
ICAT
2007
IEEE
14 years 1 months ago
2007
IEEE
This study concerns the development of 3D interfaces that aid the navigation of large data structures through the usage of the HSV color space, and the ensuing “spatial frames...
DSD
2006
IEEE
14 years 1 months ago
2006
IEEE
— An on-chip communication network is most power efficient when it operates just below the saturation point. For any given traffic load the network can be operated in this regi...