Sciweavers

18090 search results - page 2875 / 3618
» Computing by Only Observing
Sort
View
VMCAI
2009
Springer
16 years 2 months ago
Thread-Modular Shape Analysis
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sa...
CEC
2009
IEEE
16 years 2 months ago
Evolving modular neural-networks through exaptation
— Despite their success as optimization methods, evolutionary algorithms face many difficulties to design artifacts with complex structures. According to paleontologists, living...
Jean-Baptiste Mouret, Stéphane Doncieux
FCCM
2009
IEEE
172views VLSI» more  FCCM 2009»
16 years 2 months ago
Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
Jason Cong, Karthik Gururaj, Bin Liu, Chunyue Liu,...
GLOBECOM
2009
IEEE
16 years 2 months ago
Interference Subspace Tracking for Network Interference Alignment in Cellular Systems
— In this paper, a practical solution to implement the distributed interference alignment (IA) algorithm of [1] in a cellular communication system is proposed. In the training pe...
Bo Niu, Alexander M. Haimovich
HAPTICS
2009
IEEE
16 years 2 months ago
Progressive shared control for training in virtual environments
Virtual environments (VEs) with haptic feedback not only provide a safe and versatile practice medium for many manual control tasks, but also promise to improve the efficacy of m...
Yanfang Li, Joel C. Huegel, Volkan Patoglu, Marcia...
« Prev « First page 2875 / 3618 Last » Next »