12438 search results - page 157 / 2488 » The Magic of a Number System |
HPDC
2010
IEEE
13 years 9 months ago
2010
IEEE
Hadoop is a reference software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. Althoug...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
We design an end-to-end linear transceiver in the downlink of a multi-user multiple-input multiple-output (MIMO) system with multiple data streams per user and quantized channel s...
APAL
2007
13 years 8 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...
ASC
2007
13 years 8 months ago
2007
We present the results of our investigation into the use of Genetic Algorithms (GAs) for identifying near optimal design parameters of diagnostic systems that are based on Artifici...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...