4629 search results - page 754 / 926 » Space Kernel Analysis |
163
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
187
Voted
FGR
2008
IEEE
16 years 1 months ago
2008
IEEE
Linear Discriminant Analysis (LDA) has been a popular method for feature extracting and face recognition. As a supervised method, it requires manually labeled samples for training...
210
Voted
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— Host resources (e.g., CPU time and buffer space) in mobile ad hoc networks must be shared between the devices own applications and networking functions, such as routing and pac...
178
Voted
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Ever more scientists are employing large-scale distributed systems such as grids for their computational work, instead of tightly coupled high-performance computing systems. Howev...
171
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents accurate area and power estimation models for implementations using FPGAs from the Xilinx Virtex-2Pro family. These models are designed to facilitate efficien...