2935 search results - page 476 / 587 » An Integrated Approach to High Integrity Software Verificati... |
157
click to vote
MICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...
180
click to vote
FPGA
2006
ACM
15 years 9 months ago
2006
ACM
The high unit cost of FPGA devices often deters their use beyond the prototyping stage. Efforts have been made to reduce the part-cost of FPGA devices, resulting in the developmen...
155
click to vote
IJCAI
2007
15 years 7 months ago
2007
Many current state-of-the-art planners rely on forward heuristic search. The success of such search typically depends on heuristic distance-to-the-goal estimates derived from the ...
167
click to vote
KAIS
2008
15 years 5 months ago
2008
Abstract Vector data and in particular road networks are being queried, hosted and processed in many application domains such as in mobile computing. Many client systems such as PD...
166
click to vote
PAMI
2007
15 years 5 months ago
2007
—Time-Correlated Single Photon Counting and Burst Illumination Laser data can be used for range profiling and target classification. In general, the problem is to analyze the res...