1560 search results - page 158 / 312 » Order Functions and Evaluation Codes |
APAL
2008
13 years 10 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
ICRA
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper addresses the problem of seeking out parts of the environment that provide adequate features in order to perform robot localization. The objective is to choose good regi...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—We consider strategies for the lossy transmission of a zero mean Gaussian source over a 2×2 MIMO channel with Rayleigh fading. The source is represented either using a single d...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
— We consider memory subsystem optimizations for improving the performance of sparse scientific computation while reducing the power consumed by the CPU and memory. We first co...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...